chức năng Overriding trong C++ không hoạt động

Question

#include <cstdio> 
using namespace std; 

class A { 
public: 
    virtual void func() { printf("A::func()"); } 
}; 

class B : public A { 
public: 
    virtual void func() { printf("B::func()"); } 
}; 

int main() { 
    A a = *(A *)new B(); 
    a.func(); 
} 

Câu hỏi đặt ra rất đơn giản: tại sao a->func() gọi hàm trong lớp A mặc dù a chứa đối tượng của lớp B?

Answer 1

A a = *(A *)new B(); 
a.func(); 

Đây là những gì xảy ra trong mã này, từng bước:

• new B(): đối tượng mới loại B được phân bổ trên cửa hàng miễn phí, dẫn đến địa chỉ
• (A*): địa chỉ của đối tượng được đúc thành A*, vì vậy chúng tôi trỏ đến một đối tượng thuộc loại B, hợp lệ. Tất cả ok.
• A a: tại đây sự cố bắt đầu. Một đối tượng địa phương mới loại A được tạo trên ngăn xếp và được tạo bằng cách sử dụng hàm tạo bản sao A::A(const A&), với đối tượng đầu tiên là đối tượng được tạo trước đó.
• Con trỏ đến đối tượng gốc loại B bị mất sau tuyên bố này, dẫn đến rò rỉ bộ nhớ, vì nó được cấp phát trên cửa hàng miễn phí với new.
• a.func() - phương pháp được gọi trên đối tượng (địa phương) của lớp A.

Nếu bạn thay đổi mã để:

A& a = *(A*) new B(); 
a.func(); 

sau đó chỉ có một đối tượng sẽ được xây dựng, con trỏ của nó sẽ được chuyển đổi sang con trỏ kiểu A*, sau đó dereferenced và tham chiếu mới sẽ được khởi tạo với địa chỉ này. Cuộc gọi của hàm ảo sau đó sẽ được giải quyết động theo số B::func().

---

Nhưng hãy nhớ, bạn vẫn sẽ cần phải giải phóng các đối tượng vì nó đã được phân bổ với new:

delete &a; 

Trong đó, bằng cách này, chỉ sẽ được chính xác nếu A có một destructor ảo , đó là yêu cầu mà B :: ~ B() (may mắn là có sản phẩm nào ở đây, nhưng nó không cần phải trong trường hợp chung) cũng sẽ được gọi. Nếu A không có một destructor ảo, sau đó bạn sẽ cần phải giải phóng nó bằng cách:

delete (B*)&a; 

---

Nếu bạn muốn sử dụng một con trỏ, thì đó là giống như với các tài liệu tham khảo. Mã số:

A* a = new B(); // actually you don't need an explicit cast here. 
a->func(); 
delete (B*)a; // or just delete a; if A has a virtual destructor. 

Answer 2

Vấn đề bạn gặp phải là cổ điển object slicing:

A a = *(A *)new B(); 

Hãy a hoặc là một tham chiếu hoặc con trỏ đến A, và công văn ảo sẽ làm việc như bạn mong đợi. Xem this other question để biết thêm giải thích.

---

Bạn đã nhận xét về câu trả lời khác rằng "Trình biên dịch ít nhất phải đưa ra cảnh báo hoặc những gì". Đây là lý do tại sao nó được coi là một thực hành tốt để làm cho các lớp cơ sở hoặc trừu tượng của không thể sao chép: mã ban đầu của bạn sẽ không có biên soạn ở nơi đầu tiên.

Answer 3

Bây giờ bạn đã sửa đổi đoạn mã của mình, vấn đề là rõ ràng. Tính đa hình (tức là các hàm ảo) chỉ được gọi thông qua con trỏ và tham chiếu. Bạn không có trong số này. A a = XXX không chứa đối tượng thuộc loại B, nó chứa đối tượng thuộc loại A. Bạn đã "cắt đi" các B -ness của đối tượng bằng cách làm con trỏ đó cast và dereference.

Nếu bạn làm A *a = new B();, thì bạn sẽ nhận được hành vi mong đợi.

Answer 4

Điều này có thể làm điều đó.

A &a = *(A *)new B(); 
a.func(); 

Hoặc

A *a = new B(); 
a->func(); 

Answer 5

ảo công văn chỉ làm việc với con trỏ hoặc tham chiếu loại:

#include <cstdio> 
using namespace std; 

class A { 
public: 
    virtual void func() { printf("A::func()"); } 
}; 

class B : public A { 
public: 
    virtual void func() { printf("B::func()"); } 
}; 

int main() { 
    A* a = new B(); 
    a->func(); 
} 

Answer 6

Vấn đề là sự lựa chọn và truyền B đến A với A a = * (A *) mới B();

Bạn có thể sửa lỗi bằng cách xóa * (A *) thay đổi thành (A * a = new B();) nhưng tôi sẽ tiến thêm một bước nữa vì tên biến của bạn không tốt cho việc khởi tạo B

. Nó phải là

B *b = new B(); 
b->func(); 

Answer 7

Bởi vì bạn thực hiện cắt khi bạn sao chép các đối tượng được cấp phát động vào đối tượng a loại A (mà cũng đã cho bạn một rò rỉ bộ nhớ).

a phải là tham chiếu (A&) thay vào đó, hoặc chỉ giữ con trỏ.