constexpr嵌套initializer_list在MSVC无输出：是否符合C++标准？

1. 程序是否符合C++标准？ #

不符合。问题出在std::initializer_list的生命周期特性：std::initializer_list本质是对临时数组的引用，当用嵌套初始化列表初始化外层initializer_list时，内层每个initializer_list指向的临时字符指针数组，其生命周期仅存在于初始化表达式的求值阶段。虽然list被声明为constexpr，编译期完成初始化，但运行时这些内层临时数组已经销毁，后续遍历访问属于未定义行为，不符合C++标准对对象生命周期的要求。

2. 这是MSVC的bug吗？ #

不是。未定义行为的表现完全不确定，GCC和Clang只是碰巧让程序在运行时保留了临时数组的内存（比如栈空间未被覆盖），从而能输出预期结果；而MSVC的运行时环境中这些内存已失效，导致无输出，这两种表现都符合标准对未定义行为的定义。

3. 为何GCC和Clang没有给出警告？ #

编译器没有强制要求必须检测到这种嵌套initializer_list的生命周期问题。这类问题属于隐蔽的未定义行为，当前GCC/Clang的静态分析逻辑并未覆盖该场景，因此不会主动发出警告。

4. 更优的constexpr嵌套列表实现方法 #

方法一：C++20及以上用std::span结合std::array #

std::span可以安全引用不同大小的constexpr数组，且生命周期与数组本身绑定：

#include <array>
#include <span>
#include <iostream>

constexpr auto list = std::array{
    std::span<const char* const>{"a", "b", "c"},
    std::span<const char* const>{"d"}
};

int main() {
    for (const auto& outer : list) {
        std::cout << "level:\n";
        for (const auto& inner : outer) {
            std::cout << "  " << inner << "\n";
        }
    }
}

方法二：C++17及以下用独立constexpr数组+指针数组 #

显式定义每个内层数组，再用指针数组统一管理，同时记录每个内层数组的大小：

#include <iostream>

constexpr const char* arr1[] = {"a", "b", "c"};
constexpr const char* arr2[] = {"d"};
constexpr const auto* list[] = {arr1, arr2};
constexpr std::size_t list_sizes[] = {sizeof(arr1)/sizeof(*arr1), sizeof(arr2)/sizeof(*arr2)};

int main() {
    for (std::size_t i = 0; i < sizeof(list)/sizeof(*list); ++i) {
        std::cout << "level:\n";
        for (std::size_t j = 0; j < list_sizes[i]; ++j) {
            std::cout << "  " << list[i][j] << "\n";
        }
    }
}

这两种方法都能确保所有数组的生命周期与程序运行期一致，完全符合C++标准，且在GCC、Clang、MSVC中都能正常编译运行并输出预期结果。

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