Sử dụng chức năng ảo trong con sau khi đúc hoạt động trong C++

Question

Tôi có đoạn mã sau:

class A 
{ 
}; 

class B : public A 
{ 
    public: 
     virtual void f() {} 
}; 

int main() 
{ 
    A* a = new A(); 
    B* b = static_cast<B*>(a); 
    b->f(); 
} 

Chương trình này không thành công với một lỗi segmentation. Có hai giải pháp để thực hiện chương trình làm việc này:

1. tuyên bố f phi ảo
2. không gọi b-> f() (tức là nó không thất bại vì các diễn viên)

Tuy nhiên , cả hai đều không phải là một lựa chọn. Tôi giả định rằng điều này không hoạt động vì một tra cứu trong vtable.

(Trong chương trình thực tế, A cũng không có chức năng ảo. Ngoài ra, chức năng ảo không được gọi trong constructor.)

Có cách nào để làm cho công việc chương trình này?

Answer 1

Bạn không thể làm điều đó vì đối tượng bạn tạo là A, không B. cast của bạn là invalid-- một đối tượng của A (tạo ra với mới) không thể kỳ diệu trở thành một đối tượng của B.

Bạn có có nghĩa là A * a = new A() thực sự là A * a = new B()? Trong trường hợp đó, tôi hy vọng nó sẽ hoạt động.

Answer 2

Để thực hiện static_cast, bạn phải chắc chắn rằng đối tượng có thể được đúc, tức là đối tượng của lớp B.

Trong trường hợp này, tôi chắc chắn rằng nó không phải là.

Answer 3

Bạn không thể làm điều đó.

Trong ví dụ của bạn, một là một đối tượng của lớp A. Không B. Đúc nó đến B không làm cho nó một B.

Nếu bạn muốn sử dụng hành vi đối tượng đa hình, sau đó bạn có thể cung cấp chức năng ảo f đến lớp A, và bạn có thể sử dụng mã như A* a = new B(); Sau đó, bạn có thể sử dụng các chức năng ảo thông qua một con trỏ để có được hành vi từ lớp B.

Answer 4

Trong mã của bạn:

A* a = new A(); 

bạn tạo một đối tượng A. Sau đó, bạn cố gắng sử dụng static_cast để đi từ một loại cơ sở để một loại hình xuất phát:

B* b = static_cast<B*>(a); 

Nếu giá trị trong a chỉ vào một đối tượng mà thực sự là loại B, đây sẽ là hợp pháp và được hình thành. Nhưng a không trỏ đến một đối tượng thuộc loại B, nó trỏ đến một A, do đó, diễn viên gợi lên hành vi không xác định.

Khắc phục là thay đổi cách bạn khởi tạo đối tượng. Thay đổi:

A* a = new A(); 

... để:

A* a = new B();