Implementazione di C++ Cast

Question

Stavo passando un po 'di codice in CodeProject e ho trovato il seguente codice per il cast di 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; 
} 

Perché il cast ha implementato il modo sopra descritto. Perché non possiamo semplicemente fare un cast manuale. Qualcuno può dare un esempio di quando un cast normale non funzionerebbe?

Answer 1

Questo approccio consente in sostanza di superare qualsiasi cast, anche se si basa su un comportamento non definito.

Un cast normale si lamenterebbe quando si esegue il cast tra tipi non correlati, mentre questo non lo farebbe.

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 
} 

Bottom line: è orribile, non farlo.

Answer 2

L'utilizzo di un'unione in questo modo è in genere equivalente a una punta di puntatori reinterpret_cast. Tuttavia, questo non copia gli oggetti, il tuo esempio lo fa (due volte anche con RVO, infatti, sarebbe piuttosto più efficiente avere const InputClass& input come argomento). In questo modo puoi operare direttamente sul suo risultato senza eventualmente modificare l'oggetto originale.

Che cosa è esattamente utile per ... hm. Non penso che ci sia davvero un buon caso d'uso, i cast non controllati dovrebbero sempre essere evitati, e come ha osservato David Hammen, questo è in realtà completamente indefinito (anche se normalmente funzionerà, se usato "correttamente").