如何为自定义模板子类实现初始化列表构造函数？

需求场景 #

想要像C原生数组或STL类那样，通过嵌套初始化列表构造自定义2x2矩阵类，示例代码如下：

int main()
{
  // C 原始类型初始化列表
  int matrix[2][2] = { { 1, 2 }, { 2, 3 }, };

  // C++ STL 类初始化列表
  std::string s = { 'f', 'o', 'o', '\0' };

  // 我的自定义2x2矩阵子类
  Matrix2<int> mat = { { 2, 0 }, { 6, 7 } }; // 是否可行？
}

尝试的代码及报错 #

参考相关内容编写构造函数后未成功，涉及的代码片段如下：
首先看到的std::initializer_list构造函数示例：

constexpr initializer_list() noexcept : _First(nullptr), _Last(nullptr) {}

自定义Matrix类的代码：

template <class T, unsigned int M, unsigned int N> class Matrix {
  
  // Matrix(initializer_list<T> &&lst) : _First(nullptr), _Last(nullptr) {} // (1) 无法运行
  Matrix(std::initializer_list<T> &&lst) { } // (2) 定义本身无错误

}

template <class T> class Matrix2 : public SquareMatrix<T, 2> {};

报错详情 #

• (1)的报错：clang提示 Member initializer '_First' does not name a non-static data member or base class [mem_init_not_member_or_class]
• (2)的报错：构造Matrix和Matrix2时出现两个错误：
  • Too few template arguments for class template 'Matrix' [template_arg_list_different_arity]
  • No viable conversion from 'int' to 'Matrix<int, 2, 2>' [typecheck_nonviable_condition]

解决方案 #

要支持嵌套初始化列表构造M×N矩阵，不能直接用std::initializer_list<T>（仅能处理一维元素），需使用嵌套的std::initializer_list，同时可添加维度校验保证输入合法性。

修正后的Matrix类示例 #

#include <initializer_list>
#include <stdexcept>

template <class T, unsigned int M, unsigned int N>
class Matrix {
private:
    T data[M][N]; // 存储矩阵数据的成员数组
public:
    // 嵌套初始化列表构造函数
    Matrix(std::initializer_list<std::initializer_list<T>> init) {
        if (init.size() != M) {
            throw std::invalid_argument("行数不匹配");
        }
        size_t row = 0;
        for (const auto& row_list : init) {
            if (row_list.size() != N) {
                throw std::invalid_argument("列数不匹配");
            }
            size_t col = 0;
            for (const T& val : row_list) {
                data[row][col] = val;
                col++;
            }
            row++;
        }
    }

    // 重载operator[]方便访问元素
    T* operator[](size_t row) {
        return data[row];
    }

    const T* operator[](size_t row) const {
        return data[row];
    }
};

// 定义SquareMatrix为Matrix的方阵特化
template <class T, unsigned int Size>
using SquareMatrix = Matrix<T, Size, Size>;

// 定义2x2矩阵类型
template <class T>
using Matrix2 = SquareMatrix<T, 2>;

验证代码 #

int main() {
    Matrix2<int> mat = { {2, 0}, {6, 7} }; // 可正常构造
    // 测试元素访问
    assert(mat[0][0] == 2);
    assert(mat[1][1] == 7);
    return 0;
}

错误原因解析 #

1. _First相关报错：_First和_Last是std::initializer_list的私有内部成员，自定义Matrix类并不包含这些成员，因此不能在初始化列表中引用。
2. 模板参数报错：需确保SquareMatrix正确传递模板参数给Matrix，通过using定义特化类型可避免参数不匹配问题。
3. 类型转换报错：原构造函数仅接收一维initializer_list<T>，但实际传入的是二维嵌套列表，编译器无法匹配构造函数，因此报类型转换错误。

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