Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 371 — #409
✐
12.6. Conversión automática de tipos
Stringc s1("hello"), s2("there");
strcmp(s1, s2); // Standard C function
strspn(s1, s2); // Any string function!
} ///:~
Ahora cualquier función que acepte un argumento char* puede aceptar también
un argumento Stringc porque el compilador sabe cómo crear un char* a partir de
Stringc.
12.6.4. Las trampas de la conversión automática de tipos
Dado que el compilador debe decidir cómo realizar una conversión de tipos, puede
meterse en problemas si el programador no diseña las conversiones correctamente.
Una situación obvia y simple sucede cuando una clase X que puede convertirse a
sí misma en una clase Y con un operator Y(). Si la clase Y tiene un constructor que
toma un argumento simple de tipo X, esto representa la conversión de tipos idéntica.
El compilador ahora tiene dos formas de ir de X a Y, así que se generará una error de
ambigüedad:
//: C12:TypeConversionAmbiguity.cpp
class Orange; // Class declaration
class Apple {
public:
operator Orange() const; // Convert Apple to Orange
};
class Orange {
public:
Orange(Apple); // Convert Apple to Orange
};
void f(Orange) {}
int main() {
Apple a;
//! f(a); // Error: ambiguous conversion
} ///:~
La solución obvia a este problema es no hacerla. Simplemente proporcione una
ruta única para la conversión automática de un tipo a otro.
Un problema más difícil de eliminar sucede cuando proporciona conversiones
automáticas a más de un tipo. Esto se llama a veces acomodamiento (FIXME):
//: C12:TypeConversionFanout.cpp
class Orange {};
class Pear {};
class Apple {
public:
operator Orange() const;
operator Pear() const;
371
✐
✐
✐
✐