Tại sao phương thức gọi thông qua con trỏ null "làm việc" trong C++?

Question

thể trùng lặp:
Calling class method through NULL class pointer

#include <iostream> 
using namespace std; 
class test 
{ 
    int i; 
public: 
    test():i(0){ cout << "ctor called" << endl;} 
    void show() 
    { 
     cout<<"show fun called"<<endl; 
    } 
}; 

int main(int argc , char *argv[]) 
{ 
    test *ptr = NULL; 
    ptr->show(); 
    return 0; 
} 

rõ ràng, không có ctor sẽ được gọi. Đây có phải là tiêu chuẩn này không? hoặc chỉ một số tối ưu hóa trình biên dịch vì con trỏ này không được sử dụng trong hàm thành viên show()?

Answer 1

Con trỏ không cần thiết để gọi phương thức. Loại con trỏ được biết, do đó, mã cho phương thức này được biết. Phương pháp này không sử dụng this, do đó, nó chạy mã tốt. Đó là hành vi không xác định, nhưng nó hiệu quả hơn không để kiểm tra nếu con trỏ là NULL, do đó, nó chạy.

Answer 2

Nó không hợp lệ, hành vi không xác định và kết quả thực tế phụ thuộc vào trình biên dịch của bạn.

Answer 3

Vâng, trước hết, nó không hợp lệ vì nó gọi hành vi không xác định. Bạn đang thực sự hỏi tại sao trình biên dịch lại cho phép nó, và câu trả lời là bởi vì đó là mã đầu xương mà đơn giản sẽ không xảy ra trong một ứng dụng thực sự, vậy tại sao lại bận tâm? Vấn đề thực sự xảy ra khi con trỏ được thực hiện không hợp lệ khi chạy theo cách không thể dự đoán được bằng phân tích mã tĩnh.

Trình biên dịch không có ở đó để giữ tay bạn, nó ở đó để biên dịch mã của bạn theo tiêu chuẩn. Nếu nó cung cấp cảnh báo hữu ích sau đó tuyệt vời, nhưng không có gì là cú pháp hoặc ngữ nghĩa bất hợp pháp ở đó, bạn chỉ đơn giản là viết mã mà nguyên nhân hành vi không xác định.

Answer 4

Nếu bạn nhìn vào lắp ráp (cho ít nhất một trình biên dịch), bạn có thể thấy lý do tại sao nó chạy (mặc dù nó là hành vi không xác định như nhiều người đã chỉ ra). Đối với hai dòng sau:

test *ptr = NULL; 
ptr->show(); 

lắp ráp này được tạo ra (trong một trình biên dịch Tôi chỉ cố gắng):

00000004: C7 45 FC 00 00 00 mov   dword ptr [ebp-4],0 
      00 
0000000B: 8B 4D FC   mov   ecx,dword ptr [ebp-4] 
0000000E: E8 00 00 00 00  call  ?show@test@@QAEXXZ 

Nó đẩy NULL (0) trên stack và gọi phương thức từ địa chỉ của phương thức này độc lập với cá thể đối tượng thực tế.