跨翻译单元的类模板重载是否违反C++标准规则？

咱们一步一步拆解原因：

• 首先，两个翻译单元里的Shape是同一个全局命名空间下的类模板——因为它们名字相同，又没有用命名空间隔离，所以C++会把它们视为同一个实体，而非两个独立的重载模板。
• 根据C++11标准的**[basic.def.odr]条款第6段**，类模板允许在多个翻译单元中存在定义，但有严格的一致性要求：所有翻译单元中的模板定义必须是完全相同的 token 序列，并且引用的外部实体含义也必须一致。
• 显然你的两个Shape模板完全不满足这个要求：
  • A.cpp里的Shape只有一个模板参数T，B.cpp里的有两个（还带默认参数U=T）；
  • 成员变量数量不一样：A里只有T x，B里多了U y；
  • area()的实现逻辑天差地别，一个返回x*x，一个返回x*y。
• 为什么编译链接可能没报错？这是因为模板是延迟实例化的：A.cpp只实例化了Shape<int>，B.cpp只实例化了Shape<int, short>，这两个特化后的类型经过名字修饰（mangling）后是不同的符号，链接器不会认为它们冲突。但这只是编译器/链接器没检测出来而已，本质上已经违反了标准，属于未定义行为——标准不保证程序能正常运行，后续换个编译器、开优化或者扩展代码都可能出各种奇怪的问题。
• 补充一点：这里也不涉及合法的类模板重载。类模板重载要求所有重载版本在使用前都要声明，比如如果在Main.cpp里同时声明两个Shape模板的重载，那是合法的，但你现在的写法是两个翻译单元各自定义自己的Shape，互相不知道对方的存在，每个翻译单元都认为自己的Shape是全局唯一的，这就直接触发了ODR违规。

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