1

我的印象std::initializer_list可能类似于 C++ 中的文字字符串，甚至更进一步，它们可能会延长 const 引用的生命周期。这是正确的评价吗？

以后可以在本地范围内initializer_list以某种方式引用（不复制它们）中的对象吗？在全球范围内？

例如，这个测试在 GCC 和 clang 中通过。这只是偶然吗？

#include<cassert>
#include<initializer_list> 
struct A{
    double const* p;
    A(std::initializer_list<double> il){ p = &*(il.begin() + 1); };
};
double f(){return 5.;}
int main(){
   A a1{1.,2.,3.};
   assert( *a1.p == 2. );
   A a2{1., f(), f()};
   assert( *a2.p == 5. );
}
4

1 回答 1

4

这是未定义的行为。

在您的情况下initializer_list是指临时数组const double[3]，该数组的生命周期如下所述：

ref 在原始初始化列表对象的生命周期结束后，不能保证底层数组存在。[直到 c++14]

底层数组的生命周期与任何其他临时对象相同 [c++14 起]

和

ref作为评估完整表达式的最后一步，所有临时对象都被销毁

因此，在A调用构造函数的情况下，将创建具有 3 个双精度的临时数组，然后获取临时数组元素的地址，并且当构造函数结束时，临时数组被销毁（在这种情况下，完整的表达式是 ctor 的调用），所以结果p是悬空指针。

于 2018-12-15T09:26:52.047 回答