Przeciążenie operatora << i rekurencji

Question

Próbowałem następujący kod:

#include <iostream> 
using std::cout; 
using std::ostream; 

class X 
{ 
public: 
    friend ostream& operator<<(ostream &os, const X& obj) 
    { 
     cout << "hehe";   // comment this and infinite loop is gone 
     return (os << obj); 
    } 
}; 

int main() 
{ 
    X x; 
    cout << x; 
    return 0; 
} 

Kiedy skompilować & uruchomić ten, to zgodnie z oczekiwaniami; nieskończona pętla. Jeśli usuniemy instrukcję cout wewnątrz funkcji znajomego, rekursja się nie stanie. Dlaczego tak jest?

Answer 1

Optymalizator decyduje, że cała pozostała aktywność nie ma wpływu i optymalizuje ją. Niezależnie od tego, czy jest to dobre czy złe, to inna sprawa.

W szczególności:

X x; 

tworzy pusty obiekt "x"

cout << x; 

połączenia:

return (os << obj); 

który jest dołączanie pusty obiekt; kompilator zauważa, że ​​"os" nie rozrósł się od ostatniego połączenia i nie ma obietnicy, że robi to dalej (i nic więcej się nie dzieje), więc decyduje, że cała firma jest zbędna i może zostać obcięta w tym momencie.

W przypadku wywołania

cout << "hehe";   // comment this and infinite loop is gone 

jest jakaś dodatkowa aktywność więc optymalizator nie usuwa następujące połączenia.

Zgaduję, że jeśli zainicjowałeś x z czymkolwiek niepustym lub wykonałeś inną niż zerowa aktywność inną niż cout << "hehe";, powtarzałbyś, że rekursja działa tak samo.

Answer 2

W obu przypadkach (z lub bez pisania „hehe”) Visual Studio 2005 daje następujące ostrzeżenie:

warning C4717: 'operator<<' : recursive on all control paths, function will cause runtime stack overflow 

w obu przypadkach kompiluje iw obu przypadkach daje przepełnienie stosu.

Jednak bez "hehe" przepełnienie stosu występuje nieco wcześniej.