Domanda su const_cast in C++

Question

tutto: questo è citato da Effective C++ 3 ° editiion

const_cast è tipicamente utilizzato per gettare via la costanza degli oggetti. È l'unico cast in stile C++ che può farlo.

La mia domanda è possibile const_cast aggiungere constness a un oggetto non const? In realtà ho scritto un piccolo programma cercando di approvare il mio pensiero.

class ConstTest 
{ 
public: 

void test() { 
    printf("calling non-const version test const function \n"); 
} 

void test() const{ 
    printf("calling const version test const function \n"); 

} 

}; 
int main(int argc,char* argv){ 
ConstTest ct; 
const ConstTest cct; 
cct.test(); 
const_cast<const ConstTest&>(ct).test();//it is wrong to write this statement without the '&',why 

} 

Tralasciando l'errore '&' incorre in basso: C2440

errore: 'const_cast': impossibile convertire da 'ConstTest' a 'ConstTest const'

Essa mostra che const_cast può aggiungere la costanza, ma sembra che tu debba lanciare su un riferimento a un oggetto, qual è la magia di questo riferimento?

Answer 1

Non è necessario aggiungere const_cast constness:

class C; 
C c; 
C const& const_c = c; 

L'altro modo ha bisogno di circa un const_cast se

const C const_c; 
C& c = const_cast<C&>(const_c); 

ma il comportamento è indefinito se si tenta di utilizzare le operazioni non-const su c.

A proposito, se non si utilizza un riferimento, una copia dell'oggetto deve essere effettuata:

C d = const_c; // Copies const_c 

Answer 2

const_cast può essere utilizzato solo per lanciare ai puntatori e riferimenti. Non può essere usato per trasmettere oggetti. Ecco perché: se hai un oggetto const non puoi renderlo non-const e viceversa - è già const, non puoi ridichiarlo. Puoi solo provare ad accedervi tramite un puntatore o un riferimento senza (o con) const.

Answer 3

const_cast non può modificare la costanza del valore. Quindi restituisce un riferimento const al valore.

Answer 4

const_cast può essere utilizzato anche per aggiungere constness.

$5.2.11/3 - "For two pointer types T1 and T2 where 

T1 is cv1 , 0 pointer to cv1 , 1 pointer to . . . cv1 ,n − 1 pointer to cv1 ,n T 
and 
T2 is cv2 , 0 pointer to cv2 , 1 pointer to . . . cv2 ,n − 1 pointer to cv2 ,n T 

where T is any object type or the void type and where cv1 ,k and cv2 ,k may be different cv-qualifications, an rvalue of type T1 may be explicitly converted to the type T2 using a const_cast. The result of a pointer const_cast refers to the original object. 

considerare:

int *t1 = NULL; // T = int, cv1, 0 = none 
int * const t2 = const_cast<int * const>(t1); // T = int, cv2, 0 = const 

Come per la citazione di cui sopra, quanto sopra è fine e aggiunge constness a t

Ma, come Herb Sutter dice, probabilmente non è necessario in modo esplicito da fare La maggior parte delle volte.