为何GCC不检查命名空间下模板特化的约束，与Clang/MSVC表现不一致

这是GCC的已知实现Bug，并非C++标准存在歧义。

C++标准明确规定，类模板偏特化的约束属于特化签名的组成部分，用于区分不同的偏特化：只要两个偏特化的约束互斥，就属于完全独立的不同特化，不存在重定义冲突。

你给出的代码写法完全符合标准要求：主模板在命名空间s内部声明，两个偏特化分别携带std::integral和std::floating_point约束，二者完全互斥，将偏特化定义在命名空间外部的写法也是标准明确允许的。Clang和MSVC的编译行为符合标准预期，GCC的报错属于实现缺陷，触发条件是类模板的约束偏特化定义在所属命名空间外部时，GCC没有正确识别约束带来的签名差异，错误将两个不同的偏特化判定为重定义。

如果需要兼容现有稳定版本的GCC，可以选择以下两种修改方案：

• 将两个偏特化的定义直接写在命名空间s的内部
• 升级到最新的GCC开发版本，该Bug已经在后续迭代中被修复

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