9
è sicuroÈ reinterpretato il cast dal vettore dei puntatori al vettore di puntatori const sicuri?
vector<int*> a;
const vector<const int*>& b = reinterpret_cast<const vector<const int*>&>(a);
Un cast statica, ovviamente, non funziona in questo caso questo tipo di conversione perché l'argomento modello sta cambiando. Ma facendo questo reinterpretare il cast, sto solo aggiungendo constness essenzialmente allo stesso tipo. Quindi dovrebbe essere sicuro per tutti gli scopi pratici?
Un modo in cui potrebbe realisticamente andare storto (anche se non l'ho confermato da un test) è il rigoroso aliasing. L'ottimizzatore ha il diritto di presumere che 'b' non si riferisca alla stessa memoria di' a' (perché ha un tipo che non è compatibile per l'aliasing). Quindi l'ottimizzatore giocherà i suoi trucchi, e potresti scoprire che riordina o elita cose che non sarebbero riordinate o eliminate se 'a' e' b' * validamente * si riferivano alla stessa memoria. Quindi, il layout identico è una condizione necessaria ma non sufficiente per "funzionare". –
Un altro modo di guardarlo è che il risultato di un 'reinterpret_cast' su un riferimento o un tipo di puntatore è * fondamentalmente * inutile e non funziona per qualcosa di diverso dalla conversione di nuovo al tipo originale, a meno che (a) il il tipo di destinazione è legale per l'aliasing del tipo effettivo dell'oggetto, oppure (b) hai una certa garanzia dalla tua implementazione che supporta la specifica cosa che stai facendo. Quando nessuno dei due si applica, non fare riferimento a un oggetto tramite un tipo diverso dal proprio. Ciò viene anche chiamato "punire tipicamente". –