使用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

这种技术称为Type Erasure.有一篇完整的文章描述了以下例子的优缺点any_iterator:关于面向对象和C++中的泛型编程之间的张力.

可以隐藏(在单独的文件/库中)的实现/定义

void display_integers(const integer_range& rng)

但在这种情况下

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

您必须向用户提供源代码(或至少在某处进行显式实例化).

而且,在第一种情况下,display_integers将只编译一次,但在第二种情况下,它将针对传递范围的每种类型进行编译.

此外,你可能在某个地方

integer_range rng;

在rng你的生命周期中你可以为它分配不同类型的范围:

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

类型擦除的最大缺点是其运行时成本; 所有操作都是虚拟的,无法内联(轻松).

PS另一个着名的类型擦除示例是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;});
}

*:gcc不编译上面而不包含它std::function,hower clang 3.2通过直接传递lambda来工作

很难知道从这个函数返回什么.此外,lambda和decltype不能一起工作,因此我们不能decltype在仅传递lambda时使用类型推断.一种解决方案是使用boost::any_range类似于您的示例中的一个(另一种解决方法是使用Evgeny Panasyuk在评论中std::function指出的):

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

例如工作用gcc使用std::function.

clang直接传递lambdas的工作示例.