Thực hiện C++ Cast

Question

Tôi đã đi qua một số mã trong CodeProject và đi qua mã sau đây cho đúc C++.

template <class OutputClass, class InputClass> 
union horrible_union{ 
    OutputClass out; 
    InputClass in; 
}; 
template <class OutputClass, class InputClass> 
inline OutputClass horrible_cast(const InputClass input){ 
    horrible_union<OutputClass, InputClass> u; 
    u.in = input; 
    return u.out; 
} 

Tại sao dàn diễn viên được triển khai ở trên. Tại sao chúng ta không thể làm một dàn diễn viên thủ công. Ai đó có thể đưa ra một ví dụ về khi một diễn viên bình thường sẽ không hoạt động?

Answer 1

Phương pháp này về cơ bản cho phép bạn thoát khỏi bất kỳ diễn viên nào, mặc dù nó dựa trên hành vi không xác định.

Một diễn viên bình thường sẽ phàn nàn khi truyền giữa các loại không liên quan, trong khi điều này thì không.

struct A{}; 
struct B{}; 

template <class OutputClass, class InputClass> 
union horrible_union{ 
    OutputClass out; 
    InputClass in; 
}; 
template <class OutputClass, class InputClass> 
inline OutputClass horrible_cast(const InputClass input){ 
    horrible_union<OutputClass, InputClass> u; 
    u.in = input; 
    return u.out; 
} 

int main() 
{ 
    A a; 
    B b; 
    a = horrible_cast<A,B>(b); //this compiles 
    a = reinterpret_cast<A>(b); //this doesn't 
} 

Tóm lại: thật kinh khủng, đừng làm điều đó.

Answer 2

Sử dụng công đoàn theo cách này nói chung tương đương với một số cứng reinterpret_cast của con trỏ. Tuy nhiên, điều đó không sao chép các đối tượng, ví dụ của bạn làm (hai lần ngay cả với RVO, trên thực tế, nó sẽ là khá hiệu quả hơn để có const InputClass& input làm đối số). Vì vậy, bạn có thể trực tiếp hoạt động trên kết quả của nó mà không có khả năng đột biến đối tượng gốc.

Chính xác điều này hữu ích cho ... hm. Tôi không nghĩ rằng có bất kỳ trường hợp sử dụng thực sự tốt, không nên kiểm tra phôi, và như David Hammen nhận xét điều này là thực sự hoàn toàn không xác định (mặc dù nó thường sẽ làm việc, nếu sử dụng "chính xác").