Каковы преимущества использования boost :: any_range?

Question

Каковы преимущества использования boost::any_range? Вот пример:

typedef boost::any_range< 
    int 
    , boost::forward_traversal_tag 
    , int 
    , std::ptrdiff_t 
> integer_range; 

void display_integers(const integer_range& rng) 
{ 
    boost::copy(rng, 
       std::ostream_iterator<int>(std::cout, ",")); 

    std::cout << std::endl; 
} 

int main(){ 
    std::vector<int> input{ ... }; 
    std::list<int> input2{ ... }; 
    display_integers(input); 
    display_integers(input2); 
} 

Но та же функция с большей эффективностью может быть достигнут с помощью параметра шаблона, который удовлетворяет концепцию ForwardRange:

template <class ForwardRange> 
void display_integers(const ForwardRange& rng) 
{ 
    boost::copy(rng, 
       std::ostream_iterator<int>(std::cout, ",")); 

    std::cout << std::endl; 
} 

Так что я ищу для сценариев, когда это стоит использовать any_range. Может быть, я чего-то не хватает.

Answer 1

Этот метод называется Типом Erasure. Существует полная статья, описывающая плюсы и минусы на примере any_iterator: On the Tension Between Object-Oriented and Generic Programming in C++.

---

можно скрыть реализацию/дефиниция из

void display_integers(const integer_range& rng) 

в отдельном файле/библиотеки.

Но в случае

template <class ForwardRange> 
void display_integers(const ForwardRange& rng) 

вы должны предоставить исходный код для пользователей (или, по крайней мере, сделать explicit instantiations где-то).

---

Кроме того, в первом случае display_integers будет составлен только один раз, но во втором - он будет составлен для каждого типа прошедшего диапазона.

---

Кроме того, вы можете иметь

integer_range rng; 

где-то. И при жизни ГСЧ - вы можете назначить пробегу different types to it:

vector<int> v; 
list<int> l; 
integer_range rng; 
rng = v; 
rng = l; 

---

Самым большим недостатком типа стиранием является стоимость выполнения - все операции являются виртуальными, и не могут быть встраиваемыми (легко).

---

P.S. другим известным примером стирания типа является std::function

Answer 2

boost::any_range может использоваться для возврата диапазонов от функций. Представьте себе следующий пример:

auto make_range(std::vector<int> v) -> decltype(???) 
{ 
    return v | filter([](int x){ return x % 2 == 0;}) 
     | transform([](int x){ return x * 2;}); 
} 

*: НКУ не компилируется выше, не окружив его std::function, Хауэр лязг 3.2 работает непосредственно передавая лямбда

Это очень трудно понять, что возвращается из эта функция. Кроме того, lambda and decltype не работают вместе, поэтому мы не можем выводить тип, используя decltype при прохождении только лямбда.Одним из решений является использование boost::any_range, как в вашем примере (другой обходной путь заключается в использовании std::function как отметил Evgeny Panasyuk в комментариях):

integer_range make_range(std::vector<int> v) 
{ 
    return v | filter([](int x){ return x % 2 == 0;}) 
     | transform([](int x){ return x * 2;}); 
} 

Рабочий пример with gcc использованием std::function.

Рабочий пример with clang Прохождение lambdas напрямую.