c++ - STL 算法 : Why no additional interface for containers (additional to iterator pairs)?

Question

我想知道为什么 STL 不会重载它们的算法函数，这样我就可以通过简单地提供一个容器而不是采用更冗长的方式来传递 begin + end 迭代器来调用它们。我当然理解为什么我们还想使用迭代器对来处理容器/数组的子序列，但是，几乎所有对这些方法的调用都使用了整个容器:

std::for_each(myVector.begin(), myVector.end(), doSomething);

我会发现只写更方便、可读和可维护

std::for_each(myVector, doSomething);

STL 不提供这些重载是否有原因？ [编辑:我的意思不是用这个受限的接口(interface)替换接口(interface)，而是也提供一个基于容器的 iterface!] 他们会引入歧义吗？我正在考虑这样的事情:

template<typename _Container, typename _Funct>
inline _Funct for_each(_Container c, _Funct f) {
    return for_each(begin(c), end(c), f);
}

我错过了什么吗？

Answer 1

他们确实为许多算法引入了歧义。很多<algorithm>看起来像

template<class iterator>
void do_something(iterator, iterator);

template<class iterator, class funct>
void do_something(iterator, iterator, funct);

如果你添加额外的重载

template<class container, class funct>
void do_something(container, funct);

编译器在识别 do_something(x, y) 时会遇到一些麻烦。方法。 如果 x和 y是相同的 type ，它将同时匹配 iterator = type和 container = type, funct = type . ^*)

C++11 试图用 "concepts" 解决这个问题。这可以识别容器和迭代器之间的区别。然而，事实证明这些“概念”过于复杂，无法将其纳入标准，因此这些重载也没有。

^*) 编译器在这里不同意，Comeau 编译器声称它是模棱两可的，g++ 4.5 和 MSVC 10 调用第一个函数。

---

在评论中进行了非常长时间的讨论后，这里有一个示例，它无法按预期工作 - 使用也可以兼作谓词的容器适配器。

#include <iostream>
#include <vector>

template<class iterator>
void test(iterator, iterator)
{
   std::cout << "test iterator\n";
}

template<class iterator, class predicate>
void test(iterator, iterator, predicate)
{
   std::cout << "test iterator, predicate\n";
}

template<class container, class predicate>
void test(const container& cont, predicate compare)
{
   std::cout << "test container, predicate\n";

   test(cont.begin(), cont.end(), compare);
}

template<class container>
class adapter
{
public:
   typedef typename container::iterator   iterator;

   adapter(container* cont) : cont(cont)
   { }

   iterator begin() const
   { return cont->begin(); }

   iterator end() const
   { return cont->end(); }

   bool operator()(const iterator& one, const iterator& two)
   { return *one < *two; }

private:
   container* cont;
};

int main()
{
   std::vector<int>   v;

   adapter<std::vector<int>>   a(&v);

   test(a, a);

}

输出:

test iterator

http://ideone.com/wps2tZ