c - C 编译器中的常量折叠有多有效？

Question

我的问题可能太简单了，但我还没有找到答案，抱歉。

如果我有这样的代码：

...
#define N 6
...
float a, b;
...
a = 2.0 * 3 * N * b;
...

那么，编译之后，这段代码会变成这样吗？

...
a = 36.0 * b;
...

换句话说，常量部分会在编译时计算，对吧？

先感谢您。

Answer 1

最有可能，但不能保证。

您可以尝试查看程序的反汇编（在调试器中，或在反汇编器中，或使用编译器开关（如果可用）从 C 代码生成汇编代码）。

Answer 2

这是示例代码，

#include <stdio.h>

#define val 10

int main()
{

int b = 100;
int k = (5 * val) + b;
//int k = (5 * 25) + b; 

return 0;
}

val 在预处理过程中被替换为 10，

cpp ss.c给我

int main()
{    
         int b = 100;
         int k = (5 * 10) + b;    
         return 0;
}

如果我们看一下汇编（gcc -S ss.c），

 .file   "ss.c"
        .text
        .globl  main
        .type   main, @function
main:
.LFB0:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        movl    $100, -8(%rbp)
        movl    -8(%rbp), %eax
        addl    $50, %eax            //5 * 10 calculated !!!
        movl    %eax, -4(%rbp)
        movl    $0, %eax
        popq    %rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE0:
        .size   main, .-main
        .ident  "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
        .section        .note.GNU-stack,"",@progbits

所以常量是在编译时在 gcc 中计算的。