引导构造函数的异常定义（c ++ 20）

Question

g++ 很乐意接受以下代码，而 clang 和 msvc 都能够匹配行外定义。

知道为什么吗？

template <bool B>
struct test 
{
    test() requires (B);
    test() requires(!B);
};


template <>
test<true>::test()
{}

template <>
test<false>::test()
{}

int main()
{
    test<false> a;
    test<true> b;
    return 0;
}

Demo

叮当声：

错误：“test”的行外定义与“test<true>”中的任何声明都不匹配

Msvc：

错误 C2244：'test<true>::test'：无法将函数定义与现有声明匹配

Answer 1

您声明了受约束的构造函数，但定义了两个不受约束的特化。这些永远不会匹配。

你的意思可能是：

template <bool B>
struct test
{
    test() requires (B);
    test() requires(!B);
};

template <bool B>
test<B>::test() requires (B)
{}

template <bool B>
test<B>::test() requires (!B)
{}

这在所有 3 个编译器中都能正常编译。

至于为什么您的原始版本可以编译 - 这是一个 GCC 错误96830。 Clang 是对的，代码格式不正确，因为行外定义与模板定义不匹配（还要注意 template<> ... 是 完全专业化 语法）。

见[temp.class.general]/3（强调我的）：

当类模板的成员在类模板定义之外定义时，该成员定义被定义为具有template-head 等效的模板定义> 到类模板的那个。

[temp.over.link]/6:

如果两个 template-heads 的 template-parameter-lists 长度相同，则 等价，对应template-parameters 是等价的，并且都用 type-constraints 声明，如果 template-parameter 用 type 声明，则它们是等价的-constraint，如果任何一个template-head有requires-clause，它们都有requires-clauses并且对应的constraint-expression是等价的 .

另请参阅[temp.mem.func]/1 以获取声明受约束成员的示例：

template<typename T> struct S {
    void f() requires C<T>;
    void g() requires C<T>;
};

template<typename T>
void S<T>::f() requires C<T> { }      // OK
template<typename T>
void S<T>::g() { }                    // error: no matching function in S<T>