使用 clang 优化编译时得到意外结果

Question

我在我的代码中发现了一个错误，该错误仅在我启用编译器优化 -O1 或更高版本时才会发生。我跟踪了这​​个错误，当启用优化时，我似乎无法在 boost 转换范围上使用 boost type_erased 适配器。我编写了这个 c++ 程序来重现它：

#include <iostream>
#include <vector>
#include <boost/range/adaptor/transformed.hpp>
#include <boost/range/adaptor/type_erased.hpp>

using namespace boost::adaptors;
using namespace std;

int addOne(int b) {
  return b + 1;
}

int main(int, char**) {
  vector<int> nums{ 1, 2, 3 };

  auto result1 = nums | transformed(addOne) | type_erased<int, boost::forward_traversal_tag>();
  auto result2 = nums | transformed(addOne);
  auto result3 = nums | type_erased<int, boost::forward_traversal_tag>();

  for (auto n : result1)
    cout << n << " ";
  cout << endl;

  for (auto n : result2)
    cout << n << " ";
  cout << endl;

  for (auto n : result3)
    cout << n << " ";
  cout << endl;
}

当我在没有任何优化的情况下运行这个程序时，我得到以下输出：

2 3 4
2 3 4
1 2 3

当我使用 -O1 标志运行它时，我得到以下信息：

1 1 1
2 3 4
1 2 3

我正在使用 clang++ 来编译它。我使用的 clang 版本是：

Apple LLVM 版本 8.0.0 (clang-800.0.38)

我不知道是我做错了什么，还是一个 boost/clang 错误。

编辑：

改成

type_erased<int, boost::forward_traversal_tag, const int>()

它现在可以工作了。第三个模板参数是引用类型，将引用设置为 const 会延长转换后创建的临时对象的时间跨度。

Answer 1

编辑事实上，这不仅仅是表面上看到的。还有另一个可用性问题，它确实解决了这个问题。见OP's self-answer

---

使用 Boost Range v2（和 Boost Proto 等），您陷入了 1 号陷阱。

nums | transformed(addOne) 是临时的。 type_erased 适配器存储引用。

将类型擦除适配器分配给resultN变量后，临时对象被破坏。

你所拥有的是一个悬空参考:(

这是一个非常不直观的效果，也是我在代码库中限制使用 Range V2 的第一个原因：我经常去那里。

这里有一个解决方法：

auto tmp = nums | transformed(addOne);
auto result = tmp | type_erased<int, boost::forward_traversal_tag>();

-fsanitize=address,undefined 确认使用命名临时时 UB 已消失。

Answer 2

使用

type_erased<int, boost::forward_traversal_tag, const int>()

有效。第三个模板参数是引用类型，将引用设置为 const 会延长转换后创建的临时对象的时间跨度。