¿Es este comportamiento indefinido const_cast?

Question

Me preguntaba si el siguiente es un comportamiento indefinido

// Case 1: 
int *p = 0; 
int const *q = *const_cast<int const* const*>(&p); 

// Case 2: (I think this is the same) 
int *p = 0; 
int const *const *pp = &p; 
int const *q = *pp; 

¿Se trata de un comportamiento indefinido mediante la lectura de un int* como si se tratara de un int const*? Creo que es un comportamiento indefinido, pero previamente pensé que solo agregar const en general es seguro, entonces no estoy seguro.

Answer 1

En cuanto a la calificación, está bien. Con cada expresión dividido en una declaración:

int *p = 0; // ok 
int **addrp = &p; // ok 
int const *const *caddrq = addrp; // ok, qualification conv. according to §4.4/4 
int const *q = *caddrq; // ok 

Nota que las reglas de const_cast (§5.2.11/3) son idénticos a los de la conversión de calificación, pero sin el requisito de ser monótona creciente en la calificación. En su caso, dado que solo está agregando calificaciones, el const_cast es innecesario.

---

aliasing Con respecto, no creo que es un problema, aquí, o al menos no se pretende que sea.

Al igual que usted ha mencionado, hay una nueva bala en la lista C++ 0x de métodos de acceso permitidos (§3.10) que permite tipos similares (que son tipos "similares" que surgen de las conversiones de calificación). En C++ 03 esa bala falta, pero sospecho que la bala sobre permitir más acceso cv calificado tenía la intención de cubrir eso, pero técnicamente no es así (es decir, el comité pasó por alto esto).