Casting - Tại sao tôi nên làm điều đó cho Upcasting

Question

Tôi đã đọc một số chủ đề khác trên trang web này, và chúng đề cập đến cách dynamic_cast và static_cast đều an toàn cho upcasting.

Tại sao những yêu cầu này lại được yêu cầu cho upcasting?

Ví dụ, nếu lớp B có nguồn gốc từ A, sau đó

A * ptr = new B(); 

vẫn hoạt động, và cư xử như một đối tượng của loại A. (Tôi cũng từ một nền tảng Java, nơi chuyển đổi cho upcasting là không cần thiết.

tôi cũng đọc trên trang web này mà dynamic_cast là không cần thiết cho downcasting [trong câu hỏi "When should static_cast, dynamic_cast, const_cast and reinterpret_cast be used?"] . Một lần nữa, tôi sẽ nghĩ rằng đúc là chỉ thực sự cần thiết khi bạn đang downcasting từ upcasting xảy ra tự động.

Tôi đang ở đâu sai?

Answer 1

Nếu bạn có phân cấp thừa kế phức tạp, hành vi upcast mặc định có thể không hoạt động. Hãy xem xét ví dụ:

struct A {}; 
struct B : A {}; 
struct C : A {}; 
struct D : B, C {}; 

Trong hệ thống cấp bậc mà một đối tượng kiểu D có hai cơ sở khác nhau của loại A. Chuyển đổi từ D* sang A* không rõ ràng. Đối với loại trường hợp, bạn có thể buộc phải trải qua một bước trung gian

A *p = static_cast<B*>(d); // Give me the 'A' subobject within 'B' 

Tương tự như vậy, nếu có một chức năng với nhiều quá tải mà có thể mất một trong hai cơ sở hoặc các loại có nguồn gốc và bạn cần phải gọi phiên bản lấy cơ sở loại (lưu ý: mã mùi ở đây!) sau đó bạn có thể sử dụng các diễn viên để trực tiếp quá tải độ phân giải. Một lần nữa, nếu bạn cần phải trực tiếp giải quyết quá tải, bạn có thể làm điều gì đó sai trái.

Ngoài các trường hợp góc (tức làkhi bị ném lên trời mặc định không hoạt động) có thực sự là không có lý do để sử dụng một cách rõ ràng hoạt động diễn viên, và tôi sẽ thực sự tư vấn chống lại nó, như phôi phải là một ánh sáng cảnh báo và lạm dụng chúng có thể làm cho họ bình thường và không nâng báo động khi đọc mã.

Answer 2

Tại sao những yêu cầu này lại được yêu cầu cho upcasting?

Họ không phải là, và sử dụng chúng cho upcasts là (IMHO) sai lệch: không có dàn diễn viên được yêu cầu vì một lý do: logic, một đối tượng lớp con là-một thể hiện của lớp cha.

Tóm lại, tôi sẽ không khuyến khích các chương trình phát sóng rõ ràng. Đối với những người khăng khăng rằng tôi đòi hỏi sự nhất quán ít nhất: sử dụng upcasts rõ ràng ở khắp mọi nơi, kể cả trong initialisations:

A * ptr{static_cast<A*>(new B)}; 

Hầu hết mọi người sẽ đồng ý rằng đây chỉ là ngớ ngẩn.

Answer 3

Trong trường hợp đa thừa kế (Java thực sự không có), bạn có thể điều chỉnh con trỏ "this" của bạn. Trong trường hợp đó một reinterpret_cast không an toàn, đó là những gì họ đang cố gắng nhấn mạnh bằng cách nói rằng static_cast và dynamic_cast là an toàn.

Là một lưu ý nhỏ, trong một cuộc điều tra trong một codebase được chuyển sang Android-without-dynamic_cast, tôi đã tìm thấy 127 dynamic_casts, trong đó 122 không thực sự cần thiết. Đây là mã được viết bởi những người đã được OK rất thành thạo trong C++.