我想使用Boost.Range和C++1y lambda 和 init-capture计算两个向量的元素差异。减去一个向量的固定(即第一个)元素的更简单的情况是有效的。但是,当我尝试通过在第二个范围内增加迭代器(并使 lambda mutable)来计算“矢量化差异”时,会出现编译器错误。示例代码(请注意,我没有使用通用 lambda,因此 g++ 4.8 和 Clang SVN 都可以解析此代码):
#include <iostream>
#include <iterator>
#include <vector>
#include <boost/range/algorithm.hpp>
#include <boost/range/adaptors.hpp>
template<class R>
auto delta_beg(R const& rng1, R const& rng2)
{
using Elem = typename R::value_type;
return rng1 | boost::adaptors::transformed(
[first2 = begin(rng2)](Elem const& e) {
return e - *first2;
});
}
template<class R>
auto delta_rng(R const& rng1, R const& rng2)
{
using Elem = typename R::value_type;
return rng1 | boost::adaptors::transformed(
[first2 = begin(rng2)](Elem const& e) mutable {
return e - *first2++;
});
}
int main()
{
auto r1 = std::vector<int>{ 8, 10, 12, 15 };
auto r2 = std::vector<int>{ 1, 2, 9, 13 };
// prints 7, 9, 11, 14
boost::copy(delta_beg(r1, r2), std::ostream_iterator<int>(std::cout, ",")); std::cout << "\n";
// ERROR, should print 7, 8, 3, 2
boost::copy(delta_rng(r1, r2), std::ostream_iterator<int>(std::cout, ",")); std::cout << "\n";
}
活生生的例子。这里 g++ 和 Clang 都抱怨
'boost::mpl::eval_if, boost::result_of]::__lambda1(const int&)>, boost::mpl::identity >::f_ {aka struct boost::result_of] 中没有名为 'type' 的类型: :__lambda1(const int&)>}' typedef typename f_::type type;
问题:发生了什么事?