C++中不同编译单元的模板偏特化是否属于定义良好行为？

核心规则：C++的单一定义规则（ODR） #

对于模板及其特化，C++标准明确要求：任何模板特化（包括偏特化）的定义，必须在所有使用该特化实例的编译单元中以完全一致的形式存在。如果不同编译单元中同一模板特化的定义不一致，或某编译单元使用特化实例时未看到对应的特化定义，均会导致未定义行为（UB）。

第一种场景：两个编译单元均使用foo<int> #

代码回顾 #

• 头文件foo.h中的主模板：

template <typename T>
struct foo {
    constexpr static auto value = false;
};

• first.cpp直接使用主模板实例：

#include "foo.h"
auto dummy1() {
    return foo<int>::value;
}

• second.cpp提供偏特化并使用同一实例：

#include "foo.h"
template <std::integral T>
struct foo<T> {
    constexpr static auto value = true;
};

auto dummy2() {
    return foo<int>::value;
}

行为判定：未定义行为 #

该场景下：

• first.cpp编译时未看到偏特化，会实例化主模板版本的foo<int>，其value为false。
• second.cpp编译时可见偏特化，会实例化偏特化版本的foo<int>，其value为true。

链接阶段，两个编译单元中foo<int>的实例定义完全冲突，违反ODR，属于未定义行为。程序可能输出false、true，甚至出现崩溃、优化异常等不可预料的结果。

第二种场景：first.cpp用foo<int>，second.cpp用foo<unsigned int> #

代码调整 #

second.cpp修改为：

#include "foo.h"
template <std::integral T>
struct foo<T> {
    constexpr static auto value = true;
};

auto dummy2() {
    return foo<unsigned int>::value;
}

行为判定：仍属于未定义行为 #

即便两个编译单元使用的是不同实例，问题仍出在偏特化的可见性上：

• second.cpp中针对std::integral<T>的偏特化仅在该编译单元内可见，first.cpp完全不知道该偏特化的存在。
• 根据C++标准，模板偏特化的定义必须被所有可能实例化该偏特化的编译单元可见——哪怕当前未用到，但只要存在潜在实例化的可能，就必须保证定义一致可见。
• 若后续first.cpp新增使用foo<unsigned int>的逻辑，会直接触发和第一种场景完全一致的冲突；即便当前没有，编译器/链接器的模板实例化机制也可能导致不可预测的行为。

正确的做法是将模板偏特化的定义放在头文件中，确保所有使用该模板的编译单元都能看到一致的定义。

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