具有优化级别-O2的boost :: any_range会导致崩溃

nic*_*lai 2 c++ boost

这段代码有什么问题:

#include <iostream>
#include <vector>

#include <boost/range/adaptor/transformed.hpp>
#include <boost/range/any_range.hpp>


using namespace boost::adaptors;


using Range =
  boost::any_range<
    int,
    boost::forward_traversal_tag,
    int,
    std::ptrdiff_t>;


void magic(const Range &) {}


int main()
{
  std::vector<int> xs{0, 1, 2};

  auto ys = xs | transformed([](auto x) { return x; });

  const Range zs = ys;
  std::vector<int> us{boost::begin(zs), boost::end(zs)};
  magic(us);

  return 0;
}
Run Code Online (Sandbox Code Playgroud)

Complie:

c++ -g -std=c++14 -O2 main.cpp
Run Code Online (Sandbox Code Playgroud)

运行并得到段错误.

但是当我用较低的优化级别进行编译时,一切都还可以.

gdb 输出:

Program received signal SIGSEGV, Segmentation fault.
0x00000000004011a5 in boost::range_detail::any_iterator<int, boost::iterators::forward_traversal_tag, int, long, boost::any_iterator_buffer<64ul> >::dereference (this=<optimized out>) at /usr/include/boost/range/detail/any_iterator.hpp:512
512                     return m_impl->dereference();
Run Code Online (Sandbox Code Playgroud)

是这个boost::any_range错误,还是我误用了图书馆?

如果我这样编译程序也会崩溃:

c++ -g -std=c++14 -O1 -fisolate-erroneous-paths-dereference main.cpp
Run Code Online (Sandbox Code Playgroud)

如果我用选项编译它,下面的程序也会崩溃-O1 -fisolate-erroneous-paths-dereference:

#include <iostream>
#include <vector>

#include <boost/range/adaptor/transformed.hpp>
#include <boost/range/any_range.hpp>


using namespace boost::adaptors;


using Range =
  boost::any_range<
    int,
    boost::forward_traversal_tag,
    int &,
    std::ptrdiff_t>;


void magic(const Range &xs) {
  for (auto x: xs) { std::cout << xs; }
}


int main()
{
  std::vector<int> xs{0, 1, 2};
  auto ys = xs | transformed([](auto x) { return x; });
  magic(ys);
  return 0;
}
Run Code Online (Sandbox Code Playgroud)

Bar*_*rry 5

这是与10360相关的增强错误10493,其在1.56中引入并且仍然存在于1.62中.

问题是,它不是只使用你的reference类型,而是包装它mutable_reference_type_generator,这会阻止你能够返回一个临时的.也就是说,当你写:

using Range =
  boost::any_range<
    int,
    boost::forward_traversal_tag,
    int,
    std::ptrdiff_t>;
Run Code Online (Sandbox Code Playgroud)

你明确指定的reference类型是int,不是int&,因为你的范围基本上是一个输入范围.但是内部的提升正在改变它int&,所以你摇摆不定.当您编写const intintsead时int,类型特征不会添加引用,因此您实际上最终会使用const int.