8787.htm
来自「C++细节解释」· HTM 代码 · 共 96 行
HTM
96 行
<HTML>
<HEAD>
<meta http-equiv='Content-Type' content='text/html; charset=gb2312'>
<style >
.fst{padding:0px 15px;width:770px;border-left:0px solid #000000;border-right:0px solid #000000}
.fstdiv3 img{border:0px;border-right:8px solid #eeeecc;border-top:6px solid #eeeecc}
</style>
<title>
Effective C++ 2e Item19
</title>
</HEAD>
<BODY >
<center>
<div align=center><div class=fst align=left><div class=fstdiv3 id=print2>
<p><b>
Effective C++ 2e Item19</b></p>
<p>条款19: 分清成员函数，非成员函数和友元函数</p>
<p>成员函数和非成员函数最大的区别在于成员函数可以是虚拟的而非成员函数不行。所以，如果有个函数必须进行动态绑定（见条款38），就要采用虚拟函数，而虚拟函数必定是某个类的成员函数。关于这一点就这么简单。如果函数不必是虚拟的，情况就稍微复杂一点。</p>
<p>看下面表示有理数的一个类：</p>
<p>class rational {<br>public:<br> rational(int numerator = 0, int denominator = 1);<br> int numerator() const;<br> int denominator() const;</p>
<p>private:<br> ...<br>};</p>
<p>这是一个没有一点用处的类。（用条款18的术语来说，接口的确最小，但远不够完整。）所以，要对它增加加，减，乘等算术操作支持，但是，该用成员函数还是非成员函数，或者，非成员的友元函数来实现呢？</p>
<p>当拿不定主意的时候，用面向对象的方法来考虑！有理数的乘法是和rational类相联系的，所以，写一个成员函数把这个操作包到类中。</p>
<p>class rational {<br>public:</p>
<p> ...</p>
<p> const rational operator*(const rational& rhs) const;<br>};</p>
<p>（如果你不明白为什么这个函数以这种方式声明——返回一个const值而取一个const的引用作为它的参数——参考条款21-23。）</p>
<p>现在可以很容易地对有理数进行乘法操作：</p>
<p>rational oneeighth(1, 8);<br>rational onehalf(1, 2);</p>
<p>rational result = onehalf * oneeighth; // 运行良好</p>
<p>result = result * oneeighth; // 运行良好</p>
<p>但不要满足，还要支持混合类型操作，比如，rational要能和int相乘。但当写下下面的代码时，只有一半工作：</p>
<p>result = onehalf * 2; // 运行良好</p>
<p>result = 2 * onehalf; // 出错!</p>
<p>这是一个不好的苗头。记得吗？乘法要满足交换律。</p>
<p>如果用下面的等价函数形式重写上面的两个例子，问题的原因就很明显了：</p>
<p>result = onehalf.operator*(2); // 运行良好</p>
<p>result = 2.operator*(onehalf); // 出错!</p>
<p>对象onehalf是一个包含operator*函数的类的实例，所以编译器调用了那个函数。而整数2没有相应的类，所以没有operator*成员函数。编译器还会去搜索一个可以象下面这样调用的非成员的operator*函数（即，在某个可见的名字空间里的operator*函数或全局的operator*函数）：</p>
<p>result = operator*(2, onehalf); // 错误!</p>
<p>但没有这样一个参数为int和rational的非成员operator*函数，所以搜索失败。</p>
<p>再看看那个成功的调用。它的第二参数是整数2，然而rational::operator*期望的参数却是rational对象。怎么回事？为什么2在一个地方可以工作而另一个地方不行？</p>
<p>秘密在于隐式类型转换。编译器知道传的值是int而函数需要的是rational，但它也同时知道调用rational的构造函数将int转换成一个合适的rational，所以才有上面成功的调用（见条款m19）。换句话说，编译器处理这个调用时的情形类似下面这样：</p>
<p>const rational temp(2); // 从2产生一个临时<br> // rational对象</p>
<p>result = onehalf * temp; // 同onehalf.operator*(temp);</p>
<p>当然，只有所涉及的构造函数没有声明为explicit的情况下才会这样，因为explicit构造函数不能用于隐式转换，这正是explicit的含义。如果rational象下面这样定义：</p>
<p>class rational {<br>public:<br> explicit rational(int numerator = 0, // 此构造函数为<br> int denominator = 1); // explicit<br> ...</p>
<p> const rational operator*(const rational& rhs) const;</p>
<p> ...</p>
<p>};</p>
<p>那么，下面的语句都不能通过编译：</p>
<p>result = onehalf * 2; // 错误!<br>result = 2 * onehalf; // 错误!</p>
<p>这不会为混合运算提供支持，但至少两条语句的行为一致了。</p>
<p>然而，我们刚才研究的这个类是要设计成可以允许固定类型到rational的隐式转换的——这就是为什么rational的构造函数没有声明为explicit的原因。这样，编译器将执行必要的隐式转换使上面result的第一个赋值语句通过编译。实际上，如果需要的话，编译器会对每个函数的每个参数执行这种隐式类型转换。但它只对函数参数表中列出的参数进行转换，决不会对成员函数所在的对象（即，成员函数中的*this指针所对应的对象）进行转换。这就是为什么这个语句可以工作：</p>
<p>result = onehalf.operator*(2); // converts int -> rational</p>
<p>而这个语句不行：</p>
<p>result = 2.operator*(onehalf); // 不会转换<br> // int -> rational</p>
<p>第一种情形操作的是列在函数声明中的一个参数，而第二种情形不是。</p>
<p>尽管如此，你可能还是想支持混合型的算术操作，而实现的方法现在应该清楚了：使operator*成为一个非成员函数，从而允许编译器对所有的参数执行隐式类型转换：</p>
<p>class rational {</p>
<p> ... // contains no operator*</p>
<p>};</p>
<p>// 在全局或某一名字空间声明，<br>// 参见条款m20了解为什么要这么做<br>const rational operator*(const rational& lhs,<br> const rational& rhs)<br>{<br> return rational(lhs.numerator() * rhs.numerator(),<br> lhs.denominator() * rhs.denominator());<br>}</p>
<p>rational onefourth(1, 4);<br>rational result;</p>
<p>result = onefourth * 2; // 工作良好<br>result = 2 * onefourth; // 万岁, 它也工作了!</p>
<p>这当然是一个完美的结局，但还有一个担心：operator*应该成为rational类的友元吗？</p>
<p>这种情况下，答案是不必要。因为operator*可以完全通过类的公有（public）接口来实现。上面的代码就是这么做的。只要能避免使用友元函数就要避免，因为，和现实生活中差不多，友元（朋友）带来的麻烦往往比它（他/她）对你的帮助多。</p>
<p>然而，很多情况下，不是成员的函数从概念上说也可能是类接口的一部分，它们需要访问类的非公有成员的情况也不少。</p>
<p>让我们回头再来看看本书那个主要的例子，string类。如果想重载operator>>和operator<<来读写string对象，你会很快发现它们不能是成员函数。如果是成员函数的话，调用它们时就必须把string对象放在它们的左边：</p>
<p>// 一个不正确地将operator>>和<br>// operator<<作为成员函数的类<br>class string {<br>public:<br> string(const char *value);</p>
<p> ...</p>
<p> istream& operator>>(istream& input);<br> ostream& operator<<(ostream& output);</p>
<p>private:<br> char *data;<br>};</p>
<p>string s;</p>
<p>s >> cin; // 合法, 但<br> // 有违常规</p>
<p>s << cout; // 同上</p>
<p>这会把别人弄糊涂。所以这些函数不能是成员函数。注意这种情况和前面的不同。这里的目标是自然的调用语法，前面关心的是隐式类型转换。</p>
<p>所以，如果来设计这些函数，就象这样：</p>
<p>istream& operator>>(istream& input, string& string)<br>{<br> delete [] string.data;</p>
<p> read from input into some memory, and make string.data<br> point to it</p>
<p> return input;<br>}</p>
<p>ostream& operator<<(ostream& output,<br> const string& string)<br>{<br> return output << string.data;<br>}</p>
<p>注意上面两个函数都要访问string类的data成员，而这个成员是私有（private）的。但我们已经知道，这个函数一定要是非成员函数。这样，就别无选择了：需要访问非公有成员的非成员函数只能是类的友元函数。</p>
<p>本条款得出的结论如下。假设f是想正确声明的函数，c是和它相关的类：</p>
<p>·虚函数必须是成员函数。如果f必须是虚函数，就让它成为c的成员函数。</p>
<p>·operator>>和operator<<决不能是成员函数。如果f是operator>>或operator<<，让f成为非成员函数。如果f还需要访问c的非公有成员，让f成为c的友元函数。</p>
<p>·只有非成员函数对最左边的参数进行类型转换。如果f需要对最左边的参数进行类型转换，让f成为非成员函数。如果f还需要访问c的非公有成员，让f成为c的友元函数。</p>
<p>·其它情况下都声明为成员函数。如果以上情况都不是，让f成为c的成员函数。<br>
</p>
</DIV></div></div>
</center></BODY></HTML>
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?