Tại sao mã sau không tạo cảnh báo trong MSVC

Question

Tôi có một phần mã có thể được tóm tắt như sau;

void MyFunc() 
{ 
    int x; 
' 
' 
    x; 
' 
' 
} 

Tôi đã nghĩ rằng chỉ đơn giản là tham chiếu một biến, mà không sửa đổi nó hoặc sử dụng giá trị của nó trong anyway sẽ tạo ra một cảnh báo. Trong VS2003 nó không phải, và tôi cần lint để nhặt nó lên.

Tôi nhận ra nó không ảnh hưởng đến thực thi, nhưng vì nó là một đoạn mã không làm gì cả, và lập trình viên không có ý định làm gì đó, tại sao nó không bị gắn cờ?

Tương tự như vậy, bạn mong đợi x = x là cảnh báo?

Chỉnh sửa: Câu hỏi đã sửa đổi, vì đây là một ứng cử viên tốt cho cảnh báo nhưng không phải là lỗi. Trả lời cho thấy điều này được xử lý tốt hơn với các trình biên dịch khác. Sẽ thử VS2008 sau và đăng kết quả.

Answer 1

Bạn cần phải sử dụng một trình biên dịch tốt hơn :-) Biên soạn với Wall và cờ -pedantic, GCC C++ biên dịch cho mã này:

int main() { 
    int x = 0; 
    x; 
} 

tạo chẩn đoán này:

ma.cpp:3: warning: statement has no effect 

Answer 2

Mã như vậy có thể xảy ra trong một lớp mẫu cho mục đích lập trình meta. Ví dụ, nó có thể là một số loại kiểm tra xem x có thể truy cập được từ ngữ cảnh hiện tại hay không. Có, nó không ảnh hưởng đến kết quả của việc thực hiện , nhưng nó ảnh hưởng đến kết quả của việc biên soạn ; điều này có thể trợ giúp cho các kỹ thuật như SFINAE.

Dường như, nó cũng không giúp biên soạn. Các cơ quan Funciton không tính để chọn mẫu thích hợp cho một cuộc gọi hàm. Và để kiểm tra khả năng truy cập trong phạm vi của một lớp, bạn phải sử dụng toán tử using cho các tên phụ thuộc; chính nhà điều hành using này là kiểm tra trợ năng.

Vì vậy, mã x; thực sự không có hiệu lực.

Answer 3

Bạn mong muốn một cảnh báo trừ khi bạn cast biểu thức để làm mất hiệu lực, ví dụ:

void MyFunc() 
{ 
    int x; 

    (void)x; 

} 

cảnh báo gì mức độ nào bạn đã thiết lập?

Answer 4

Cả hai đơn biến báo cáo (ví dụ như x;) và tự chuyển nhượng (như x = x) là mã hợp lệ trong C++, vì vậy trình biên dịch không thể đánh dấu chúng như các lỗi, nhưng một tốt trình biên dịch là tất nhiên được phép đưa ra một cảnh báo rằng họ không có bất kỳ hiệu ứng, và có thể là những sai lầm của các lập trình viên. Ví dụ, trình biên dịch g ++ đưa ra cảnh báo "tuyên bố không có hiệu lực" cho x;.