<< operador y recursividad

Question

He probado el siguiente código:

#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; 
} 

Cuando compilo & plazo esto, es como se esperaba; un bucle infinito Si elimino la declaración cout dentro de la función de amigo, la recursión no ocurre. ¿Por que es esto entonces?

Answer 1

El optimizador decide que toda la actividad restante no tiene ningún efecto y la optimiza. Si es correcto o incorrecto es un asunto diferente.

En particular:

X x; 

crea objeto vacío "x"

cout << x; 

llamadas:

return (os << obj); 

que está anexando objeto vacío; el compilador nota que 'os' no ha crecido desde la última llamada y no muestra ninguna promesa de hacerlo más (y nada más sucede) por lo que decide que todo el negocio es redundante y se puede truncar en este punto.

En caso de que llaman

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

hay alguna actividad extra para que el optimizador no elimina la siguiente llamada.

supongo que si ha inicializado x con cualquier cosa que no esté vacío, o después de realizar cualquier actividad que no sea nulo que no sea cout << "hehe";, tendría recursividad funcionamiento de la misma.

Answer 2

En ambos casos (con y sin escribir "jeje") Visual Studio 2005 dicta la siguiente advertencia:

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

En ambos casos se compila y en ambos casos se da un desbordamiento de pila.

Sin embargo, sin el "jeje", el desbordamiento de pila ocurre un poco antes.