c++ - Requires-clause 出现在模板模板参数 : is this legal grammar? 之后

Question

最近意外发现gcc和msvc接受如下代码(注意template-list中的requires-clause):

#include <vector>

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

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

和 clang 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

哪里 template-parameter可

type-parameter

然后 type-parameter可

template-head type-parameter-key ..._opt identifier_opt

现在这包括模板头，它允许如上所述的要求子句。