C++模板函数默认实参的ODR规则及标准草案条款咨询

让我来拆解你问的这两个核心点——模板函数默认实参的ODR规则，以及C++标准草案里[temp]第6款的具体内容，帮你把这些规则理清楚：

首先得明确，ODR（One Definition Rule，单定义规则）要求同一个实体在所有翻译单元中的定义必须完全一致，模板的ODR规则因为其“延迟实例化”的特性，有一些特殊细节：

• 对于具有外部链接的模板（这是全局模板的默认状态），它的默认实参属于模板定义的一部分。这意味着，在所有使用该模板的翻译单元中，模板的默认实参必须完全相同——如果在TU1里给模板函数的默认实参设为5，TU2里设为10，那么当两个TU都实例化该模板时，就会触发ODR违反，导致未定义行为（比如程序运行结果不一致，甚至崩溃）。
• 对于具有内部链接的模板（比如用static修饰，或者放在匿名命名空间里），每个翻译单元中的模板都是独立的实体，各自的默认实参可以不同——这一点刚好和下面要讲的[temp]第6款规则对应。

标准里的原文是这样的：

模板名称具有链接属性。具有内部链接的模板的特化（显式或隐式）与其他翻译单元中的所有特化均不同。模板、模板显式特化及类模板偏特化不得具有C链接。对这些构造使用除"C"或"C++"之外的链接规范为条件支持，具有实现定义的语义。

咱们逐句拆解：

• 模板名称有链接属性：和普通函数/变量类似，模板也分内部链接和外部链接。全局模板默认是外部链接；用static修饰、或放在匿名命名空间中的模板是内部链接。
• 内部链接模板的特化独立：每个翻译单元里的内部链接模板，哪怕代码完全一样，其生成的特化（不管是显式还是隐式实例化）都是完全独立的，和其他TU里的同名特化没有关系。这也是为什么内部链接模板的默认实参可以在不同TU里不一样——它们本来就是不同的实体。
• 模板不能用C链接：C语言不支持模板，所以标准明确禁止给模板（包括显式特化、类模板偏特化）加上extern "C"链接说明。比如extern "C" template <typename T> void func(T);这种写法是非法的。
• 其他链接规范是条件支持：除了"C"和"C++"之外的链接规范（比如某些编译器支持的特定语言链接），标准不强制要求所有实现都支持，具体语义由编译器决定。

把这两个规则结合起来看，最容易踩坑的就是外部链接模板的默认实参一致性：

• 如果你写的是全局模板（外部链接），一定要确保所有翻译单元中该模板的默认实参完全一致，包括类型、值、甚至依赖的表达式都要相同。
• 如果你希望不同TU里的模板可以有不同的默认实参，那给模板加上static或者放在匿名命名空间里，把它变成内部链接的，这样就符合[temp]第6款的规则，也不会违反ODR。

举个简单的例子：

合法的内部链接场景 #

// TU1.cpp
static template <typename T>
T multiply(T a, T b = 2) {
    return a * b;
}

int main() {
    return multiply<int>(3); // 结果是6
}

// TU2.cpp
static template <typename T>
T multiply(T a, T b = 3) {
    return a * b;
}

void func() {
    multiply<int>(3); // 结果是9，和TU1的实例完全独立
}

这里的static模板是内部链接，两个TU的特化互不干扰，完全符合规则。

非法的外部链接场景 #

// TU1.cpp
template <typename T>
T multiply(T a, T b = 2) {
    return a * b;
}

void call_from_tu1() {
    multiply<int>(3); // 期望得到6
}

// TU2.cpp
template <typename T>
T multiply(T a, T b = 3) {
    return a * b;
}

void call_from_tu2() {
    multiply<int>(3); // 期望得到9，但实际行为未定义
}

这个场景下，全局模板是外部链接，两个TU的默认实参不一致，违反了ODR，程序运行结果是不可预测的。

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