为何存储std::initializer_list成员变量的代码未输出预期内容？

你的代码没有输出"hello"，核心原因是误用了std::initializer_list的存储特性——它并不是一个用来长期保存元素的容器，而只是一个临时的"视图"，指向的底层数据会很快被销毁，导致后续访问时出现未定义行为。

详细拆解问题发生的过程： #

• 当你在类B中初始化A m_a { "hello", "bye" };时，编译器会自动创建一个临时的const std::string数组，用来存储"hello"和"bye"这两个字符串字面量转换后的对象。
• 接着，这个临时数组会被用来构造std::initializer_list<std::string>，然后传递给类A的构造函数，赋值给成员变量m_il。
• 但std::initializer_list本质上只是一个包含指针和长度的轻量级结构体，它不拥有底层数组的所有权。这个临时数组的生命周期只到当前初始化语句结束——也就是A m_a { "hello", "bye" };这行代码执行完毕后，临时数组就会被销毁，内存被回收。
• 当B的构造函数执行时，m_a.m_il里的指针已经指向了一块被释放的内存，此时调用begin()并解引用属于未定义行为：程序可能什么都不输出、崩溃，或者输出乱码，完全取决于编译器的具体实现和运行环境。

修正方案：用真正的容器持有元素 #

要解决这个问题，你需要让类A持有元素的所有权，而不是仅仅保存一个临时视图。最常用的方式是把std::initializer_list替换成std::vector<std::string>（或者其他容器，比如std::array、std::list）：

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

class A {
public:
    A(std::initializer_list<std::string> il) : m_vec(il) {}
    // 用vector持有元素，所有权归A对象
    std::vector<std::string> m_vec;
};

class B {
public:
    B() { 
        std::cout << m_a.m_vec[0] << std::endl; 
    }
    A m_a { "hello", "bye" };
};

int main() { 
    B b; // 现在会正确输出"hello"
}

额外说明：std::initializer_list的正确用法 #

std::initializer_list的设计初衷是简化容器和对象的初始化，比如std::vector<int> v = {1,2,3};，它只是一个临时的传递工具，不适合作为类的成员变量长期存储。如果你确实需要保存这些元素，一定要把它们复制到拥有所有权的容器中。

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