非模板函数的尾随requires子句的编译器方差

Question

考虑以下示例：

void f() requires true { }
int main() { f(); }

CLANG⁽¹⁾(DEMO)接受此程序，而GCC⁽¹⁾(DEMO)拒绝此程序，并出现以下错误：

error: constraints on a non-templated function

请注意，约束表达式实际上可以用于Clang的情况，因为Clang拒绝了以下程序：

void f() requires false { }
int main() { f(); }  //  // error: no matching function for call to 'f'

null

Answer 1

_{除另有说明外，以下所有标准参考均指N4861(2020年3月布拉格后工作草案/C++20 DIS)。}

这是一个Clang bug，按照[dcl.decl]/4（以及[temp.constr.decl]/1)[强调我的]，GCC拒绝该程序是正确的：

init-declarator或member-declarator中的可选requires子句只有在declarator声明模板函数([dcl.fct])时才会出现。当出现在声明符之后时，requires-子句称为尾随requires-子句。[...]

同一段落还包含一个（非规范性）示例，明确指出OP的示例格式不正确：

[示例：

void f1(int a) requires true;       // error: non-templated function

template<typename T>
auto f2(T a) -> bool requires true; // OK

// ...

-结束示例]

[示例：

void f1(int a) requires true; // OK

// ...

其中OP用例的非规范性示例被显式地显示为格式良好的。最初的意图可以说是允许基于类模板的模板参数来约束类模板的非模板成员函数：

#include <iostream>

template<bool B>
struct S {
    void f() requires   B  { std::cout << "true\n"; }
    void f() requires (!B) { std::cout << "false\n"; }
};

int main() { 
    S<true>{}.f();   // true
    S<false>{}.f();  // false
} 

在N4861中的[dcl.decl]/4的最终状态（用于C++20)中，这仍然是允许的，其中限制是模板函数（参见[temp.pre]/8中的模板实体，特别是[temp.pre]/8.3)，它不仅包括函数模板（以及非模板和模板类模板的函数模板成员），还包括类模板的非模板成员函数。

叮当虫报告：

null