529

Here is the code compiled in dev c++ windows:

#include <stdio.h>

int main() {
    int x = 5;
    printf("%d and ", sizeof(x++)); // note 1
    printf("%d\n", x); // note 2
    return 0;
}

I expect x to be 6 after executing note 1. However, the output is:

4 and 5

Can anyone explain why x does not increment after note 1?

2
  • 41
    I'd note that DevC++ uses a very old outdated compiler, you may want to upgrade to a newer IDE, e.g. Codeblocks Eclipse or Visual Studio Nov 22, 2011 at 13:55
  • printf("%d and ", sizeof(x++)); // note 1 causes UB, why do you expect any meaningful output? Please read the printf() manpage or the C standard sections about printf()/ fprintf(). Aug 2, 2021 at 11:57

10 Answers 10

562

From the C99 Standard (the emphasis is mine)

6.5.3.4/2

The sizeof operator yields the size (in bytes) of its operand, which may be an expression or the parenthesized name of a type. The size is determined from the type of the operand. The result is an integer. If the type of the operand is a variable length array type, the operand is evaluated; otherwise, the operand is not evaluated and the result is an integer constant.

7
  • 8
    what do you mean by variable length array type? That does mean the operand is an array? The code in this case is not an array. Can you clear things up for me? Nov 22, 2011 at 11:19
  • 43
    A variable length array is an array declared with the size being a value unknown during compilation, for instance if you read N from stdin and make int array[N]. This is one of C99 features, unavailable in C++.
    – Kos
    Nov 22, 2011 at 11:23
  • 21
    @LegendofCage, in particular this would mean that in something like sizeof(int[++x]) (really, really a bad idea, anyhow) the ++ could be evaluated. Nov 22, 2011 at 12:01
  • 1
    @Joe Wreschnig: That's plain incorrect. int[++x] has VLA type int[n] (for some value of n). Why would you say it is int??? Dec 26, 2012 at 20:19
  • This is not relevant for the code he provides, his code causes UB and that is what should be addressed. Aug 2, 2021 at 11:59
196

sizeof is a compile-time operator, so at the time of compilation sizeof and its operand get replaced by the result value. The operand is not evaluated (except when it is a variable length array) at all; only the type of the result matters.

short func(short x) {  // this function never gets called !!
   printf("%d", x);    // this print never happens
   return x;
}

int main() {
   printf("%d", sizeof(func(3))); // all that matters to sizeof is the 
                                  // return type of the function.
   return 0;
}

Output:

2

as short occupies 2 bytes on my machine.

Changing the return type of the function to double:

