这段代码有什么问题:
#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)
这是与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 int
intsead时int
,类型特征不会添加引用,因此您实际上最终会使用const int
.
归档时间: |
|
查看次数: |
144 次 |
最近记录: |