“类模板的模板参数推导”是否应该为可变参数类模板推导空参数包？

Question

“类模板的模板参数推导”提案(P0091R2)包含以下示例：

template<class ... Ts> struct X { X(Ts...) };
X x1{1}; // OK X<int>
X x11; // OK X<>

（除了构造函数定义缺少一个主体），这个例子似乎暗示了一个用零参数构造的variadic class template将被推导出来一个空的参数包。

很遗憾，最新版本的g++不同意：

int main()
{
    X x1{1};
    X x11;
}

 In function 'int main()':
 error: invalid use of template-name 'X' without an argument list
 X x11;
 ^
 note: class template argument deduction requires an initializer

example on wandbox

---

我在提案中找不到明确的措辞来阐明这种互动。这里g++错了吗？

Answer 1

在 P0620R0 在 C++17 发布之前删除引用的限制之后，现在格式正确。

_{上一个答案留作参考：}

---

N4618[dcl.type.class.deduct]/1:

如果推导的类类型的占位符显示为 decl-specifier 在 simple-declaration 的 decl-specifier-seq 中，它的 init-declarator声明的格式为

declarator-id attribute-specifier-seq_optinitializer

初始化器不是可选的。