Überlastung Operator << und Rekursion

Question

ich den folgenden Code versucht:

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

Als ich & laufen diese kompilieren, ist es wie erwartet; eine Endlosschleife. Wenn ich die cout Anweisung innerhalb der Friend-Funktion entferne, tritt die Rekursion nicht auf. Wieso ist es so?

Answer 1

Optimizer entscheidet, dass alle Ihre verbleibenden Aktivitäten keine Auswirkungen haben und optimiert sie. Ob es richtig oder falsch ist, ist eine andere Sache.

Insbesondere:

X x; 

schafft leeres Objekt "x"

cout << x; 

Anrufe:

return (os << obj); 

die leer Objekt anhängt; Der Compiler bemerkt, dass "os" seit dem letzten Aufruf nicht gewachsen ist und keine weiteren Versprechen mehr gibt (und nichts anderes passiert), so dass es entscheidet, dass das ganze Geschäft überflüssig ist und an dieser Stelle abgeschnitten werden kann.

Im Fall rufen Sie

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

gibt es einige zusätzliche Aktivität so der Optimierer nicht den folgenden Aufruf nicht entfernt.

Ich denke, wenn Sie x mit etwas nicht-leer initialisiert haben, oder eine andere als Null-Aktivität als cout << "hehe"; durchgeführt, würden Sie Rekursion genau das gleiche ausführen.

Answer 2

In beiden Fällen (mit und ohne „hehe“ schreiben) Visual Studio 2005 gibt die folgende Warnung:

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

In beiden Fällen ist es kompiliert und in beiden Fällen gibt es einen Stapelüberlauf.

Ohne den "hehe" tritt der Stapelüberlauf jedoch etwas früher auf.