C++ từ khóa ảo vs chức năng ghi đè

Question

Tôi đang học C++ và đang học về từ khóa ảo. Tôi đã lùng sục internet cố gắng hiểu nó vô ích. Tôi đã đi vào trình soạn thảo của tôi và đã làm thử nghiệm sau đây, hy vọng nó sẽ in ra thông báo cơ sở hai lần (vì tôi đã theo ấn tượng rằng từ khóa ảo là cần thiết để ghi đè lên các hàm). Tuy nhiên, nó in ra hai thông điệp khác nhau. Ai đó có thể giải thích cho tôi tại sao chúng ta cần từ khóa ảo nếu chúng ta có thể chỉ đơn giản là ghi đè lên các hàm và dường như vẫn có hành vi đa hình? Có lẽ ai đó có thể giúp tôi và những người khác trong tương lai hiểu được ảo so với việc ghi đè. (Kết quả tôi nhận được là "Tôi là cơ sở", tiếp theo là "Tôi là nguồn gốc").

#include <iostream> 

using namespace std; 
class Base{ 
public: 
    void printMe(){ 
     cout << "I am the base" << endl; 
    } 
}; 
class Derived: public Base{ 
public: 
    void printMe(){ 
     cout << "I am the derived" << endl; 
    } 
}; 
int main() { 
    Base a; 
    Derived b; 
    a.printMe(); 
    b.printMe(); 
    return 0; 
} 

Answer 1

Hãy xem ví dụ sau. Dòng quan trọng để minh họa nhu cầu cho virtual và override là c->printMe();. Lưu ý rằng loại c là Base*, tuy nhiên do đa hình, nó có thể gọi chính xác phương thức ghi đè từ lớp dẫn xuất.

#include <iostream> 

class Base{ 
public: 
    virtual void printMe(){ 
     std::cout << "I am the base" << std::endl; 
    } 
}; 

class Derived: public Base{ 
public: 
    void printMe() override { 
     std::cout << "I am the derived" << std::endl; 
    } 
}; 

int main() { 
    Base a; 
    Derived b; 
    a.printMe(); 
    b.printMe(); 
    Base* c = &b; 
    c->printMe(); 
    return 0; 
} 

Đầu ra là

I am the base 
I am the derived 
I am the derived 

Answer 2

Bạn không nhìn thấy hành vi ở đây vì bạn đã tuyên bố b là loại Derived quá trình biên dịch biết những gì các chức năng để sử dụng. Để lộ lý do tại sao virtual là cần thiết mà bạn cần phải trộn mọi thứ lên:

int main() { 
    Base a; 
    Base *b = new Derived(); 

    a.printMe(); 
    b->printMe(); 

    delete b; 

    return 0; 
} 

Bây giờ b là loại Base* có nghĩa là nó sẽ sử dụng các chức năng trên Base cộng bất cứ điều gì trong bảng chức năng ảo. Điều này phá vỡ việc triển khai của bạn. Bạn có thể sửa lỗi bằng cách khai báo chính xác mọi thứ virtual.

Answer 3

Với mã mà bạn có, nếu bạn làm điều này

Derived derived; 
Base* base_ptr = &derived; 
base_ptr->printMe(); 

Bạn nghĩ gì sẽ xảy ra? Nó sẽ không in ra I am the derived vì phương pháp này không phải là ảo và công văn được thực hiện tắt loại tĩnh của đối tượng gọi (ví dụ: Base). Nếu bạn thay đổi nó thành ảo thì phương thức được gọi sẽ phụ thuộc vào kiểu động của đối tượng chứ không phải kiểu tĩnh.

Answer 4

override là một từ khóa mới được thêm vào trong C++ 11.

Bạn nên sử dụng nó vì:

• trình biên dịch sẽ kiểm tra nếu một lớp cơ sở có chứa một virtual phương pháp phù hợp. Điều này là quan trọng vì một số lỗi đánh máy trong tên phương thức hoặc trong danh sách các đối số của nó (quá tải được cho phép) có thể dẫn đến ấn tượng rằng một cái gì đó đã bị ghi đè khi nó thực sự không.

• nếu bạn sử dụng override cho một phương pháp, trình biên dịch sẽ báo cáo lỗi nếu phương pháp khác bị ghi đè mà không sử dụng từ khóa override. Điều này giúp phát hiện các ghi đè không mong muốn khi xảy ra xung đột biểu tượng.

• virtual không có nghĩa là "ghi đè". Trong lớp học doent sử dụng "ghi đè" từ khóa hơn để ghi đè lên một phương pháp bạn chỉ có thể viết phương pháp này bỏ qua "ảo" từ khóa, ghi đè sẽ xảy ra ngầm.Các nhà phát triển đã viết virtual trước C++ 11 để cho biết ý định ghi đè của họ. Đơn giản chỉ cần đặt virtual có nghĩa là: phương pháp này có thể được ghi đè trong một lớp con.