向带非类型参数的模板类传递嵌套数组时初始化转换报错如何解决？

报错根因 #

你遇到的编译错误是复制列表初始化的隐式转换次数限制导致的：
你写的Matrix<int, 2, 2> C = {{ {{1,1}} , {{1,1}} }};属于复制列表初始化场景，C++标准规定该场景下最多允许1次用户定义的隐式转换。但你的代码需要执行两次隐式转换才能完成初始化：

1. 嵌套初始化列表{{ {{1,1}} , {{1,1}} }}隐式转换为std::array<std::array<int,2>,2>类型
2. 转换后的array对象再隐式转换为Matrix<int,2,2>类型
   超出了隐式转换次数限制，因此编译失败。而变量B的初始化直接传入已构造好的array对象，仅需1次隐式转换，因此可以正常编译。

解决方案 #

方案1：改用直接列表初始化

去掉赋值等于号，使用直接列表初始化语法，编译器允许多层构造的花括号省略，无需多次隐式转换：

Matrix<int, 2, 2> C{{ {{1,1}} , {{1,1}} }};

方案2：显式标注array类型手动完成第一层转换

手动将初始化列表转换为目标array类型，仅剩一次Matrix构造的隐式转换，符合语法规则：

Matrix<int, 2, 2> C = std::array<std::array<int,2>,2>{{ {{1,1}} , {{1,1}} }};

方案3：给Matrix新增嵌套初始化列表构造函数

直接在Matrix类中新增适配std::initializer_list的构造函数，从根源支持直接传入嵌套初始化列表完成初始化：

#include <initializer_list>
#include <stdexcept>
#include <array>

template<class T, unsigned int Rows, unsigned int Cols>
class Matrix
{
public:
    // 保留原有的array构造函数
    Matrix(std::array<std::array<T,Cols>,Rows> ArrayArray)
    {}

    // 新增嵌套初始化列表构造函数
    Matrix(std::initializer_list<std::initializer_list<T>> init) {
        // 可选：添加尺寸校验逻辑，避免传入的初始化列表行列数不匹配
        if (init.size() != Rows) throw std::invalid_argument("行数量不匹配");
        size_t row_idx = 0;
        for (const auto& row : init) {
            if (row.size() != Cols) throw std::invalid_argument("列数量不匹配");
            size_t col_idx = 0;
            for (T val : row) {
                m_data[row_idx][col_idx] = val;
                col_idx++;
            }
            row_idx++;
        }
    }
private:
    std::array<std::array<T,Cols>,Rows> m_data;
};

添加该构造函数后，你原本的初始化写法就可以正常编译运行。

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