Ho ragione nel dire che const_cast seguito da modifiche su un ref-to-const legato a un temporaneo va bene?

Question

Vorrei verificare la mia comprensione e le conclusioni su questo argomento.

---

Su IRC, è stato chiesto:

È accettabile const_cast un riferimento const che è destinato a un oggetto temporaneo?

Traducendo: ha un const ref-a-legato ad un temporaneo e vuole gettare via la sua const -ness per modificarlo.

La mia risposta è stata che avevo chiesto a similar question in precedenza, in cui il consenso sembra essere che provvisori stessi non sono intrinsecamente const, e quindi che si può lanciare al largo della const -ness di un riferimento si deve a loro, e modificare loro attraverso il risultato. E, a condizione che esista ancora il riferimento originale a const, ciò non influirà sulla durata del temporaneo.

Cioè:

int main() 
{ 
    const int& x = int(3); 

    int& y = const_cast<int&>(x); 
    y = 4; 

    cout << x; 
} 
// Output: 4 
//^Legal and safe 

ho ragione?

---

^{(Naturalmente, se tale codice è in realtà consigliabile è tutta un'altra cosa!)}

Answer 1

No.

In primo luogo, per quanto posso dire, sia che si tratti è un letterale o non è irrilevante. Rvalues ​​di tipo non-classe hanno sempre non-cv qualificato tipi (§3.10/9), tuttavia, in §8.5.3 (inizializzazione di riferimento), si avere:

Un riferimento al tipo “ CV1 T1” viene inizializzato da un'espressione del tipo ‘cv2 T2’ come segue:

[...]

-

Altrimenti, una temporanea di tipo ‘CV1 T1’ viene creata e inizializzata dall'espressione di inizializzazione utilizzando le regole per un init di copia non di riferimento ializzazione (8.5). Il riferimento è quindi legato al temporaneo. Se T1 è riferito a T2, cv1 deve essere la stessa qualifica di cv, o maggiore riqualificazione di, cv2; altrimenti, il programma è mal formato.

(. Tutti i punti precedenti riguardano sia lvalue o tipi di classe)

Nel nostro caso, abbiamo:

int const& x = ...; 

Così cv1 T1 è int const, e l'oggetto temporaneo creiamo ha tipo int const.Questo è un const di livello superiore (sull'oggetto), quindi qualsiasi tentativo di modificarlo è non definito.

Almeno, questa è la mia interpretazione. Vorrei che lo standard fosse un po 'più chiaro a riguardo.

Answer 2

La risposta dipende da come viene creato il temporaneo e da come viene inizializzato il riferimento.

Se si creava in modo esplicito il temporaneo come oggetto di tipo non const e la situazione garantisce che il riferimento const sia collegato in modo specifico al temporaneo che è stato creato, allora si può tranquillamente scartare la costanza del riferimento e modificare l'oggetto.

D'altra parte, se il temporaneo è stato creato implicitamente per te dal compilatore, il temporaneo stesso sarà const. In tal caso, modifica quella porta temporanea a UB.

Sfortunatamente, lo standard di linguaggio C++ da solo sembra non garantire alcuna situazione in cui il primo approccio di inizializzazione è necessariamente preso. In ogni contesto il compilatore può introdurre una copia temporanea aggiuntiva del tuo originale temporaneo. Il nuovo temporaneo sarà const (come detto sopra) e quindi non modificabile. Se ciò accada o no è definito dall'implementazione, come indicato in 8.5.3/5.

Quindi, in generale, la risposta è no, mentre una risposta specifica per l'implementazione potrebbe essere diversa.