C++中函数声明与定义返回类型不一致为何会导致输出异常？

你遇到的问题本质是违反了C++的单一定义规则（ODR），属于标准明确规定的未定义行为，理论上程序出现任何运行结果都符合标准要求，以下是当前主流x86-64架构编译器实现下你遇到的具体现象的解释：

1. 为什么第一次调用add的输出不是7？ #

• 编译main.cpp时，编译器只能看到头文件中声明的double add(int a, int b);，所以会默认add函数的返回值是double类型。按照x86-64架构的调用约定，浮点类型的返回值会存储在xmm0浮点寄存器中，因此编译器生成的代码会从xmm0寄存器读取值交给cout输出。
• 而add.cpp中实际的add函数返回值是int类型，按照调用约定，整型返回值会存储在rax通用寄存器中，整个函数执行过程完全没有修改xmm0寄存器的值。
• 第一次调用add时，xmm0里保留的是程序启动后的残留垃圾值，所以输出了你看到的4.6836e-310这类无意义的浮点数值。

2. 为什么第二次调用同一个函数输出是0？ #

第一次调用cout << （垃圾double值） << "\n"的执行过程中，cout的内部浮点输出处理逻辑刚好将xmm0寄存器清零。第二次调用add函数时，依然只修改rax寄存器的值，xmm0还保持为0，编译器仍然从xmm0读取double类型的返回值，自然就输出了0。

补充说明：为什么代码能正常编译链接？ #

C++的函数名修饰（Name Mangling）规则中，返回值类型不会纳入函数的唯一标识，只有参数列表的类型、数量、顺序会参与修饰。所以链接器在处理main.o中对add的调用时，匹配到add.o中参数列表一致的add函数就会直接绑定，不会检查返回值是否匹配，因此不会抛出链接错误。

日常开发中开启高编译告警等级即可提前发现这类问题，比如使用GCC/Clang编译时添加-Wall -Wextra参数，编译器会直接提示声明和定义的返回值不匹配。

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