Tại sao tôi nên sử dụng dynamic_cast để truyền tới khoảng trống *?

Question

Vì vậy, tôi đã được đọc những câu trả lời cho dynamic_cast from "void *" và mặc dù bạn không thể đúc từ một void * đến một T * số các phản ứng chỉ ra rằng nó có thể cast một T * đến một void *, nhưng không đưa ra bất cứ dấu hiệu tại sao bạn muốn làm điều đó.

Đây có phải là một chút thông tin có thể xảy ra hoặc có trường hợp nào hợp lý không? Tôi nghĩ về có thể cho dễ đọc hoặc để làm cho nó rõ ràng rằng chúng tôi đang chuyển đổi sang một void *, nhưng với mục đích của dynamic_cast, nó không phù hợp rất tốt với tôi.

Vì lý do đó, có lý do gì để làm bất cứ điều gì khác ngoài việc để T * trở thành void * hoàn toàn không? Tôi đã nhìn thấy phôi kiểu C đến void * được sử dụng theo thời gian cho mục đích này, tôi giả sử chỉ để được rõ ràng (giả sử chúng tôi không làm một cái gì đó bất thường như đúc int cho một con trỏ hoặc một cái gì đó).

Answer 1

Trước tiên, khi sử dụng dynamic_cast<void*>(x), bạn sẽ nhận được một con trỏ tới byte đầu tiên của đối tượng được xuất phát nhiều nhất. Miễn là loại tĩnh của x là đa hình.

Điều này có thể hữu ích trong một số ít các kịch bản, nơi địa chỉ đóng vai trò như nhận dạng đối tượng:

• bây giờ bạn có một cách để phân biệt đầy đủ các con trỏ tới subobjects của cùng một đối tượng từ con trỏ để subobjects không liên quan.
• bây giờ bạn có thể đi bộ một số biểu đồ xoắn mà không cần truy cập cùng một đối tượng nhiều lần ... có thể được sử dụng cho serialization.

Cấp, điều này chắc chắn không phải là một sử dụng hàng ngày , nhưng trong C++ địa chỉ bộ nhớ là một định danh de-facto cho các đối tượng, do đó, một cơ chế để truy cập nó từ bất cứ phần nào của hệ thống phân cấp thừa kế chắc chắn là hữu ích cho những trường hợp ít cạnh đó.

Answer 2

Có một mục đích cho điều này, được. Nó được ám chỉ trong một phần của spec cho phép nó. Từ N3337, phần 5.2.7, khoản 7:

If T is “pointer to cv void,” then the result is a pointer to the most derived object pointed to by v.

Vì vậy, một dynamic_cast<void*>(...) thực sự là viết tắt cho static_cast<void*>(dynamic_cast<MostDerivedType*>(...)). Và điều đó sẽ hữu ích ... loại.

Khó khăn trong việc làm cho nó hữu ích là bạn không nhất thiết phải biết những gì MostDerivedType là. Sau khi tất cả, nó có thể khác nhau cho mỗi biểu thức. Vì vậy, một khi bạn có nó như là một void*, bạn không nhất thiết phải có một cách để đúc nó trở lại một cách an toàn. Nếu bạn đoán được khoảng MostDerivedType và chỉ static_cast nó và bạn đang sai, thì bạn đang ở trong vùng hành vi chưa được xác định. Trong khi nếu bạn làm dynamic_cast cho loại đó (sau đó static_cast đến void*), nó sẽ ít nhất trả về NULL nếu nó không thuộc loại đó.

Vì vậy, không, tôi sẽ nói rằng nó không phải là rất hữu ích. Không phải nếu bạn muốn sống trong ranh giới của C++ và không dựa vào hành vi có khả năng không xác định.