double func(short x) {
// rest all same

will give 8 as output.

7
  • 16
    Only sometimes - it's compile time if possible. Nov 22, 2011 at 17:09
  • 1
    There's a nice benefit to compile-time resolution of the sizeof() operator when working with strings. If you have a string that is initialized as a quoted string, instead of using strlen(), where the character array comprising the string has to be scanned for the null-terminator at run time, sizeof(quoted_string) is known at compile time, and therefore at run-time. It's a small thing, but if you use the quoted string in a loop millions and millions of times, it makes a significant difference in performance. Jan 16, 2014 at 1:17
  • 1
    If you really use it millions and millions of times in a loop, wouldn't it be much more sensible to factor the length calculation out of the loop? I surely hope you don't have millions and millions of different hardcoded constants in your code. :-o
    – Veky
    Mar 29, 2020 at 11:22
  • @Veky: Refactoring the length calculation out of the loop would still require tying up some kind of storage (likely a register) to hold it, which may result in an otherwise-avoidable register spill, and also require generating code to compute it. Simply having the compiler generate a constant is better in essentially every way imaginable.
    – supercat
    Oct 20, 2020 at 18:36
  • I really think that whichever such trivial code transformation we can do, compiler can do too. But maybe I'm mistaken.
    – Veky
    Oct 21, 2020 at 1:42
51

sizeof(foo) tries really hard to discover the size of an expression at compile time:

6.5.3.4:

The sizeof operator yields the size (in bytes) of its operand, which may be an expression or the parenthesized name of a type. The size is determined from the type of the operand. The result is an integer. If the type of the operand is a variable length array type, the operand is evaluated; otherwise, the operand is not evaluated and the result is an integer constant.

In short: variable length arrays, run at runtime. (Note: Variable Length Arrays are a specific feature -- not arrays allocated with malloc(3).) Otherwise, only the type of the expression is computed, and that at compile time.

0
36

sizeof is a compile-time builtin operator and is not a function. This becomes very clear in the cases you can use it without the parenthesis:

(sizeof x)  //this also works
3
  • 1
    But how is this an answer to the question? Nov 23, 2011 at 12:15
  • 5
    @phresnel: This is just to make it clear that sizeof is "weird" and is not subject to the rules of normal functions. I edited the post anyway to remove the possible confusion with normal runtime operators like (+) and (-)
    – hugomg
    Nov 23, 2011 at 12:25
  • 1
    The sizeof operator is not a compile-time operator, you only have to give it a VLA to figure this out.
    – paxdiablo
    Jan 17, 2020 at 9:11
25

Note

This answer was merged from a duplicate, which explains the late date.

Original

Except for variable length arrays sizeof does not evaluate its arguments. We can see this from the draft C99 standard section 6.5.3.4 The sizeof operator paragraph 2 which says:

The sizeof operator yields the size (in bytes) of its operand, which may be an expression or the parenthesized name of a type. The size is determined from the type of the operand. The result is an integer. If the type of the operand is a variable length array type, the operand is evaluated; otherwise, the operand is not evaluated and the result is an integer constant.

A comment(now removed) asked whether something like this would evaluate at run-time:

sizeof( char[x++]  ) ;

and indeed it would, something like this would also work (See them both live):

sizeof( char[func()]  ) ;

since they are both variable length arrays. Although, I don't see much practical use in either one.

Note, variable length arrays are covered in the draft C99 standard section 6.7.5.2 Array declarators paragraph 4:

[...] If the size is an integer constant expression and the element type has a known constant size, the array type is not a variable length array type; otherwise, the array type is a variable length array type.

Update

In C11 the answer changes for the VLA case, in certain cases it is unspecified whether the size expression is evaluated or not. From section 6.7.6.2 Array declarators which says:

[...]Where a size expression is part of the operand of a sizeof operator and changing the value of the size expression would not affect the result of the operator, it is unspecified whether or not the size expression is evaluated.

For example in a case like this (see it live):

sizeof( int (*)[x++] )
7
  • In what way would sizeof (char[x++]); use the value of x for anything other than determining the value of the expression x++ and the new value for x, both of which are normal with that operator?
    – supercat
    Feb 24, 2014 at 19:21
  • @CorleyBrigman the snappy answer would be b/c the standard says so, but the reason is b/c we don't know the array size at compile time so we have to evaluate the expression at run-time. VLAs are an interesting topic, here are two posts I have on them here and here. Feb 24, 2014 at 22:46
  • @Shafik - ahh, ok, i guess my confusion was I didn't realize char[x++] is a VLA. it looks effectively like a char* to my unacquainted eyes. Feb 25, 2014 at 18:30
  • @CorleyBrigman I don't think a lot of people would realize that considering how questions and answers on VLA usually get higher upvoted. Feb 25, 2014 at 18:31
  • "and changing the value of the size expression would not affect the result of the operator" - "would not affect"? But in case with sizeof(char[x++]) it would affect. So what did they changed? Cases like sizeof(char[1+0*x++])?
    – Qwertiy
    Oct 23, 2017 at 17:18
11

As the operand of sizeof operator is not evaluated, you can do this:

int f(); //no definition, which means we cannot call it

int main(void) {
        printf("%d", sizeof(f()) );  //no linker error
        return 0;
}

Online demo : http://ideone.com/S8e2Y

That is, you don't need define the function f if it is used in sizeof only. This technique is mostly used in C++ template metaprogramming, as even in C++, the operand of sizeof is not evaluated.

Why does this work? It works because the sizeof operator doesn't operate on value, instead it operates on type of the expression. So when you write sizeof(f()), it operates on the type of the expression f(), and which is nothing but the return type of the function f. The return type is always same, no matter what value the function would return if it actually executes.

In C++, you can even this:

struct A
{
  A(); //no definition, which means we cannot create instance!
  int f(); //no definition, which means we cannot call it
};

int main() {
        std::cout << sizeof(A().f())<< std::endl;
        return 0;
}

Yet it looks like, in sizeof, I'm first creating an instance of A, by writing A(), and then calling the function f on the instance, by writing A().f(), but no such thing happens.

Demo : http://ideone.com/egPMi

Here is another topic which explains some other interesting properties of sizeof:

3
  • Your code causes UB just like the ones from the OP: printf("%d", sizeof(f()) ); This lines causes UB. When you enable compiler warnings it is likely that the compiler warns you about this line. Aug 2, 2021 at 12:03
  • @12431234123412341234123: how and why?
    – Nawaz
    Aug 14, 2021 at 12:13
  • "%d" expects a int argument. AFAIK a unsigned int with a value <=INT_MAX is also valid. size_t does not have to be the same as an int. Use "%zu" for size_t. Aug 16, 2021 at 11:00
11

The execution cannot happen during compilation. So ++i/i++ will not happen. Also sizeof(foo()) will not execute the function but return correct type.

5
  • 3
    "The execution cannot happen during compilation." what do you mean?
    – curiousguy
    Nov 23, 2011 at 0:58
  • 1
    Compilation will only create object code... The object code will be executed only when the user executes the binary. As sizeof happens at compile time assuming i++ will increment is wrong.
    – rakesh
    Nov 23, 2011 at 7:35
  • "As sizeof happens at compile time" you mean: "as sizeof is a compile time constant expression"?
    – curiousguy
    Nov 23, 2011 at 8:18
  • Like "#define" happens during pre-processing, similarly sizeof will happen at compile time. During compilation all the type information is available so sizeof is evaluated then and there during compilation and value is replaced. As already mentioned by @pmg "From the C99 Standard" before.
    – rakesh
    Nov 23, 2011 at 9:51
  • 1
    "sizeof will happen at compile time" for something that is not a variable length array
    – curiousguy
    Nov 23, 2011 at 23:49
2

sizeof runs at compile-time, but x++ can only be evaluated at run-time. To solve this, the C++ standard dictates that the operand of sizeof is not evaluated. The C Standard says:

If the type of the operand [of sizeof] is a variable length array type, the operand is evaluated; otherwise, the operand is not evaluated and the result is an integer constant.

1
  • 1
    There is no VLA in C++.
    – L. F.
    Aug 29, 2019 at 5:39
0

This line here:

printf("%d and ", sizeof(x++)); // note 1

causes UB. %d Expects the type int not size_t. After you get UB the behavior is undefined including the bytes written to stdout.

If you would fix that by replacing %d with %zu or casting the value to int, but not both, you would still not increase x but that is a different problem and should be asked in a different question.

-1

sizeof() operator gives size of the data-type only, it does not evaluate inner elements.

1
  • This is false, the sizeof() operator acts recursively, and will get the size in bytes of all elements of a container, members of a class or structure, etc. You can prove this to yourself very easily by creating a simple class with a few members and calling sizeof() on it. (However, anything in there that is a pointer it cannot see the size of - just the size of the pointer.) This happens all at compile time, as other commenters stated: expressions inside the sizeof() do not get evaluated. Mar 3, 2020 at 22:23

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