C++箴言：声明为非成员函数时机

　　但是你并不感到满意。你还希望支持混合模式的操作，以便让 Rationals 能够和其它类型（例如，int）相乘。毕竟，很少有事情像两个数相乘那么正常，即使它们碰巧是数字的不同类型。

　　当你试图做混合模式的算术运算时，可是，你发现只有一半时间它能工作：

result = oneHalf * 2; // fine

result = 2 * oneHalf; // error!

　　这是一个不好的征兆。乘法必须是可交换的，记得吗？

　　当你重写最后两个例子为功能等价的另一种形式时，问题的来源就变得很明显了：

result = oneHalf.operator*(2); // fine

result = 2.operator*(oneHalf); // error!

　　对象 oneHalf 是一个包含 operator* 的类的实例，所以编译器调用那个函数。然而，整数 2 与类没有关系，因而没有 operator* 成员函数。编译器同样要寻找能如下调用的非成员的 operator*s（也就是说，在 namespace 或全局范围内的 operator*s）：

result = operator*(2, oneHalf); // error!

　　但是在本例中，没有非成员的持有一个 int 和一个 Rational 的 operator*，所以搜索失败。

　　再看一眼那个成功的调用。你会发现它的第二个参数是整数 2，然而 Rational::operator* 却持有一个 Rational 对象作为它的参数。这里发生了什么呢？为什么 2 在一个位置能工作，在其它地方却不行呢？

　　发生的是隐式类型转换。编译器知道你传递一个 int 而那个函数需要一个 Rational，但是它们也知道通过用你提供的 int 调用 Rational 的构造函数，它们能做出一个相配的 Rational，这就是它们的所作所为。换句话说，它们将那个调用或多或少看成如下这样：

const Rational temp(2); // create a temporary

// Rational object from 2

result = oneHalf * temp; // same as oneHalf.operator*(temp);

　　当然，编译器这样做仅仅是因为提供了一个非显性的构造函数。如果 Rational 的构造函数是显性的，这些语句都将无法编译：