能否通过指定初始化器推导模板类Cfg的模板参数N？

在当前C++标准中，无法直接通过指定初始化器推导模板参数N。

原因如下：

• 使用Cfg c = { .Values = {0,1,2,3} }这类指定初始化语法时，编译器需要先确定Cfg的模板参数N，才能解析成员std::array<int, N>的类型，但初始化器里的数组大小信息无法反向推导外层模板参数。
• std::array的大小本身是模板参数，它不能从初始化列表自动推导后再传递给Cfg模板——模板参数推导是针对整个类模板的整体流程，而非先推导成员变量的模板参数再组合到外层。

你尝试的makeArray或预定义数组初始化无效，本质也是同一个问题：这些方式都无法把数组的大小信息传递给Cfg的模板参数推导流程。

只有显式指定Cfg<4>时，编译器才能明确std::array<int,4>的类型，进而完成指定初始化。

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