operator*() 和 operator->()

最新推荐文章于 2021-03-04 17:59:24 发布

ganso

最新推荐文章于 2021-03-04 17:59:24 发布

阅读量5.2k

点赞数

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： iterator reference object class null

本文链接：https://blog.youkuaiyun.com/ganso/article/details/1547512

C++ 专栏收录该内容

0 篇文章

订阅专栏

本文探讨了《STL源码剖析》中迭代器的实现原理，特别是operator*和operator->的重载方式。通过对比不同实现，解释了为何选择通过operator*间接获取指针的方法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

最近在看侯捷的《STL源码剖析》，在实现iterator的时候，肯定要重载*和->。比如__deque_iterator里面的这两个操作符重载如下：

reference operator*() const { return *cur; }

pointer operator->() const { return &(operator*()); }

我一直觉得STL的源码很美，但这里我却有个疑问。为什么operator->()要这样实现，而不是简单的return cur;

我在VC8自带的头文件里面看到了这样的实现：

reference operator*() const
{    // return designated object
    size_type _Block = _Myoff / _DEQUESIZ;
    size_type _Off = _Myoff & (_DEQUESIZ - 1);    // assume power of 2
    _SCL_SECURE_VALIDATE(this->_Mycont != NULL);
    _SCL_SECURE_VALIDATE_RANGE(_Myoff < ((_Mydeque *)(this->_Mycont))->_Myoff + ((_Mydeque *)(this->_Mycont))->_Mysize);
    if (this->_Mycont->_Mapsize <= _Block)
        _Block -= this->_Mycont->_Mapsize;
    return ((this->_Mycont->_Map)[_Block][_Off]);
}

pointer operator->() const
{    // return pointer to class object
    return (&**this);
}

先不用去研究operator*()的具体实现，但是可以看到operator->()的实现也很独特，其实就是在(*this)上调用operator*()，再对其返回值取地址。

我想这样做也有原因，大概是为了统一吧。一般说来在operator->()中调用operator*()再取地址，应该没有什么错，我们不必在operator->()再去访问其底层实现。比如在VC8的版本中，operator*()的实现不是非常的直观简单，也许operator->()要访问其底层实现也会这么复杂，又不统一，又容易出错。

由此STL这样的代码就是很合理了。