Requires-clause 出现在模板模板参数之后：这是合法的语法吗？

Question

最近意外发现gcc和msvc接受如下代码（注意template-list中的requires-clause）：

#include <vector>

template <template <class> requires true class>
void f() {}

int main() {
  f<std::vector>();
}

然后叮当rejects它的语法是：

<source>:3:28: error: template template parameter requires 'class' after the parameter list
template <template <class> requires true class>
                           ^

我应该信任哪个编译器？这段代码在语法上有效吗？

Answer 1

是的，这似乎是合法的语法。模板以template-head 开头，即

template < template-parameter-list > requires-clause _opt

那么template-parameter-list就可以了

模板参数

template-parameter 可以在哪里

类型参数

然后type-parameter就可以了

模板头 类型参数键 ..._opt标识符_opt子>

现在这包括 template-head，它允许上面提到的 requires-clause。