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

我提到过让一个类支持隐式类型转换通常不是一个好主意。当然，这个规则也有一些例外。最常见的是在创建数值类型时。例如，如果你设计一个类来表示有理数，那么允许从整数到有理数的隐式转换似乎也不是不合理的。这不比C++内置类型从int到double的转换更不合理(也比C++内置类型从double到int的转换合理得多)。在这种情况下，您可以这样开始您的Rational类:

类理性{

公共:

Rational(int分子= 0，// ctor故意不显式；

int分母= 1)；//允许隐式int-to-Rational

//转换

int分子()常量；//分子和的访问器

int分母()const//分母-见第22项

私人:

...

};

你知道应该支持加法、乘法等算术运算，但不确定应该通过成员函数还是非成员函数，或者非成员的朋友来实现。你的直觉告诉你，当你不确定的时候，你应该坚持面向对象。知道了这一点就意味着有理数的乘法与有理类有关，所以在有理类内部实现有理数的运算符*似乎更正常。与直觉相反，将函数放在它们所关联的类中的想法有时与面向对象的原则背道而驰，但是让我们把它放在一边，研究一下使用operator*作为Rational的成员函数的想法:

类理性{

公共:

...

const Rational运算符*(const Rational & RHS)const；

};

(如果您不确定为什么要这样声明这个函数——它返回一个const by-value的结果，但是保存一个对const的引用作为它的参数。)

这种设计使您可以轻松地将有理数相乘:

有理八分之一(1，8)；

有理二分之一(1，2)；

有理结果=二分之一*八分之一；// fine
result = result *八分之一；//好吧