如何为自定义类实现列表初始化构造器？详解嵌套初始化列表的本质

咱们先搞清楚你提到的{{1, 2}, {3, 4}}到底在做什么，再一步步实现你的自定义类构造函数。

一、{{1, 2}, {3, 4}}的本质：列表初始化与std::initializer_list #

从C++11开始，语言引入了**列表初始化（List Initialization）**语法，你写的{{1,2},{3,4}}就是这种语法的嵌套用法：

• 内层的{1,2}和{3,4}会被编译器转换成std::initializer_list<int>类型的临时对象（可以理解为轻量级的只读数组视图）；
• 外层的{...}则把这两个临时对象打包成一个std::initializer_list<std::initializer_list<int>>类型的临时对象，供构造函数或函数调用接收。

简单说，这个语句就是创建了一个嵌套的“初始化列表”临时对象，专门用来给支持这种参数的构造函数提供初始化数据。

二、实现my_class的构造器 #

要让你的类支持这种嵌套花括号初始化，只需要给它添加一个接受std::initializer_list<std::initializer_list<int>>参数的构造函数即可。而且实现起来非常简单，因为std::vector本身就支持用initializer_list初始化，我们可以直接复用这个特性：

完整代码示例 #

#include <vector>
#include <initializer_list>
#include <iostream>

class my_class {
    // 注意：这里应该用二维vector来存储嵌套的数据
    std::vector<std::vector<int>> A;
public:
    // 接受嵌套initializer_list的构造函数
    my_class(std::initializer_list<std::initializer_list<int>> init) 
        : A(init) {}  // 直接用初始化列表把init传给vector的构造函数

    // 可选：添加一个打印方法验证结果
    void print_data() const {
        for (const auto& row : A) {
            for (int num : row) {
                std::cout << num << " ";
            }
            std::cout << "\n";
        }
    }
};

// 测试代码
int main() {
    // 直接用嵌套花括号初始化my_class对象
    my_class obj{{1, 2}, {3, 4}};
    obj.print_data();
    // 输出结果：
    // 1 2 
    // 3 4 
    return 0;
}

代码说明 #

1. 构造函数的实现：我们直接用成员初始化语法把传入的init参数传给A的构造函数——因为std::vector<std::vector<int>>的构造函数本身就支持接收std::initializer_list<std::initializer_list<int>>，所以这一步可以自动完成嵌套数据的转换和存储。
2. 兼容性：这种写法要求编译器支持C++11或更高版本，现在主流的GCC、Clang、MSVC都默认支持，老项目可能需要手动添加编译选项（比如GCC加-std=c++11）。

三、扩展：更灵活的初始化方式（可选） #

如果你想让my_class支持更多类型的初始化（比如直接传入二维vector，或者单个initializer_list），可以重载构造函数：

// 重载：接受二维vector
my_class(const std::vector<std::vector<int>>& vec) : A(vec) {}

// 重载：接受单个一维initializer_list（比如初始化单行数据）
my_class(std::initializer_list<int> single_row) : A{single_row} {}

这样你就可以用多种方式初始化my_class对象了：

my_class obj1{{1,2},{3,4}};
my_class obj2(std::vector<std::vector<int>>{{5,6},{7,8}});
my_class obj3{9,10,11};

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