c++20中类模板构造函数可以有冗余模板参数列表吗

Question

据我所知，以下code：

template<typename T>
struct S {
    S<T>();
};

格式正确，即使构造函数声明中的<T> 是多余的。

但是，在 gcc 主干上（但不在 gcc10.2 上），使用 -std=c++20 这会产生错误：

error: expected unqualified-id before ')' token
    3 |     S<T>();
                 ^

code 与 -std=c++20 在 clang 主干上编译。这是一个错误，还是 c++20 中尚未在所有编译器中实现的重大变化？

Answer 1

事实上，发生了变化。它记录在 C++20 草案的兼容性部分。

[diff.cpp17.class]

2 受影响的子条款：[class.ctor] 和 [class.dtor]
更改：simple-template-id 不再有效构造函数或析构函数的声明符 ID。
基本原理：删除可能容易出错的冗余选项。
对原始功能的影响：有效的 C++ 2017 代码可能无法编入本国际标准。例如：

template<class T>
struct A {
  A<T>();           // error: simple-template-id not allowed for constructor
  A(int);           // OK, injected-class-name used
  ~A<T>();          // error: simple-template-id not allowed for destructor
};

具体来说，delta的措辞是这样的：

n4659 - C++17 标准草案 - [class.ctor]

1 构造函数没有名称。在构造函数的声明中， 声明器是表单的函数声明器

ptr-declarator ( parameter-declaration-clause ) noexcept-specifier attribute-specifier-seq

其中 ptr-declarator 仅由 id-expression、可选的 attribute-specifier-seq 和可选的圆括号组成，并且 id-expression 具有以下形式之一：

• 在属于类的成员规范但不是友元声明的成员声明中，id-expression 是立即封闭类的注入类名；
• 在属于类模板的成员规范但不是友元声明的成员声明中，id 表达式为 命名当前实例化的类名 立即封闭的类模板；或

n4861 - C++20 标准草案 - [class.ctor]

1 构造函数由声明符为 形式的函数声明符（[dcl.fct]）

ptr-declarator ( parameter-declaration-clause ) noexcept-specifier attribute-specifier-seq

其中 ptr-declarator 仅由一个 id 表达式组成，一个 可选的属性说明符序列和可选的环绕 括号，并且 id 表达式具有以下形式之一：

• 在属于类或类模板的成员规范但不是友元声明的成员声明中 ([class.friend])，id-expression 是注入的类名 ([class.pre]) 的直接封闭实体或

如您所见，措辞发生了变化。 C++20 现在在为类模板声明构造函数时需要注入的类名。 S<T> 是一个简单的模板 id，用于命名一个特化。在模板中，注入的类名只是S。

这是寻址CWG 2237的一部分。