>>操作符重載函數無限遞歸

Question

我爲我的大學作業寫了一個理性的類。

class Rational 
{ 
    friend std::istream &operator >>(std::istream &, const Rational &); 
    friend std::ostream &operator <<(std::ostream &, const Rational &); 
public: 
    ... 
private: 
    int numerator; 
    int denominator; 
} 

istream &operator >>(istream &istm, const Rational &num){ 
    istm>>num.numerator>>num.denominator; 
    return istm; 
} 

但是>>重載函數似乎循環無限。然後核心轉儲...

我很快發現我已經添加了「const」給Ratoinal & num意外。

我的問題是，爲什麼

istm>>num.numerator>>num.denominator; 

編譯成功，但成爲一個無限循環？

，並請解釋以下結果......感謝

const int i; 
cin>>i; //compile error 

int c; 
const int &a=c; 
cin>>a; //pass 

Answer 1

您還沒有表現出所有類的，但我猜想，以下是發生

class Rational 
{ 
    friend std::istream& operator>>(std::istream&, const Rational&); 
    friend std::ostream& operator<<(std::ostream&, const Rational&); 
public: 
    Rational(int num); 
    ... 
private: 
    int numerator; 
    int denominator; 
}; 

istream& operator>>(istream& istm, const Rational& num) 
{ 
    istm >> Rational(num.numerator) >> Rational(num.denominator); 
    return istm; 
} 

假設您的Rational類有一個一個參數的構造函數接受一個int，那麼你的operator >>版本，錯誤地接受一個const參數，將隱式地從分子和分母創建Rational對象。結果無限循環。我已經將Rational構造函數調用添加到上面的運算符中，以清楚地說明發生了什麼。

這個例子顯示了當你有一個參數構造函數時，在類型之間進行自動轉換的危險。您可以使用關鍵字explicit將其禁用。

explicit Rational(int num); 

，但我想在這種情況下，你可能想要自動轉換從int到理性的大部分時間。