为什么从C ++ 11中删除了对范围访问？

如何解决为什么从C ++ 11中删除了对范围访问？

| 我只是发现，在某个时候，C ++ 11草案对

std::pair

具有

std::begin

/

std::end

重载，从而允许将一对迭代器视为适用于基于范围的for循环的范围（N3126，第20.3.5.5节），但这已被删除。 有谁知道为什么要删除它？ 我发现删除非常不幸，因为似乎没有其他方法可以将一对迭代器视为一个范围。确实： 在基于范围的for循环中begin / end的查找规则说，begin / end在1）中作为范围对象的成员函数进行查找2）作为“关联名称空间”中的自由函数

std::pair

没有开始/结束成员功能 通常，ѭ4的唯一关联名称空间是名称空间std 不允许我们为

std::pair

超载

std::begin

/

std::end

我们不能将

std::begin

/

std::end

专门化为

std::pair

（因为专业化必须是局部的，而函数则不允许这样做） 还有其他我想念的方式吗？     

解决方法

        我认为，Alisdair Meredith于2009年发表的论文“ Pairs do n't good range”至少是答案的一部分。基本上，许多算法返回实际上不保证为有效范围的迭代器对。因此，似乎他们从for-range循环中删除了对

pair<iterator,iterator>

的支持。但是，建议的解决方案尚未完全采用。 如果确定某些迭代器确实代表一个有效范围，则可以将它们包装到提供begin（）/ end（）成员函数的自定义类型中：

template<class Iter>
struct iter_pair_range : std::pair<Iter,Iter> {
    iter_pair_range(std::pair<Iter,Iter> const& x)
    : std::pair<Iter,Iter>(x)
    {}
    Iter begin() const {return this->first;}
    Iter end()   const {return this->second;}
};

template<class Iter>
inline iter_pair_range<Iter> as_range(std::pair<Iter,Iter> const& x)
{ return iter_pair_range<Iter>(x); }

int main() {
    multimap<int,int> mm;
    ...
    for (auto& p : as_range(mm.equal_range(42))) {
       ...
    }
}

（未试） 我同意这有点疣。返回有效范围的函数（如equal_range）应使用适当的返回类型声明。我们不得不通过类似于上面的

as_range

进行手动确认，这有点尴尬。     ,        您可以使用

boost::make_iterator_range

。 它使用

begin()

和

end()

方法构造一个iterator_range。

boost::make_iterator_range

可以接受

std::pair

的迭代器。     ,        使用c ++ 11优化扩展上述答案：

#include <utility>

template<class Iter>
struct range_t : public std::pair<Iter,Iter> {
    using pair_t = std::pair<Iter,Iter>;
    range_t(pair_t&& src)
    : std::pair<Iter,Iter>(std::forward<pair_t>(src))
    {}

    using std::pair<Iter,Iter>::first;
    using std::pair<Iter,Iter>::second;

    Iter begin() const { return first; }
    Iter end() const { return second; }
};

template<class Iter>
range_t<Iter> range(std::pair<Iter,Iter> p) {
    return range_t<Iter>(std::move(p));
}

template<class Iter>
range_t<Iter> range(Iter i1,Iter i2) {
    return range_t<Iter>(std::make_pair(std::move(i1),std::move(i2)));
}


// TEST: 

#include <iostream>
#include <set>
using namespace std;

int main() {

    multiset<int> mySet { 6,4,5,3,67,8,89,7,45,3 };

    cout << \"similar elements: \";
    for (const auto&i : range(mySet.lower_bound(5),mySet.upper_bound(10))) {
        cout << i << \",\";
    }
    cout << \"\\n\";

    int count = 0,sum = 0;
    for (const auto& i: range(mySet.equal_range(5)))
    {
        ++count;
        sum += i;
    }
    cout << \"5 appears \" << count << \" times\\n\"
    << \"the sum is \" << sum << \"\\n\";

return 0;
}