Có bất kỳ trường hợp nào cảnh báo C4172 Visual C++ không nên được coi là lỗi không?

Question

Có C4172 Cảnh báo Visual C++ cho các trường hợp khi hàm trả về địa chỉ của một địa phương hoặc tạm thời hoặc tham chiếu đến biến cục bộ.

Something như thế này:

int& fun() 
{ 
    int var; 
    return var; //C4172 
} 

Bây giờ có vẻ như nó là một ý tưởng tốt để sử dụng #pragma warning để làm cho Visual C++ đối xử với C4172 như lỗi và phá vỡ biên dịch.

Có bất kỳ tình huống sane nào mà C4172 không thực sự là lỗi không?

Answer 1

Tôi không chắc chắn lý do tại sao bất cứ ai đã bao giờ muốn làm điều này:

int * stackTester() 
{ 
    int dummy; 
    return &dummy; 
} 

bool stackGoesUp() 
{ 
    int dummy; 
    return stackTester() > &dummy; 
} 

Nhưng nói chung, bạn nên đối xử với những cảnh báo như một lỗi.

Answer 2

Đây là cảnh báo cấp 1, rất khó bỏ qua. Nhưng trình biên dịch theo tiêu chuẩn ngôn ngữ ở đây, gọi UB là không bị cấm. Và nó là một lỗi rất phổ biến mà thường xuyên đến một kết thúc tốt đẹp. Vị trí ngăn xếp được trỏ đến vẫn ổn định miễn là bạn không thực hiện bất kỳ cuộc gọi chức năng nào.

Cách tốt nhất để giải quyết vấn đề này là luôn luôn biến cảnh báo thành lỗi. Biên dịch với/WX, "Hãy coi cảnh báo là lỗi" trong IDE. Nếu sau đó bạn cố ý muốn ngăn chặn một cảnh báo thì cảnh báo #pragma làm cho mọi người biết rằng có điều gì đó đáng sợ đang xảy ra và không phải là một tai nạn.

Answer 3

mã không sử dụng

class base 
{ 
    virtual blah& makeBlah() 
} 

class red : public base 
{ 
    blah& makeBlah() { return blah(); } // there are no red blahs, never called 
} 

class blue : public base 
{ 
    blah& makeBlah() { actual code to make a blah } 
}