In C++, at least, you are right. > The type size_t is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any

In C++, at least, you are right. > The type size_t is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any object. §21.2.24(3)