常量版和非常量版成员函数

时间：2014.03.15

地点：基地

----------------------------------------------------------------

一、使用原则

  当成员函数的返回值为一个指向类型的指针或引用时，通常要提供两个版本的成员函数：常量版返回const Type* 或const Type& ，普通版返回普通指针或引用。由常量版返回的是一个指针或引用指向一个常量对象，我们不能够依靠它来对对象进行修改，而普通版返回的是普通指针或引用，可依靠它来对对象修改。

----------------------------------------------------------------

二、为什么要这么做和这么做的好处

在实现一个类时，我们有时会碰到如下情况，比如在链表中，我们需要得到链接域的副本，这是我们并不对链接域进行修改，于是通过一个常量成员函数去检索,，如下：

node* link() const {return link_field;}

这样编译会成功，但这样实现与常量成员函数的编程技巧冲突，我们知道，常量成员函数的目的就是防止修改对象数据，但这里，我们返回的是一个普通指针，虽然是个常量成员函数，但返回结果是个普通指针，我们照样可通过修改指针来修改数据。这触碰了我们的编程原则即：我们不能利用常量成员函数的结果去修改数据信息。如此，如果你确实想通过成员函数获得的指针或引用达到你的修改目的，那干脆不用常量成员函数，把这中需求普通化；

node* link() {return link_field;}

这样就明确表达了你的设计意图，即允许通过这个普通版的成员函数获得一个指针去修改相关信息。

但这样做又有问题了，假设你的节点是一个常量节点，const node* c，这样它是只能调用常量成员的，于是对于上述实现，就不能调用c->link()。解决这个问题的办法是你还得提供一个常量版的link()成员函数。实现如下：

const node* link() const{return link_field;}

于是你就可以使用c->link()了。

普通版和常量版的实现的函数体部分是相同的，都是返回link_field，但对于常量版来说，编译器会将link_field的类型转换为const node* ，这样你就不能用这样的返回值去修改数据信息了。

----------------------------------------------------------------

三、设计思路总结

  先是需求，我们需要一个这样的类，但是他得具体对象可能是普通对象也可能是常量对象，对于常量对象而言，它是只能调用常量成员函数的，然而我们实现成这样

node* link() const {return link_field;}

通过该函数返回的值依然可以对数据做修改，这样我们不期望的，我们需要这样

const node* link() const{return link_field;}

它返回一个常量指针，如此便安全了，但如果是个普通对象，我们希望返回的是一个普通指针，可用它来对数据做些修改，那么我们还需要这样

node* link() {return link_field;}

让它返回普通指针，如此达到目的。

总之，因为对象有普通对象和常量对象之分，所以返回的指针（引用）我们也要有普通指针（引用）和常量指针（引用）之分，另外由于常量对象只能调用常量成员函数，所以还要实现为常量成员函数，而对于普通对象调用的那个函数来说，函数常量不常量无所谓了，但最好是不常量，以表达你的清晰的设计意图。