60

Take the following standard passage:

[C++11: 5.3.3/6]: The result of sizeof and sizeof... is a constant of type std::size_t. [ Note: std::size_t is defined in the standard header <cstddef> (18.2). —end note ]

Now:

[C++11: 18.2/6]: The type size_t is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any object.

Granted, the passage doesn't require that size_t is a type alias defined with typedef, but since it's explicitly stated to be made available by the standard header <cstddef>, I think we can take as read that failing to include <cstddef> should remove any guarantee that size_t shall be available to a program.

However, according to that first quote, we can regardless obtain an expression of type std::size_t.

We can actually demonstrate both of these facts:

int main()
{
    typedef decltype(sizeof(0)) my_size_t;

    my_size_t x   = 0;  // OK
    std::size_t y = 1;  // error: 'size_t' is not a member of 'std'
}

std::size_t is not visible to the program, but sizeof(0) still gives us one? Really?

Is it therefore not correct to say that 5.3.3/6 is flawed, and that it actually has "the same type as whatever std::size_t resolves to", but not std::size_t itself?

Sure, the two are one and the same if std::size_t is a type alias but, again, nowhere is this actually required.

8
  • I'm pretty sure "the same type as whatever std::size_t resolves to" is std::size_t, regardless of how size_t is defined or whether it's an alias for anything. That said, I'm not enough of a C++ language lawyer to answer this question. Dec 27, 2013 at 22:56
  • 17
    "I think we can take as read that failing to include <cstddef> should remove any guarantee that size_t shall be available to a program" - you need to include cstddef to use the size_t name, but not the size_t type. Dec 27, 2013 at 22:57
  • @user2357112: int and long are distinct types, despite having the same properties on my platform. Dec 27, 2013 at 22:57
  • 1
    @LightnessRacesinOrbit Related: operator new, operator delete and variations thereof are also available without the inclusion of any header files, but somewhere in the standard (I suppose 3.7.4 but not sure), I read that using them "does not make the operator std::operator new(std::size_t) visible", or something like that.
    – user529758
    Dec 27, 2013 at 23:01
  • 4
    @H2CO3 the type is available in the language, no library needed. The library provides a convenient name for it, that's all. Dec 27, 2013 at 23:05

5 Answers 5

52

The standard just mandates that the type of sizeof(expr) is the same type as std::size_t. There is no mandate that using sizeof(expr) makes the name std::size_t available and since std::size_t just names one of the the built-in integral types there isn't really a problem.

30
  • 20
    @LightnessRacesinOrbit: There's a difference between types and type names. The type is always there, but the name isn't.
    – Kerrek SB
    Dec 27, 2013 at 22:58
  • 6
    @LightnessRacesinOrbit: Well, it's quite straight-forward, isn't it? You can declare names, and you can define types. A type can have many names, declared with typedef or using, or as a template parameter, but only one definition - it's either built-in or user-defined. And traits only work on types, not names, so there's no trait to tell you whether something is a typedef or a primary name.
    – Kerrek SB
    Dec 27, 2013 at 23:03
  • 5
    Anyway I believe the issue here lies in the distinction between types and their names. A type may exist and classify an expression even if it is unutterable (see lambdas). The fact that sizeof(T) yields the same type as std::size_t does not conflict with the fact that std::size_t may be unutterable (if <cstddef> was not included). Spelling out sizeof(T) does not assume you can "say" std::size_t.
    – Andy Prowl
    Dec 27, 2013 at 23:15
  • 5
    @H2CO3: And don't forget the std::typeinfo situation. And the std::initializer_list...
    – rodrigo
    Dec 27, 2013 at 23:16
  • 5
    @H2CO3: That idea went down with varargs in C, about 3 decades ago. WG21 never assumed the two could be entirely separate.
    – MSalters
    Dec 28, 2013 at 2:01
49

Do not confuse the map for the territory.

Types can be named by typenames. These typenames can be built-in, they can be user-defined types, or they could even be template parameters and refer to multiple different types depending on the instantiation.

But the names are not the types. Clearly standard does not mandate that all types have names -- the classic struct {} is a type without a name.

std::size_t is a typename. It names the type that sizeof(expression) returns.

The compiler could have a canonical name for the type -- __size_t would be one way for it to have a unique built-in canonical typename.

The standard guarantees in that clause that whatever the type of sizeof(expression) is, once you #include <cstddef>, the name std::size_t now refers to that type.

In the standard, they refer to types by names. They do not say "the type that this typename refers to", but simply say "the type $NAME$". The compiler could decide that int is another name for __int_32_fast if it wanted to, and the standard would have no objection either.

This same thing happens with std::nullptr_t and std::initializer_list<Ts> and std::type_info: use of variables of those types does not always require that the header that provides you with a name for those types be included in your program.

The traditional C/C++ built-in types all had canonical names that did not require a header. The downside is that this breaks existing code, as new typenames in the global scope collide with other identifiers.

By having "nameless types", where you can get a name for them via including a header file, we avoid that problem.

