C++箴言：聲明為非成員函數(shù)時機

我談到讓一個類支持隱式類型轉(zhuǎn)換通常是一個不好的主意。當然，這條規(guī)則有一些例外，最普通的一種就是在創(chuàng)建數(shù)值類型時。例如，如果你設計一個用來表現(xiàn)有理數(shù)的類，允許從整數(shù)到有理數(shù)的隱式轉(zhuǎn)換看上去并非不合理。這的確不比 C++ 的內(nèi)建類型從 int 到 double 的轉(zhuǎn)換更不合理（而且比 C++ 的內(nèi)建類型從 double 到 int 的轉(zhuǎn)換合理得多）。在這種情況下，你可以用這種方法開始你的 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:
    　...
    };
    你知道你應該支持類似加，乘等算術運算，但是你不確定你應該通過成員函數(shù)還是非成員函數(shù)，或者，非成員的友元函數(shù)來實現(xiàn)它們。你的直覺告訴你，當你拿不準的時候，你應該堅持面向?qū)ο?。你知道這些，于是表示，有理數(shù)的乘法與 Rational 類相關，所以在 Rational 類內(nèi)部為有理數(shù)實現(xiàn) operator* 似乎更加正常。與直覺不符，將函數(shù)放置在它們所關聯(lián)的類的內(nèi)部的主意有時候與面向?qū)ο蟮脑瓌t正好相反，但是讓我們將它放到一邊，來研究一下將 operator* 作為 Rational 的一個成員函數(shù)的主意：
    class Rational {
    public:
    ...
    const Rational operator*(const Rational& rhs) const;
    };
    （如果你不能確定為什么這個函數(shù)聲明為這個樣子——返回一個 const by-value 的結(jié)果，卻持有一個 reference-to-const 作為它的參數(shù)。）
    這個設計讓你在有理數(shù)相乘時不費吹灰之力：
    Rational oneEighth(1, 8);
    Rational oneHalf(1, 2);
    Rational result = oneHalf * oneEighth; // fine
    result = result * oneEighth; // fine