>>操作符重载函数无限递归

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到理性的大部分时间。