C++11中返回initializer_list值是否安全？存在哪些风险？

这种写法存在明确的悬空访问风险，属于C++标准定义的未定义行为，GCC给出的警告不是误报，生产环境绝对不要这么写。

• 首先明确std::initializer_list的本质：它不是真正存储元素的容器，只是一个轻量级视图对象，内部仅持有指向底层常量元素数组的指针（以及长度/尾指针，不同STL实现细节有差异），完全不持有底层数组的所有权。
• 当你用花括号列表{1,2,3}构造initializer_list时，C++标准规定：底层临时生成的常量数组的生命周期，默认和当前作用域内的initializer_list对象绑定，常规场景下临时对象生命周期延长规则会生效——比如函数内部写auto local_il = {1,2,3};时，底层数组会活到local_il离开当前作用域才销毁，这种本地使用是安全的。
• 但生命周期延长规则有明确的例外：从函数返回临时构造的initializer_list时，底层数组的生命周期不会跟着延长到调用方作用域。你写的return {1,2,3};执行逻辑是：在函数返回语句的临时上下文里构造initializer_list，对应的底层数组是函数栈上的临时对象，函数返回退出时，这个临时数组会被立刻销毁，最终返回给调用方的initializer_list持有的是已经被释放的悬空指针。
• 这种场景下访问返回的initializer_list元素，行为完全不可控：可能读到栈上的随机脏数据、触发程序崩溃，也可能在编译器未清理对应栈内存的场景下偶然输出正确值，但本质都是没有任何保障的未定义行为。

下面的代码就会触发悬空访问问题：

#include <initializer_list>
#include <iostream>

std::initializer_list<int> f(){return {1,2,3};}

int main() {
    auto il = f();
    // 此处遍历il属于悬空指针访问，结果不可预期
    for (int x : il) {
        std::cout << x << '\n';
    }
    return 0;
}

如果需要从函数返回一组固定int值，应该返回真正持有元素所有权的容器类型，比如std::vector<int>、std::array<int, 3>，此时花括号列表的元素会被拷贝/移动到容器内，不存在生命周期问题：

#include <vector>
std::vector<int> f() { return {1,2,3}; } // 完全安全

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