C++20标准下类模板成员函数的体外定义是否必须加inline关键字？

你的观察完全正确：模板类的成员函数在类外定义时，不需要添加inline关键字，即使被多个翻译单元（TU）包含并调用，也不会触发编译或链接错误，这是符合C++20标准（N4860）规定的。

非模板类与模板类的ODR差异 #

• 对于非模板类的成员函数，如果在头文件中做类外定义却不加inline，多个TU包含确实会违反一次定义规则（ODR）——根据[11.4.1 p1]和[6.3 p10]，非inline的非模板函数要求整个程序中只能存在一个定义。
• 但模板类的成员函数属于模板的一部分，标准给模板制定了特殊的ODR规则，不需要依赖inline的豁免机制。

C++20标准的具体依据 #

根据N4860的条款：

1. [13.1 p1]明确模板是一种“参数化的实体蓝图”，只有当模板被实例化时，才会生成具体的函数/类定义。
2. [6.3 p6]针对模板特化的ODR做出规定：如果一个名称是模板的特化，那么它可以在多个翻译单元中存在相同的定义，只要这些定义在每个TU中完全一致，且满足模板特化的其他ODR条件。

你提到的[13.7.1.1 p1]只是允许模板类成员函数在类外定义，但更核心的是模板本身的ODR规则——模板成员函数的定义天生允许在多个TU中存在，不需要额外加inline来获得ODR豁免。

编译器行为的合理性 #

GCC、Clang、MSVC的行为都是符合标准的：当多个TU中出现相同的模板成员函数定义时，链接器会自动处理这些重复的实例化定义，最终只保留一个有效版本，因此不会出现链接错误。

示例代码（可安全在多个TU中包含）：

// 被多个.cpp文件包含的头文件：

template <class T>
struct X{
  void foo();
};

template <class T>
void X<T>::foo(){}

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