为何std::optional的noexcept说明符中使用initializer_list引用？

核心原因和你的猜测一致，就是和参数是具名左值有关 #

我们可以分两点拆解这个问题：

1. initializer_list的传值特性
   std::initializer_list本身是一个轻量视图类型，内部仅存储了指向底层数组的起始指针和长度，按值传递的开销和传引用几乎没有差异，所以标准库实现选择按值传参是完全合理的。

2. noexcept判断匹配实际传参的类型
   C++的表达式值类别规则明确规定：所有具名的变量/函数参数，在函数内部作为表达式使用时，默认都是左值，和参数本身的声明类型无关。
   在这个构造函数的初始化列表中，__il作为实参传给底层_Tp类型的构造函数时，它是左值，对应的实参类型就是initializer_list<_Up>&。
   std::is_nothrow_constructible_v的第二个及以后的模板参数，要求传入构造时实际实参的类型（需要匹配值类别：左值加&、右值加&&），所以这里必须写initializer_list<_Up>&才能准确匹配实际的构造调用场景。如果不写&，判断的就是用右值initializer_list<_Up>构造_Tp的情况，和实际调用逻辑不符，会得到错误的noexcept计算结果。

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