std::initializer_list<T>初始化的临时量实质化与C++17复制消除疑问

核心问题1：右侧表达式是否为需要实质化的prvalue？ #

std::initializer_list<int>{1,3,5}本身确实是纯右值（prvalue），但它不需要触发临时量实质化。
首先需要澄清一个常见误解：你提到的「从花括号初始化列表初始化std::initializer_list<T>时触发临时量实质化」的规则，实质化的对象是存储元素的底层临时数组，而非std::initializer_list<T>对象本身：

当用花括号初始化列表构造std::initializer_list<T>时，标准要求首先实质化一个长度匹配的const T临时数组存储所有初始化元素，std::initializer_list<T>对象仅持有该数组的首指针和尾后指针，数组生存期与绑定的std::initializer_list<T>对象一致。
这个底层数组的临时量实质化是所有std::initializer_list<T>构造场景都必然发生的，和std::initializer_list<T>对象本身是否被实质化没有关系。

核心问题2：该场景是否符合C++17复制消除规则？ #

该场景完全符合C++17的强制复制消除要求，不会产生中间的std::initializer_list<int>临时对象，也不会调用复制/移动构造函数：

• C++17起明确规定：当用同类型的纯右值初始化一个对象时，直接在目标对象的存储空间构造纯右值对应的对象，不需要触发临时量实质化，也不需要调用复制/移动操作，这是编译器必须支持的强制行为。
• 你的代码中右侧prvalue的类型和左侧x的类型完全匹配，因此编译器会直接将std::initializer_list<int>{1,3,5}的构造目标指向x的存储空间，整个过程仅会构造一次std::initializer_list<int>对象（即x本身）。

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