Can `std :: basic_string :: operator []` può restituire un terminatore nul "distante" protetto?

Question

Quindi, operator[] non dice direttamente che s[s.size()] deve essere il carattere dopo s[s.size()-1] nella memoria. Sembra formulato per evitare di fare questa affermazione.

Ma s.data() indica che s.data()+k == &s[k] e s.data() devono restituire un puntatore.

Ignorando il difetto livello apparente di utilizzare & su CharT sopra e non std::addressof, è l'implementazione libera per restituire un diverso CharT (ad esempio, uno su una pagina protetta, o in ROM) per s[s.size()] prima della prima chiamata a s.data() ? (Chiaramente si potrebbe organizzare il buffer di porre fine ad una pagina di sola lettura con uno zero su di esso, sto parlando di una situazione diversa)

Per essere espliciti:

Per quanto posso dire, se s.data() non viene mai chiamato (e il compilatore può provarlo), quindi s[s.size()] non deve essere contiguo con il resto del buffer.

Può std::addressof(s[s.size()])cambiamento dopo una chiamata al s.data() e l'attuazione risulti conforme agli standard (fino a quando s.data()+k == &s[k] ha .data() valutati prima [], ma il compilatore è libero di far rispettare quello). O ci sono requisiti di immutabilità che non riesco a vedere?

Answer 1

Poiché C++ 11, std :: string è necessario per essere memorizzato nella memoria contigua. Questa è la citazione dallo standard C++ 11 (sezione 24.4.1.4):

Gli oggetti char-simili in un basic_string oggetto sono memorizzati in modo contiguo. Cioè, per qualsiasi basic_string oggetto s , l'identità & * (s.begin() + n) == & * s.begin() + n terrà a tutti i valori di n tale che < = n < s.size() .

Questa citazione circa il valore di ritorno dell'operatore [] afferma che restituisce lo stesso &*(s.begin()+n) (sezione 21.4.5.1):

* (begin() + pos) se pos < dimensione() . Altrimenti, restituisce un riferimento a un oggetto di tipo Grafico con valore grafico() , dove modificare l'oggetto porta ad un comportamento indefinito

Poi abbiamo questa citazione sul valore restituito di dati() a (sezione 24.4.7.1):

Un puntatore p tali che p + i == & operatore [] (i) per ogni i in [0, dimensioni()] .

Quindi i dati restituiscono lo stesso come si otterrebbe utilizzando l'operatore & []. E qualsiasi valore tra voi recuperare utilizzando l'operatore & deve essere memorizzato in modo contiguo. Quindi è possibile concludere sia restituire un puntatore alla memoria contigua. Quindi non restituirà un puntatore a una pagina di distanza.

Si noti che questo si applica solo a C++ 11. Tali garanzie non sono state fatte dallo standard prima del C++ 11.