为什么 GCC 编译器不能以别名模板形式从 std::array 推导出模板参数之一

Question

在 C++20 中，如果应用别名模板，则可以具有隐式推导指南。

然后，我构建了一个简单的模板别名ints：

template <std::size_t N>
using ints = std::array<int, N>;

但：

ints{1, 2, 3, 4}

不起作用，GCC 说：

• 错误：没有匹配的函数可供调用array(int, int, int, int)
• 注意：无法推断出模板参数N
• 注意：类型不匹配std::array<int, N>和int

我不明白为什么它无法编译。

和：

template <typename T>
using array_of_4 = std::array<T, 4>;

和

array_of_4{1, 2, 3, 4}

也行不通。

• 难道是因为std::array它的推演指南是用户提供的？
• 如果上述答案不成立，那么原因是什么？

---

我发现了一个关于这个问题的类似问题：How to write deductionguides for aliases ofaggregate templates? 。

结论是，按照标准，该代码应该是格式良好的。因此，GCC 可能有不同的实现来阻止此代码的编译。

Answer 1

ints{1, 2, 3, 4}

我不明白为什么它无法编译。

您没有指定模板参数。这有效：

ints<4>{1, 2, 3, 4}

array_of_4{1, 2, 3, 4}

也行不通。

同样的问题。这有效：

array_of_4<int>{1, 2, 3, 4}

std::array的推导指南是用户提供的？

是的。