自定义vector无法使用初始化列表初始化的问题排查

1. initializer_list迭代器类型不匹配 #

你的initializer_list类中，成员m_begin被定义为可修改的iterator（即T*），但初始化列表的元素本质是只读的，构造函数接收的const_iterator（即const T*）无法直接赋值给T*，导致编译器无法正确生成初始化列表对象。

修正方案：将m_begin改为const_iterator类型，同时移除不必要的非const迭代器定义——标准initializer_list仅提供只读迭代器：

template <typename T> class initializer_list 
{
public:
    typedef const T* const_iterator;

private:
    const_iterator m_begin;
    size_t   m_size;

    constexpr initializer_list(const_iterator it, size_t size) noexcept : m_begin(it), m_size(size) { }

public:
    constexpr initializer_list() noexcept : m_begin(nullptr), m_size(0) { }

    constexpr const_iterator begin() const noexcept { return m_begin; }
    constexpr const_iterator end() const noexcept { return m_begin + m_size; }
    constexpr size_t size() const noexcept { return m_size; }
};

2. 错误的成员式全局begin/end函数 #

你在initializer_list类内部定义了全局风格的begin(initializer_list<T>)和end(initializer_list<T>)成员函数，这不符合标准设计——这两个函数应为全局非成员函数，放在类内部会导致编译器无法正确识别初始化列表的范围。

修正方案：删除类内的这两个函数，若需要全局版本，在类外部定义：

template <typename T>
constexpr typename initializer_list<T>::const_iterator begin(initializer_list<T> init) noexcept {
    return init.begin();
}

template <typename T>
constexpr typename initializer_list<T>::const_iterator end(initializer_list<T> init) noexcept {
    return init.end();
}

3. 命名空间匹配问题 #

C++编译器默认会将{1,2,3}这类初始化列表字面量推导为std::initializer_list。如果你的vector和initializer_list位于stl命名空间下，需确保编译器能优先匹配stl::initializer_list，否则会因类型不匹配导致构造函数无法被选中。

4. vector构造函数的潜在风险 #

你使用memcpy复制元素仅对POD类型（如int）有效，对于非POD类型（如自定义类）会跳过对象构造逻辑，引发未定义行为。正确做法是使用定位new逐个构造元素：

vector(initializer_list<T> init) : m_capacity(init.size()), m_size(m_capacity), m_data(nullptr)
{
    m_data = static_cast<T*>(malloc(m_size * sizeof(T)));
    if (!m_data) {
        throw std::runtime_error("malloc: Couldn't allocate memory!");
    }
    size_t idx = 0;
    for (const auto& elem : init) {
        new (m_data + idx) T(elem); // 定位new构造对象
        idx++;
    }
}

完成以上修改后，stl::vector<int> v{1,2,3};即可正确匹配初始化列表构造函数，解决参数列表不匹配的错误。

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