(core): replace size_t by std::size_t
The following discussion from !508 (merged) should be addressed:
-
@dweckmann started a discussion: Also, nitpicking, but should we not prefer
std::size_t
over::size_t
?As of C++11 <stddef.h> (and its relatives) is deprecated, which means that the only means of acquiring size_t in the global namespace without explicitly bringing it into the global namespace (e.g. via using std::size_t;) is deprecated.
Ok, I assume we could leave with that for now and a global mass replace
size_t
->std::size_t
will be still possible later