Conversión de tipos en C++
Puedes leer la última versión actualizada y corregida del artículo original en mi sitio web: jesustorres.es.
En C el compilador es capaz de hacer ciertas conversiones de tipos de forma automática — o implícita —. Por ejemplo, ir de char a int o de este a float es algo que ace el compilador sin que nos demos cuenta:
int i = 10;
float d = i; /* correcto */Sin embargo, hay conversiones que no son válidas:
int* i = NULL;
float* d = i; /* conversión inválida de 'int*' a 'float*' */cuyo comportamiento por defecto es no es el deseado:
int a = 10;
int b = 7;
float c = a / b; /* c = 1.0 y no 1.4, como podría esperarse */Para esos casos el lenguaje nos permite forzar la conversión de tipos, utilizando una expresión de typecast de la forma (type)object —o type(object)— indicando así que queremos convertir object al tipo especificado por type. Por ejemplo:
int a = 10;
int b = 7;
float c = (float)a / (float)b; /* c = 1.4 */En C++ se puede utilizar la misma expresión de typecast que en C, aunque no es lo más aconsejable. En su lugar C++ ofrece diversos operadores de typecast cuyo uso es más adecuado y menos peligroso que la conversión de tipos estilo C.
static_cast
El operador:
static_cast(object)es siempre el primer tiempo de conversión que debemos intentar utilizar.
Permite invocar conversiones implícitas entre tipos —es decir, esas conversiones automáticas del compilador que mencionamos al principio — . Por ejemplo, de int a float:
int a = 10;
float d = static_cast<float>(a); // correcto y equivalente a...
//float d = a;o para hacer una división de enteros en coma flotante:
int a = 10;
int b = 7;
float c = static_cast<float>(a) / static_cast<float>(b); // = 1.4
//float c = a / b // = 1.0Permite la conversión de cualquier tipo de puntero a void* —que también ocurre de forma implícita — :
int* pa = NULL;
void* pb = static_cast<void*>(pa); // correcto y equivalente a...
//void* pb = pa;y viceversa — que no es implícita — :
void* pa = NULL;
char* pb = static_cast<char*>(pa); // correcto
//char* pb = pa; // conversión inválida de 'void*' a 'char*'De hecho, para reservar 10 caracteres con malloc() sería algo así:
char* c = static_cast<char*>(malloc(10 * sizeof(char)));ya que la conversión del puntero void* que retorna malloc() a char* no se hace de forma automática. Hay que hacer un typecast.
En el caso de objectos, static_cast llama a los métodos de conversión explícitos definidos en las clases:
class Foo
{
... // Método de conversión a char*
operator const char*()
{
...
}
};Foo foo;// En los siguientes dos casos se llama al método de conversión
// Foo::operator const char*().
char* c = static_cast<char*>(foo); // correcto y equivalente a...
//char* c = foo;
static_cast también convierte de clases bases a derivadas en una jerarquía de clases —la conversión inversa, de clases derivadas a clases bases es automática— siempre que no haya polimorfismo. Es decir, siempre que la clase base no tenga algún método virtual:
class Base
{
...
};class Derived: public Base
{
...
};Derived* derived = new Derive;
Base* base = derived; // conversión implícita// Recuperamos el puntero a la clase Derived a partir del
// puntero a la clase Base.
Derived* derived_de_nuevo = static_cast<Derived*>(base);
Sin embargo hay que tener en cuenta que las conversiones static_cast se resuelven siempre en tiempo de compilación y no se comprueba si el tipo al que se convierte coincide con el tipo real del objeto. Por ejemplo, que en el ejemplo anterior el puntero base realmente apunta a un objecto creado inicialmente al instanciar la clase Derived. El estándar indica que queda indefinido lo que pueda pasar si se convierte de un tipo base a uno derivado cuando este último no es el tipo real del objeto:
class Base
{
...
};class Derived: public Base
{
...
};Base* base = new Base;// Intentamos obtener un puntero Derived para un objeto creado
// directamente como Base.
Derived* derived = static_cast<Derived*>(base); // ¡indefinido!
dynamic_cast
El operador:
dynamic_cast(object)se utiliza exclusivamente para manejar el polimorfismo ya que permite convertir un puntero o referencia de un tipo polimórfico —esto es, una clase con algún método virtual — a cualquier otro tipo. Esto no solo permite convertir de clases base a derivadas, sino también desplazarnos lateralmente e incluso movernos a una cadena de herencia diferente dentro de una misma jerarquía de clases.
class Base
{
... // Por ejemplo, declaramos el destructor como virtual para que
// la clase sea polimórfica.
virtual ~Base() {}
};class Derived: public Base
{
...
};Derived* derived = new Derive;
Base* base = derived; // conversión implícita// Recuperamos el puntero a la clase Derived a partir del
// puntero a la clase Base usando dynamic_cast()
Derived* derived_de_nuevo = dynamic_cast<Derived*>(base);
dynamic_cast busca en tiempo de ejecución el objeto del tipo deseado en la jerarquía del objeto, devolviéndolo en caso de encontrarlo. Si los tipos no son compatibles —por ejemplo, si el objeto no fue creado originalmente con el tipo o con un tipo derivado del tipo indicado — dynamic_cast devuelve NULL, si se está trabajando con puntero, o lanza una excepción std::bad_cast, si se está trabajando con referencias.
class Base
{
... // Por ejemplo, declaramos el destructor virtual para que
// la clase sea polimórfica.
virtual ~Base() {}
};class Derived: public Base
{
...
};Base* base = new Base;// Intentamos obtener un puntero Derived para un objeto creado
// directamente como Base.
Derived* derived = dynamic_cast<Derived*>(base); // = NULL ¡error!
const_cast
El operador:
const_cast(object)se usa exclusivamente para eliminar o añadir const a una variable, ya que esto es algo que no pueden hacer los otros operadores de typecast.
Añadir const a un tipo es una conversión implícita:
int a = 10;
const int b = const_cast<const int>(a); // equivalente a...
//const int b = a;pero quitarlo no:
const int a = 10;
int b = static_cast<int>(a); // correcto
//int b = a; // ¡error!Es importante destacar que su uso queda indefinido si la variable original realmente es constante. Por ejemplo, algunos compiladores optimizan las constantes reemplazándolas, allí dónde son utilizadas, directamente por el valor que contienen. En casos como ese intentar modificar la variable tiene un resultado indefinido.
reinterpret_cast
El operador:
reinterpret_cast(object)instruye al compilador para que una expresión de un tipo sea tratada sin más como de un tipo diferente. No se genera código para llevar acabo la conversión de los datos y, por tanto, es el más peligroso de los operadores de typecast.
Se utiliza para convertir punteros de un tipo a otro de forma arbitraria. Por ejemplo, si se recibe un flujo de bytes como un char* pero dichos bytes realmente son una secuencia de enteros, con reinterpret_cast se puede convertir el puntero char* en int* para facilitar recuperar cada uno de los números de la secuencia.
También se puede utilizar para convertir un puntero en un entero para manipular la dirección directamente:
char* c = new char[15];
// Obtener un entero con la dirección a la que apunta 'c'.
uintptr_t p = reinterpret_cast<uintptr_t>(c)La única garantía ofrecida por el estándar de C++ es que si se hace un reinterpret_cast y posteriormente se realiza otro para volver al tipo original, se obtiene el mismo resultado siempre que el tipo intermedio tenga el tamaño suficiente para que no se pierda información.
Conversión estilo C
Si en C++ se indica una conversión de estilo C —usando la sintaxis tradicional (type)object o type(object) — el efecto será el mismo que la primera conversión de la siguiente lista que tenga éxito:
- const_cast.
- static_cast.
- static_cast y después const_cast.
- reinterpret_cast
- reinterpret_cast y después const_cast.
Usar en C++ typecasts estilo C es peligroso porque pueden convertirse en un reinterpret_cast sin pretenderlo. Si hace falta este tipo de conversión, es preferible indicarlo explícitamente en el código usando el operador reinterpret_cast.
Además la conversión estilo C ignora el control de acceso de las clases — protected o private — por lo que este tipo de conversión permite hacer operaciones que con los operadores de C++ no se puede. Por ejemplo, en este caso el compilador termina con un error:
class Base
{
...
};class Derived: protected Base
{
...
};Derived* derived = new Derived;
Base* base = static_cast<Base*>(derived); // ¡error!
ya que la clase Base es una clase base protegida de Derived. Sin embargo el ejemplo compila sin problemas usando tanto reinterpret_cast como typecast estilo C:
class Base
{
...
};class Derived: protected Base
{
...
};Derived* derived = new Derived;
Base* base = reinterpret_cast<Base*>(derived); // correcto
//Base* base = (Base*)derived; // correcto
