十一、 C++特性之begin()与end()

非成员begin()和end()

也许你注意到了，我在前面的例子中已经用到了非成员begin()和end()函数。他们是新加入标准库的，除了能提高了代码一致性，还有助于更多 地使用泛型编程。它们和所有的STL容器兼容。更重要的是，他们是可重载的。所以它们可以被扩展到支持任何类型。对C类型数组的重载已经包含在标准库中 了。

我们还用上一个例子中的代码来说明，在这个例子中我打印了一个数组然后查找它的第一个偶数元素。如果std::vector被替换成C类型数组。代码可能看起来是这样的：

int arr[] = {1,2,3}; 
std::for_each(&arr[0], &arr[0]+sizeof(arr)/sizeof(arr[0]), [](int n) {std::cout << n << std::endl;});

auto is_odd = [](int n) {return n%2==1;}; 
auto begin = &arr[0]; 
auto end = &arr[0]+sizeof(arr)/sizeof(arr[0]); 
auto pos = std::find_if(begin, end, is_odd); 
if(pos != end) 
    std::cout << *pos << std::endl; 

如果使用非成员的begin()和end()来实现，就会是以下这样的：

int arr[] = {1,2,3}; 
std::for_each(std::begin(arr), std::end(arr), [](int n) {std::cout << n << std::endl;}); 

auto is_odd = [](int n) {return n%2==1;}; 
auto pos = std::find_if(std::begin(arr), std::end(arr), is_odd); 
if(pos != std::end(arr)) 
    std::cout << *pos << std::endl;  

这基本上和使用std::vecto的代码是完全一样的。这就意味着我们可以写一个泛型函数处理所有支持begin()和end()的类型。

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

template <typename Iterator> 
void bar(Iterator begin, Iterator end) 
{ 
    std::for_each(begin, end, [](int n) {std::cout << n << std::endl;}); 

    auto is_odd = [](int n) {return n%2==1;};//返回满足条件的n 
    auto pos = std::find_if(begin, end, is_odd);// 
    if(pos != end) 
        std::cout <<"满足条件的第一奇数是："<< *pos << std::endl; 
} 

template <typename C> 
void foo(C c) 
{ 
    bar(std::begin(c), std::end(c)); 
} 

template <typename T, size_t N> 
void foo(T(&arr)[N]) 
{ 
    bar(std::begin(arr), std::end(arr)); 
} 


int main()
{
    int arr[] = {10,12,13}; 
    foo(arr); 

    std::vector<int> v; 
    v.push_back(4); 
    v.push_back(5); 
    v.push_back(6); 
    foo(v); 
    return 0;
}

输出：