Boost-range не работает с C++ 1y init-capture изменяет lambda

Question

Я хочу вычислить разницу по элементам двух векторов, используя Boost.Range и C++ 1y lambdas с init-capture. Простейший случай вычитания фиксированного (то есть первого) элемента одного вектора работает. Однако, когда я пытаюсь вычислить «векторизованную разницу», увеличивая итератор во втором диапазоне (и делая lambda изменчивым), я получаю ошибку компилятора. Пример кода (обратите внимание, что я не использовал обобщенные лямбды так что и г ++ 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"; 
} 

Live Example. Вот и г ++ и Clang жалуются

нет тип с именем 'типа' в повышения»:: MPL :: eval_if, повышение :: result_of] :: __ lambda1 (Const ИНТ &)>, повышение :: MPL :: identity> :: f_ {aka struct boost :: result_of] :: __ lambda1 (const int &)>} ' typedef typename f_ :: type type;

Вопрос: Что происходит?

Answer 1

Это просто, что типы закрытия не имеют вложенных typedefs, которые, по-видимому, требуют boost::mpl. Это работает, если вы преобразовать лямбда-выражение в std::function:

#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; 
    std::function<Elem(Elem const&)> f = 
     [first2 = begin(rng2)](Elem const& e) { return e - *first2; }; 
    return rng1 | boost::adaptors::transformed(f); 
} 

template<class R> 
auto delta_rng(R const& rng1, R const& rng2) 
{ 
    using Elem = typename R::value_type; 
    std::function<Elem(Elem const&)> f = 
     [first2 = begin(rng2)](Elem const& e) mutable { return e - *first2++; }; 
    return rng1 | boost::adaptors::transformed(f); 
} 

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"; 
} 

Live demo.