c++ - vector 强制转换中 vector 的未定义行为

Question

为什么这段代码为什么写未定义数量的看似未初始化的整数？

#include <iostream>
#include <vector>
using namespace std;


int main()
{
    for (int i : vector<vector<int>>{{77, 777, 7777}}[0])
        cout << i << ' ';
}

我希望输出是 77 777 7777。

此代码是否应该未定义？

Answer 1

vector<vector<int>>{{77, 777, 7777}}是临时的，然后在range-for中使用vector<vector<int>>{{77, 777, 7777}}[0]将是未定义的行为。

您应该先创建一个变量，例如

#include <iostream>
#include <vector>
using namespace std;


int main()
{
    auto v = vector<vector<int>>{{77, 777, 7777}};
    for(int i: v[0])
        cout << i << ' ';
}

另外，如果您使用Clang 10.0.0，则会发出有关此行为的警告。

warning: object backing the pointer will be destroyed at the end of the full-expression [-Wdangling-gsl] vector>{{77, 777, 7777}}[0]