5
  • What do you think about 5.7.6? Where it does exactly what I suggest, for std::ptrdiff_t. Isn't this, at the very least, an inconsistency in the choice of wording? Dec 27, 2013 at 23:23
  • 2
    @LightnessRacesInOrbit Yes, inconsistency in wording. Same with nullptr_t -- lots of inconsistent wording. Probably could be cleared up? But is pretty esoteric, is it worth the effort? Dec 27, 2013 at 23:29
  • Nope, doubt it. Just wanted us all to agree :) Dec 27, 2013 at 23:36
  • If we add this in, that's the answer I think Dec 27, 2013 at 23:49
  • 1
    Types and typenames... this reminds me variables' names and pointers. We can access a variable by name, but also can access it by pointer which can be returned from a function (in this case we don't need to include a header that declares variable's name). Data is just a record in memory which can be accessed by name or by pointer. Similarly types are records in compiler memory which can be referred from program by typename or by what operators return (using auto or decltype).
    – anton_rh
    Dec 5, 2015 at 17:41
5

As I understand it, this standard passage requires the following expression:

typeid(sizeof(0)) == typeid(std::size_t)

will always yield true. If you use the actual identifier std::size_t, ::size_t or any other alias/typedef will be irrelevant as long as the identity of the type, as per std::typeinfo::operator==(), is preserved.

The same type identity issue appears in other places of the language. For example, in my 64-bit machine the following code fails to compile because of function redefinition:

#include <cstddef>
void foo(std::size_t x)
{}

void foo(unsigned long x)
{}
8
  • So it should say "is a constant of type std::size_t (or the same type given by one of its other names, if that name is not visible to the program, just saying)"? Dec 27, 2013 at 23:05
  • @LightnessRacesinOrbit: But all this wording is unnecesary. If I write typedef int number; number x;, then x is of type int, and it is of type number, as they are the very same. Two names, one type.
    – rodrigo
    Dec 27, 2013 at 23:08
  • It just unnerves me that this is left to the imagination. Dec 27, 2013 at 23:09
  • 3
    @LightnessRacesinOrbit: But then, you'd have to do the same everywhere a specific type is required. Am I allowed to write typedef int number; number main() {}? If so, should the 3.6.1 say "It [main] shall have a return type of type int (or the same type given by one of its other names"?
    – rodrigo
    Dec 27, 2013 at 23:14
  • 1
    @LightnessRacesinOrbit: Well, std::ptrdiff_t is only named in 5.7.6/7, but std::size_t is all over the document. Particularly interesting is a note in 3.7.4: "a new-expression, delete-expression or function call that refers to one of these functions [operator new/delete] without including the header <new> is well-formed. However, referring to std or std::size_t is ill-formed unless the name has been declared by including the appropriate header".
    – rodrigo
    Dec 27, 2013 at 23:28
5

Yes.

The type yielded by sizeof is some unsigned integer type; the implementation defines which one it is.

For example, on some particular implementation, the type of a sizeof expression might be unsigned long.

std::size_t, if it's a typedef, is nothing more than an alternative name for unsigned long. So these two statements:

The type of sizeof ... is a constant of type unsigned long

and

The type of sizeof ... is a constant of type std::size_t

are saying exactly the same thing for that implementation. The type unsigned long and the type std::size_t are the same type. The difference is that the latter is accurate for all (conforming) implementations, where std::size_t might be an alias for, say, unsigned int or some other unsigned type.

As far as the compiler is concerned, sizeof yields a result of type unsigned long; the compiler (as opposed to the runtime library) needn't have any knowledge of the name size_t.

This all assumes that std::size_t (or just size_t if you're talking about C) is a typedef. That's not spelled out in either the C or the C++ standard. Nevertheless, an implementation can straightforwardly conform to the requirements of the standard by making size_t a typedef. I don't believe there's any other portable way to satisfy those requirements. (It can't be a macro or an implementation-defined keyword because that would infringe on the user's name space, and a macro wouldn't be scoped within the std namespace.) A compiler could make size_t some implementation-specific construct other than a typedef, but since a typedef works perfectly well, there's no point in doing so. It would be nice, IMHO, if the standard stated that size_t is a typedef.

(An irrelevant aside: The real problem is that the standard refers to the result as a "constant". In ISO C, a "constant" is a token, such as an integer literal. C++, as far as I know, doesn't define the noun "constant", but it does refer to the ISO C definition of the term. sizeof ... is a constant expression; it's not a constant. Calling the result a "constant value" would have been reasonable.)

4
  • This all seems to rely on std::size_t being a typedef. Dec 27, 2013 at 23:38
  • @LightnessRacesinOrbit: What else could it be? Dec 27, 2013 at 23:39
  • Nothing I suppose. Would still prefer it spelt out. Dec 27, 2013 at 23:49
  • @LightnessRacesinOrbit: Agreed. I've updated my answer. Dec 27, 2013 at 23:56
2

It is the same type but you have to include that header to use it.

1
  • I just used it in the variable x, without any trouble, without including the header. Dec 27, 2013 at 22:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.