STL如何用相同的函数返回2个迭代器？

Question

我注意到vector.begin（）会根据左边给出的内容返回一个const迭代器或者一个迭代器。由于赋予函数的参数是相同的，因此如何实现这样的功能。

由于

Answer 1

它的返回型基于是否载体本身正在通过const引用（或指针）访问或没有。此外，iterator可以隐式转换为const_iterator，这就是为什么这样的工作原因：std::vector<T> v; std::vector<T>::const_iterator it = v.begin();。

Answer 2

begin()和end()超载对*this的常量性，是这样的：

iterator begin(); 
const_iterator begin() const; 

iterator end(); 
const_iterator end() const; 

Answer 3

他们超载的成员函数的常量性：

struct Foo 
{ 
    int bar() { return 1; } 
    int bar() const { return 2; } 
}; 

int main() 
{ 
    Foo a; 
    const Foo b; 
    assert(a.bar() == 1); 
    assert(b.bar() == 2); 
}