如何实现支持模板化的自定义集合类的列表初始化？

首先，你提到的这种初始化方式叫做聚合初始化（Aggregate Initialization），std::array就是利用聚合类型的特性实现的该初始化方式。下面分两种方案实现你的需求，同时修正原代码中的问题（如未定义的N、TKey，以及第二个operator[]中未声明的idx）：

方案一：实现聚合类型（与std::array行为一致） #

要让类支持聚合初始化，需满足C聚合类型的要求（C11及以上标准）：无用户声明的构造函数、无私有/保护的非静态数据成员、无基类、无虚函数等。我们可以将类模板化，并调整内部数组的访问权限：

#include <cstddef> // 用于std::size_t

template <typename T, std::size_t Size>
class MyCollection {
public:
    // 公开内部数组，满足聚合类型要求
    T m_array[Size];

    // const版本下标运算符，用于只读访问
    const T& operator[](std::size_t idx) const {
        return m_array[idx];
    }

    // 非const版本下标运算符，用于读写访问
    T& operator[](std::size_t idx) {
        return m_array[idx];
    }

    // 自定义键TKey访问的operator[]，需补充键到索引的转换逻辑
    template <typename TKey>
    T& operator[](const TKey& k) {
        // 示例：假设TKey可转换为size_t，实际需根据业务逻辑调整
        std::size_t idx = static_cast<std::size_t>(k);
        return m_array[idx];
    }

    template <typename TKey>
    const T& operator[](const TKey& k) const {
        std::size_t idx = static_cast<std::size_t>(k);
        return m_array[idx];
    }
};

使用方式 #

此时可完全参照std::array的方式进行列表初始化：

MyCollection<int, 3> coll = {1, 2, 3};
// 也可省略等号
MyCollection<std::string, 2> strColl{"hello", "world"};

方案二：使用std::initializer_list构造函数（保持内部成员私有） #

若不想公开内部数组，可通过添加std::initializer_list构造函数实现列表初始化，同时保留成员私有性：

#include <cstddef>
#include <initializer_list>
#include <stdexcept> // 用于抛出越界异常

template <typename T, std::size_t Size>
class MyCollection {
private:
    T m_array[Size]{}; // 默认初始化元素为对应类型的默认值

public:
    // 接受initializer_list的构造函数
    MyCollection(std::initializer_list<T> init) {
        if (init.size() > Size) {
            throw std::out_of_range("Initializer list size exceeds collection size");
        }
        std::size_t i = 0;
        for (const auto& elem : init) {
            m_array[i++] = elem;
        }
    }

    // 默认构造函数，支持无初始化的实例创建
    MyCollection() = default;

    // 下标运算符实现
    const T& operator[](std::size_t idx) const {
        return m_array[idx];
    }

    T& operator[](std::size_t idx) {
        return m_array[idx];
    }

    // 自定义键访问的operator[]，需补充键转索引逻辑
    template <typename TKey>
    T& operator[](const TKey& k) {
        std::size_t idx = static_cast<std::size_t>(k);
        return m_array[idx];
    }

    template <typename TKey>
    const T& operator[](const TKey& k) const {
        std::size_t idx = static_cast<std::size_t>(k);
        return m_array[idx];
    }
};

使用方式 #

该方案同样支持列表初始化，未被显式初始化的元素会自动填充默认值：

MyCollection<int, 3> coll = {1, 2, 3};
MyCollection<double, 4> numColl{1.1, 2.2, 3.3};
// 第四个元素会被初始化为0.0

关键说明 #

1. 模板化改造：通过模板参数T（元素类型）和Size（集合大小），让类支持任意元素类型与固定大小，和std::array的设计逻辑对齐。
2. 自定义键访问：原代码中TKey版本的operator[]缺少键到索引的转换逻辑，需根据实际业务需求补充（比如维护键与索引的映射表，或依赖键本身可转换为索引的特性）。
3. 标准兼容性：两种方案均支持C11及以上标准，方案一在C17及以后还可配合推导指引进一步简化声明（如MyCollection coll = {1,2,3};自动推导类型与大小）。

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