std::initializer_list 下的数组的生命周期是多少？ [复制]

Question

按照这个答案https://stackoverflow.com/a/29074955/1098041

我有一种奇怪的行为。

在调试中我得到了预期的输出，但是在发布中（我在 Windows 上使用 mingw）我在 test 函数中得到了垃圾。

#include <iostream>
#include <initializer_list>

template <class T>
struct array
{
    T     *ptr;
    size_t len;

    array() { clear(); }
    array( T *p, size_t l ) { assign(p,l); }

    inline void clear() { ptr=nullptr; len=0; }
    inline void assign( T *p, size_t l ) { ptr=p; len=l; }

    inline T& operator[] ( size_t i ) const { return ptr[i]; }
};

template <class T>
inline array<const T> wrap( std::initializer_list<T> lst )
    { return array<const T>( lst.begin(), lst.size() ); }


void test( int a, int b, int c )
{
    auto ar = wrap({a,b,c});
    std::cout<< ar[1] << std::endl;
}

int main()
{
    auto a = wrap({1,2,3});
    std::cout<< a[2] << std::endl;

    test(1,2,3);
}

调试输出：

3
3

发布中的输出：

3
2686868 // some garbage.

谁能向我解释调试/发布模式如何影响 initializer_list 底层数组的生命周期？ 或者为这种行为提供一些其他解释。

Answer 1

  auto a = wrap({1,2,3});

initializer_list（及其底层数组）的生命周期在该表达式的末尾结束，因此 a 包含一个悬空指针。

这意味着std::cout<< a[2] 具有未定义的行为。同样对于test 中的代码，std::cout <<a[1]` 也是未定义的行为。

谁能向我解释调试/发布模式如何影响 initializer_list 底层数组的生命周期？或者为这种行为提供一些其他解释。

这是未定义的行为。

任何事情都有可能发生。

在发布模式下，编译器对事物的优化方式不同，因此堆栈上的变量布局不同，因此具有未定义行为的代码可能会执行不同的操作。或者它可能不会。

这甚至不是特定于 initializer_list，对于您保存指针的 any 临时对象，您会得到类似的未定义行为：

wrap( std::vector<int>(1, 1) );