C++20带requires约束的偏特化模板类成员函数类外定义报错问题

你提供的代码完全符合C++20标准语法，该编译错误是Clang 11的已知实现缺陷，并非你使用语法有误。

原因说明 #

C++20标准允许类模板偏特化附加requires约束，类外定义该偏特化的成员函数时，同步声明对应约束即可正确匹配类模板的对应特化版本。该代码在GCC 10+、Clang 12+版本中均可正常编译，仅Clang 11及更早版本对该特性的支持存在漏洞，无法正确关联类外成员函数定义和带约束的偏特化类，因此抛出误报。

解决方案 #

• 升级编译器到Clang 12或更高版本，可直接解决该问题
• 若必须使用Clang 11，将带约束偏特化的成员函数内联定义在类体内（即你第一种场景的写法），即可绕过该缺陷
• 也可改用传统SFINAE写法实现偏特化，替换concept约束以兼容旧编译器，参考代码如下：

#include <type_traits>

template<class T, typename = void>
struct Bar;

template<class T>
struct Bar<T, std::enable_if_t<std::is_same_v<T, int>>> {
    int foo(T a) {
        return a + 5;
    }
};

template<class T>
struct Bar<T, std::enable_if_t<std::is_same_v<T, double>>> {
    double foo(T a);
};

template<class T>
double Bar<T, std::enable_if_t<std::is_same_v<T, double>>>::foo(T a) {
    return a + 5;
}

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