Jacob Pollack - 3 months ago 37

C Question

I do not understand why the

`sizeof`

`sizeof( 2500000000 ) // => 8 (8 bytes).`

... it returns 8, and when I do the following:

`sizeof( 1250000000 * 2 ) // => 4 (4 bytes).`

... it returns 4, rather than 8 (which is what I expected). Can someone clarify how

`sizeof`

My best guess is that the

`sizeof`

Answer

`2500000000`

doesn't fit in an `int`

, so the compiler correctly interprets it as a `long`

(or `long long`

, or a type where it fits). `1250000000`

does, and so does `2`

. The parameter to `sizeof`

**isn't evaluated**, so the compiler can't possibly know that the multiplication doesn't fit in an `int`

, and so returns the size of an `int`

.

Also, even if the parameter was evaluated, you'd likely get an overflow (and undefined behavior), but probably still resulting in `4`

.

Here:

```
#include <iostream>
int main()
{
long long x = 1250000000 * 2;
std::cout << x;
}
```

can you guess the output? If you think it's `2500000000`

, you'd be wrong. The type of the expression `1250000000 * 2`

is `int`

, because the operands are `int`

and `int`

and multiplication isn't automagically promoted to a larger data type if it doesn't fit.

So here, gcc says it's `-1794967296`

, but it's undefined behavior, so that could be any number. This number does fit into an `int`

.

In addition, if you cast one of the operands to the expected type (much like you cast integers when dividing if you're looking for a non-integer result), you'll see this working:

```
#include <iostream>
int main()
{
long long x = (long long)1250000000 * 2;
std::cout << x;
}
```

yields the correct `2500000000`

.