c++ - "template argument deduction for class templates"是否应该为可变类模板推导出空参数包？

Question

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

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

(除了构造函数定义缺少主体这一事实之外)，该示例似乎表明用零参数构造的可变参数类模板将被推导为一个空的参数包。

很遗憾，最新版本的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 :

If a placeholder for a deduced class type appears as a decl-specifier in the decl-specifier-seq of a simple-declaration, the init-declarator of that declaration shall be of the form

declarator-id attribute-specifier-seq_opt initializer

初始化器不是可选的。