GCC cảnh báo về dereference ngầm

Question

Tôi chỉ cần chạy qua cảnh báo sau đây trong GCC:

warning: implicit dereference will not access object of type ‘volatile util::Yield’ in statement [enabled by default] 

khi biên dịch mã này:

volatile util::Yield y1; 
util::Yield y2; 
y1 += y2; // <--- Warning triggered here. 

và tiếc là tôi không hoàn toàn hiểu những gì GCC đang cố gắng để nói tôi ...

Lợi nhuận của lớp được khai báo như sau:

class Yield { 
public: 
    Yield(); 

    Yield &operator+=(Yield const &other); 
    Yield &operator+=(Yield const volatile &other); 
    Yield volatile &operator+=(Yield const &other) volatile; 
    Yield volatile &operator+=(Yield const volatile &other) volatile; 

    // Other operators snipped... 
}; 

Bất kỳ ý tưởng nào?

Cảm ơn!

Answer 1

Từ hướng dẫn GCC, Section 6.1 - When is a Volatile Object Accessed?

Khi sử dụng một tham chiếu đến biến động, G ++ không đối xử với biểu thức tương đương như truy cập đến các chất bay hơi, nhưng thay vì đưa ra một cảnh báo rằng không dễ bay hơi được truy cập. Lý do cho điều này là nếu không sẽ trở nên khó khăn để xác định nơi truy cập dễ bay hơi xảy ra, và không thể bỏ qua giá trị trả về từ các hàm trả về các tham chiếu dễ bay hơi. Một lần nữa, nếu bạn muốn ép buộc đọc, hãy đưa tham chiếu đến một giá trị.

Cảnh báo xuất phát từ thực tế rằng + = toán tử trả về một tài liệu tham khảo đến một đối tượng không ổn định, và rằng biểu thức 'y1 + y2 =' bỏ qua rằng giá trị trả về. Trình biên dịch cho bạn biết rằng tham chiếu sẽ không thực sự bị hủy tham chiếu (tức là giá trị dễ bay hơi sẽ không được đọc).