O3优化级别下两个小函数生成的汇编代码为何存在差异？

核心原因是编译器的别名分析（Alias Analysis）——它无法确定你的两个函数中指针参数是否指向同一块内存（也就是所谓的"别名"），这导致了汇编代码的差异。

结合你的场景来看，这两个函数的逻辑大概是这样的：

// 函数A
int foo(int *a, int *b) {
    *a = 1;
    *b = 2;
    return *a;
}

// 函数B
int bar(int *a, int *b) {
    *a = 1;
    *b = 2;
    return 1;
}

你可能会觉得“刚把*a设为1，返回*a和直接返回1应该是一回事”，但编译器的优化必须严格遵守C语言的语义规则，它必须考虑所有可能的调用情况：

• 如果调用时传入的a和b是别名（也就是指向同一块内存），那么执行*b = 2会直接覆盖掉之前*a = 1的值——此时foo返回的是2，而bar返回的是1，两者的行为完全不同。
• 在没有额外提示的情况下，编译器不能假设a和b不指向同一块内存，所以它必须做保守处理：
  • 对于foo，它必须在*b = 2之后重新读取*a的内存值，确保返回结果符合所有合法的调用场景。
  • 对于bar，因为直接返回常量1，不管a和b是否是别名，这个返回值都是确定的，所以编译器可以直接生成返回1的汇编指令，不需要额外的内存读取操作。

如果你想让编译器生成相同的汇编，可以给指针加上restrict关键字，明确告诉编译器a和b不会指向同一块内存（没有别名）：

int foo_restrict(int *restrict a, int *restrict b) {
    *a = 1;
    *b = 2;
    return *a;
}

int bar_restrict(int *restrict a, int *restrict b) {
    *a = 1;
    *b = 2;
    return 1;
}

此时编译器可以确定*b = 2不会影响*a的值，所以foo_restrict也会被优化成直接返回1，和bar_restrict的汇编完全一致。

总结来说：编译器的优化不能以牺牲程序正确性为代价，当存在潜在的别名歧义时，它必须放弃激进的优化，这就是你看到两段汇编存在差异的根本原因。

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