gpt4 book ai didi

c++ - 遍历右值容器

转载 作者:太空狗 更新时间:2023-10-29 20:41:24 25 4
gpt4 key购买 nike

以下代码是否会导致未定义的行为?

std::map<int, vector<int>> foo()
{
return ...
}

BOOST_FOREACH(const int& i, foo()[42])
{
std::cout << i << std::endl;
}

如果未定义,修复它的好方法是什么?如果我使用 c++11 range-for 循环而不是 BOOST_FOREACH 会怎样?

最佳答案

不幸的是,这很可能是未定义的行为。

问题是这里有两个级别:

  1. std::map<...>是一个右值,它的生命周期将被扩展到完整表达式的末尾
  2. std::vector<int>&是左值引用(到对象),它的生命周期是对象的生命周期。

问题的出现是因为代码(大致)扩展为如下内容:

// from
for (<init>: <expr>) {
<body>
}

// to
auto&& __container = <expr>;
for (auto __it = begin(container), __e = end(container); __it != __e; ++__it)
{
<init> = *__it;
<body>
}

此处的问题在于 __container 的初始化:

auto&& __container = foo()[42];

如果它在哪里 foo() ,这会起作用,因为 std::map<...> 的生命周期将被扩展以匹配 __container , 然而在这种情况下我们得到:

// non-standard gcc extension, very handy to model temporaries:
std::vector<int>& __container = { std::map<...> m = foo(); m[42] };

因此 __container最终指向下界。

关于c++ - 遍历右值容器,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21680125/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com