quá tải << nhà điều hành và đệ quy

Question

Tôi đã thử các mã sau:

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

Khi tôi biên dịch & chạy này, nó như mong đợi; một vòng lặp vô hạn. Nếu tôi xóa câu lệnh cout bên trong chức năng bạn bè, việc đệ quy sẽ không xảy ra. Tại sao nó như vậy?

Answer 1

Trình tối ưu hóa quyết định tất cả hoạt động còn lại của bạn không có hiệu lực và tối ưu hóa nó đi. Cho dù đúng hay sai là một vấn đề khác.

Đặc biệt:

X x; 

tạo rỗng đối tượng "x"

cout << x; 

cuộc gọi:

return (os << obj); 

được phụ thêm đối tượng rỗng; các thông báo trình biên dịch 'os' đã không phát triển bất kỳ kể từ cuộc gọi cuối cùng và cho thấy không có lời hứa làm như vậy nữa (và không có gì khác xảy ra) vì vậy nó quyết định toàn bộ doanh nghiệp là dư thừa và có thể được cắt ngắn vào thời điểm này.

Trong trường hợp bạn gọi

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

có một số hoạt động phụ nên các ưu không loại bỏ các cuộc gọi tiếp theo.

Tôi đoán nếu bạn đã khởi tạo x với bất kỳ thứ gì không trống hoặc đã thực hiện bất kỳ hoạt động nào khác không phải là, bạn sẽ có đệ quy chạy giống nhau.

Answer 2

Trong cả hai trường hợp (có và không có văn bản "hehe") Visual Studio 2005 cung cấp cho các cảnh báo sau đây:

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

Trong cả hai trường hợp nó biên dịch và trong cả hai trường hợp nó mang lại một chồng tràn.

Tuy nhiên, không có "hehe", luồng tràn ngăn xếp xảy ra sớm hơn một chút.