今天在看list的时候遇到了下面同样的问题:
在stl的List中 begin 是这样的iterator begin() { return (link_type)((*node).next); }
我想知道 编译器自动对于 like_type 进行转化了吗。 iterator 是一个类,link_type只是类里面一个成员变量,怎么直接就能把返回值的link_type 转化为 iterator了呢。。。。里面还有那么多方法呢
回复:
你确定是成员变量而不是类型吗?看清楚点,明显是一个typedef出来的东西,怎么可能是成员变量。这里返回的是节点指针,iterator类别里可能会有类型转换。
源码:
template<class T, class Ref, class Ptr>
struct __list_iterator {
typedef __list_iterator<T, T&, T*> iterator;
typedef __list_iterator<T, const T&, const T*> const_iterator;
typedef __list_iterator<T, Ref, Ptr> self;
typedef bidirectional_iterator_tag iterator_category;
typedef T value_type;
typedef Ptr pointer;
typedef Ref reference;
typedef __list_node<T>* link_type;
typedef size_t size_type;
typedef ptrdiff_t difference_type;
link_type node;
__list_iterator(link_type x) : node(x) {}
__list_iterator() {}
__list_iterator(const iterator& x) : node(x.node) {}
bool operator==(const self& x) const { return node == x.node; }
bool operator!=(const self& x) const { return node != x.node; }
reference operator*() const { return (*node).data; }
#ifndef __SGI_STL_NO_ARROW_OPERATOR
pointer operator->() const { return &(operator*()); }
#endif /* __SGI_STL_NO_ARROW_OPERATOR */
self& operator++() {
node = (link_type)((*node).next);
return *this;
}
self operator++(int) {
self tmp = *this;
++*this;
return tmp;
}
self& operator--() {
node = (link_type)((*node).prev);
return *this;
}
self operator--(int) {
self tmp = *this;
--*this;
return tmp;
}
};
明白了。。。。
__list_iterator(link_type x) : node(x) {} 应该是这个复制转换