std::array 的推导指南

Question

在 C++ 标准的 C++ 17 和 C++ 20 工作草案中，类模板的推导指南std::array定义如下

template<class T, class... U>
array(T, U...) -> array<T, 1 + sizeof...(U)>;

例如这个声明的结果

std::array a = { 1ll, 2llu };

应该被编译并且变量的推导类型a是std::array<long long, 2>.

然而，编译器使用另一个推导指南来检查所有初始值设定项是否具有相同的类型。

这是编译器的错误还是 C++ 17 和 C++20 标准中的推导指南确实发生了变化？

Answer 1

C++17 在推导指南中有这样的要求。

\n

\n

template<class T, class... U>\narray(T, U...) -> array<T, 1 + sizeof...(U)>;\n

\n

要求：(is_\xc2\xadsame_\xc2\xadv<T, U> && ...)为真。否则程序格式不正确。

\n

\n

[array.cons#2]

\n