c++ - begin() 和 end() 函数不应该是模板类 Vector 的成员函数吗？

Question

In page 82 of the draft of Chapter 3 : A Tour of C++: Abstraction Mechanisms作者写道:

If we also want to use the range-for loop for our Vector, we must define suitable begin() and end() functions:

template<typename T>
T∗ begin(Vector<T>& x)
{
    return &x[0]; // pointer to first element
}

template<typename T>
T∗ end(Vector<T>& x)
{
    return x.begin()+x.size(); // pointer to one-past-last element
}

鉴于这些，我们可以写:

void f2(const Vector<string>& vs) // Vector of some strings
{
    for (auto s : vs)
        cout << s << ’\n’;
}

请注意，类模板 Vector 是在草案的第 81 页中定义的。

Answer 1

要使基于范围的 for 工作，编译器需要找到合适的函数来获取迭代器。

• 如果使用的类型是类，它将首先在该类的范围内查找成员函数 begin 和 end。

• 如果类型不是类或没有这样的成员函数，它将通过Argument Dependent Lookup. 查找它们。

这就是基于范围的 for 在 C 数组上起作用的原因。显然，数组不能有成员函数，所以标准库提供了两个类似定义的函数:

template<typename T, size_t N>
T* begin( T(&array)[N] )
{
    return array;
}

end 也是如此。

从标题回答你的问题:它们可以，但这不是必需的。您可以在与您的类相同的命名空间中定义自由函数，它们将被找到。