使用concepts做模板方法显式特化仅Clang可编译，GCC/MSVC失败谁符合标准？

结论 #

GCC与MSVC的行为符合C++标准，Clang可编译的表现属于不符合标准的非标准扩展。

不符合标准的核心原因 #

你的代码存在两处违反C++标准规则的问题：

• 函数模板不支持偏特化：C++标准仅允许类模板、变量模板使用偏特化语法，函数模板仅支持全特化（显式特化）和重载，你尝试用concept约束实现的是函数模板偏特化，本身就是标准不允许的用法。
• 显式特化不允许使用auto占位符：显式特化要求明确指定所有模板参数对应的具体类型，不能使用未确定的auto（包括带concept约束的arithmetic auto）作为特化的类型占位符。

正确实现方式 #

如果你要实现对arithmetic符合类型的优先匹配逻辑，直接写带concept约束的重载即可，不需要加特化标记template<>：

#include <type_traits>

template<typename T> 
concept arithmetic = std::is_arithmetic_v<T> && !std::is_same_v<T, bool>;

// 基础模板
template<typename T>
void foo(const T &value, int &result);

// 带concept约束的重载，决议优先级高于无约束的基础模板
void foo(const arithmetic auto &value, int &result) {
    // 实现逻辑
}

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