在C/C++中sizeof()的机制是什么？

Question

看来sizeof不是真正的功能吗？

例如,如果你这样写:

int i=0;
printf("%d\n", sizeof(++i));
printf("%d\n", i);

你可能得到如下输出:

4
0

当你深入研究汇编代码时,你会发现这样的:

movl     $4, %esi
leaq     LC0(%rip), %rdi
xorl %eax, %eax
call     _printf

所以,编译器直接将常量"4"作为printf的参数添加调用它.那尺寸做什么呢？

Answer 1

你知道,这就是为什么有标准文件的原因(3.8MB PDF) ; C99,第6.5.3.4节,§2:

的sizeof操作者产生其操作数的大小(以字节为单位),其可以是表达或类型的括号名称.大小由操作数的类型确定.结果是整数.如果操作数的类型是可变长度数组类型,则计算操作数; 否则,不评估操作数,结果是整数常量.

在回应ibread的评论时,这里是C99可变长度数组的一个例子:

#include <stdio.h>

size_t sizeof_int_vla(size_t count)
{
    int foo[count];
    return sizeof foo;
}

int main(void)
{
    printf("%u", (unsigned)sizeof_int_vla(3));
}

foo在编译时不再知道大小,必须在运行时确定.生成的程序集看起来很奇怪,所以不要问我实现细节......

Answer 2

sizeof 是一个操作员,而不是一个功能.

它通常被评估为编译时 - 例外情况是它在C99样式的可变长度数组上使用.

您的示例是评估sizeof(int),当然在编译时已知,因此代码将替换为常量,因此++在运行时不存在以执行.

int i=0;
cout << sizeof(++i) << endl;
cout << i << endl;

值得注意的是,由于它是一个运算符,因此可以在没有值的括号的情况下使用它:

int myVal;
cout << sizeof myVal << endl;
cout << sizeof(myVal) << endl;

是等价的.

Answer 3

Sizeof分析传递的表达式以查找其类型.然后它返回类型的大小.

因为类型的大小在编译时始终是已知的,所以它作为常量放入机器代码中.