默认函数参数与One Definition Rule：跨编译场景是否违反ODR？

先看代码的两种展开结果：

• 定义PROVIDE_DEFAULT_ARG时，Foo的声明是：void Foo(int a, int b = 1);
• 未定义该宏时，声明是：void Foo(int a, int b);

下面分两种场景逐一说明：

场景1：库编译时未开PROVIDE_DEFAULT_ARG，程序编译时开启 #

库中的Foo是严格要求传入两个int参数的函数，声明和实现都按双参数逻辑编写；而程序因开启宏，看到的Foo允许只传第一个参数，第二个参数默认用1。

这种情况不违反ODR。原因很简单：默认参数只是编译器的语法糖——程序里写Foo(5)，编译器会自动补全为Foo(5, 1)再调用库函数，和库的实现完全匹配。从ODR的核心要求来看，库和程序中的Foo函数类型均为void(int, int)，完全一致；默认参数只是编译期的语法提示，不会改变函数的实际签名或链接符号，因此符合规则。

场景2：库编译时开启PROVIDE_DEFAULT_ARG，程序编译时未开启 #

库的Foo声明带默认参数，但实现仍按双int参数编写（C++语法规定函数实现不能加默认参数）；程序中的Foo声明无默认参数，必须传入两个参数。

这种情况同样不违反ODR。程序调用Foo时必须传两个参数，而库的实现本来就接受双参数，调用逻辑完全匹配。两者的函数类型依旧是void(int, int)，仅默认参数的有无存在差异，并未触碰ODR的约束。

总结 #

只要函数的核心签名（返回值类型、参数类型及数量）在所有编译单元中保持一致，仅仅是默认参数的存在或缺失，根本不会违反ODR。默认参数是编译阶段的语法特性，和函数本身的类型、链接逻辑无关，所以你提到的两种场景都符合规则。

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