C程序意外输出问题：sizeof(6.0,2)返回4字节的原因及无编译警告/错误的解释

先把你的代码贴出来方便分析：

void main() { 
    clrscr(); 
    if(sizeof(!6.0)) 
        printf("%d",sizeof(6.0,2)); 
    else 
        printf("i don't know"); 
    getch(); 
}

你的理解中关于if条件的部分是正确的：!6.0对非零浮点数取逻辑非得到0（int类型），sizeof(0)在你的系统中是4字节，而sizeof返回的size_t类型非零，所以if条件判定为真，执行对应的printf语句。接下来我们解决你提出的两个问题：

1. 为什么sizeof(6.0,2)返回4字节？ #

这里的关键是理解逗号运算符的作用：C语言中，逗号,在这里不是函数的参数分隔符，而是一个运算符。逗号表达式的执行规则是：

• 从左到右依次计算每个子表达式
• 丢弃前面所有子表达式的结果
• 整个逗号表达式的最终结果是最后一个子表达式的值，类型也和最后一个子表达式一致

所以6.0,2这个表达式，会先计算6.0（但这个结果直接被丢弃，没有任何实际作用），然后取2作为整个表达式的结果。2是int类型，在绝大多数系统（包括你使用的64位系统）中，int类型的大小是4字节，因此sizeof(6.0,2)等价于sizeof(int)，返回4。

2. 编译器为何允许sizeof传入两个值却不产生任何警告或错误？ #

你其实并没有给sizeof传递两个参数！sizeof的语法有两种合法形式：

• sizeof 表达式（不需要括号）
• sizeof(表达式) 或 sizeof(类型名)（带括号）

这里的sizeof(6.0,2)属于第二种形式，括号里的6.0,2是单个逗号表达式，完全符合sizeof对操作数的要求，所以编译器认为这是合法代码，不会报错。

如果你的编译器没有给出任何警告，可能是默认的警告级别不够高。比如开启-Wall（GCC）或/W4（MSVC）这类高警告级别选项后，编译器可能会提示“表达式结果未使用”（指6.0的计算结果被丢弃），但这只是风格类警告，不是语法错误，不会阻止代码编译运行。

内容的提问来源于stack exchange，提问作者Aditya Mishra