|
我談到讓一個類支持隱式類型轉換通常是一個不好的主意。當然，這條規則有一些例外，最普通的一種就是在創建數值類型時。例如，如果你設計一個用來表現有理數的類，允許從整數到有理數的隱式轉換看上去并非不合理。這的確不比 C++ 的內建類型從 int 到 double 的轉換更不合理（而且比 C++ 的內建類型從 double 到 int 的轉換合理得多）。在這種情況下，你可以用這種方法開始你的 Rational 類：
class Rational {
public:
Rational(int numerator = 0, // ctor is deliberately not explicit;
int denominator = 1); // allows implicit int-to-Rational
// conversions
int numerator() const; // accessors for numerator and
int denominator() const; // denominator - see Item 22
private:
...
};
你知道你應該支持類似加，乘等算術運算，但是你不確定你應該通過成員函數還是非成員函數，或者，非成員的友元函數來實現它們。你的直覺告訴你，當你拿不準的時候，你應該堅持面向對象。你知道這些，于是表示，有理數的乘法與 Rational 類相關，所以在 Rational 類內部為有理數實現 operator* 似乎更加正常。與直覺不符，將函數放置在它們所關聯的類的內部的主意有時候與面向對象的原則正好相反，但是讓我們將它放到一邊，來研究一下將 operator* 作為 Rational 的一個成員函數的主意：
class Rational {
public:
...
const Rational operator*(const Rational& rhs) const;
};
�。ㄈ绻悴荒艽_定為什么這個函數聲明為這個樣子——返回一個 const by-value 的結果，卻持有一個 reference-to-const 作為它的參數。）
這個設計讓你在有理數相乘時不費吹灰之力：
Rational oneEighth(1, 8);
Rational oneHalf(1, 2);
Rational result = oneHalf * oneEighth; // fine
result = result * oneEighth; // fine
但是你并不感到滿意。你還希望支持混合模式的操作，以便讓 Rationals 能夠和其它類型（例如，int）相乘。畢竟，很少有事情像兩個數相乘那么正常，即使它們碰巧是數字的不同類型。
|
