为什么GCC无法从别名模板形式的std::array推导模板参数？

问题结论 #

你遇到的编译失败是GCC的已知实现缺陷，你的代码完全符合C++20标准要求。

疑问解答 #

1. 问题是否由std::array的推导指引为用户自定义导致？ #

不是。std::array的标准库自带推导指引和该问题无关，即使你自定义支持CTAD的类模板搭配别名模板使用，也会在当前版本GCC中触发同样的编译错误。

2. 实际编译失败原因 #

GCC至今未完整实现C++20引入的别名模板隐式类模板推导指引特性（对应标准提案P1814R0、P1021R4）：

• 按照C++20标准要求，别名模板在推导时会自动转发底层类模板的所有推导指引，你定义的ints{1,2,3,4}本应通过std::array的推导指引得到N=4，实例化为std::array<int,4>，当前Clang 16+、MSVC 2022 19.30+均已支持该特性，可正常编译你给出的示例代码。
• 目前GCC的CTAD实现仅支持直接对原始类模板做推导，不会处理别名模板对应的底层类模板推导规则，因此无法推导N、T这类别名模板的参数，直接报匹配失败。

临时兼容方案 #

如果需要在GCC下正常使用，可手动指定模板参数，或显式构造底层类对象：

// 方案1：手动指定参数
ints<4> arr1{1,2,3,4};
array_of_4<int> arr2{1,2,3,4};

// 方案2：显式调用类模板推导后转换
ints arr3 = std::array{1,2,3,4};
array_of_4 arr4 = std::array{1,2,3,4};

内容的提问来源于stack exchange，提问作者Desmond Gold