Professional Documents
Culture Documents
El concepto de tipo es muy importante en C++. Cada variable, argumento de función y valor devuelto por
una función debe tener un tipo para compilarse. Asimismo, antes de evaluar cada una de las expresiones
(incluidos los valores literales), el compilador da implícitamente un tipo a estas expresiones. Algunos
ejemplos de tipos son int, que almacena valores integrales, double, que almacena valores de punto
flotante (también conocidos como tipos de datos escalares) o la clase std::basic_string de la biblioteca
estándar, que almacena texto. Puede crear su propio tipo definiendo un objeto class o struct. El tipo
especifica la cantidad de memoria que se asignará para la variable (o el resultado de la expresión), las
clases de valores que se pueden almacenar en esa variable, cómo se interpretan estos valores (como
patrones de bits) y las operaciones que se pueden realizar en ella. Este artículo contiene información
general sobre las principales características del sistema de tipos de C++.
Terminología
Variable: nombre simbólico de una cantidad de datos. Este nombre se puede utilizar para acceder a los
datos a los que hace referencia en el ámbito del código en el que se define. En C++, el término “variable”
se utiliza normalmente para hacer referencia a las instancias de tipos de datos escalares, mientras que
las instancias de otros tipos normalmente se denominan “objetos”.
Objeto: por simplicidad y coherencia, en este artículo se utiliza el término “objeto” para hacer referencia a
cualquier instancia de una clase o estructura. Cuando se utiliza en sentido general, incluye todos los
tipos, incluso las variables escalares.
Tipo POD (datos estándar): esta categoría informal de tipos de datos de C++ hace referencia a los tipos
que son escalares (vea la sección de tipos fundamentales) o que son clases POD. Una clase POD no
tiene ningún miembro de datos estático que no sea también POD, y no tiene ningún constructor definido
por el usuario, ningún destructor definido por el usuario ni ningún operador de asignación definido por el
usuario. Además, las clases POD no tienen funciones virtuales, clases base ni ningún miembro de datos
no estático privado o protegido. Los tipos POD suelen utilizarse para el intercambio de datos externos,
por ejemplo, con un módulo escrito en lenguaje C (que solo tiene tipos POD).
Especificar tipos de variable y función
C++ es un lenguaje fuertemente tipado y que, además, contiene tipos estáticos. Cada objeto tiene un tipo
y ese tipo nunca cambia (no debe confundirse con los objetos de datos estáticos).
Al declarar una variable en el código, debe especificar explícitamente su tipo o utilizar la palabra
clave auto para indicar al compilador que deduzca el tipo desde el inicializador.
Al declarar una función en el código, debe especificar el tipo de cada argumento y su valor devuelto
(o void, si la función no devuelve ningún valor). La excepción se produce cuando se utilizan plantillas de
función, que están permitidas en los argumentos de tipos arbitrarios.
Una vez que se declara por primera vez una variable, no se puede cambiar su tipo. Sin embargo, el valor
de la variable o el valor devuelto por una función se puede copiar en otra variable de distinto tipo. Este
tipo de operaciones se denominan conversiones de tipo. Estas conversiones a veces resultan necesarias,
aunque también pueden producir errores o pérdidas de datos.
Cuando se declara una variable de tipo POD, se recomienda encarecidamente iniciarla, lo que significa
darle un valor inicial. Una variable, hasta que se inicializa, tiene el valor "no utilizado", que se compone de
los bits que estaban previamente en esa ubicación de memoria. Este es un aspecto importante de C++
que debe recordarse, sobre todo si anteriormente utilizaba otro lenguaje que controlaba la inicialización
sin su intervención. Cuando se declara una variable de un tipo que pertenece una clase que no es POD,
el constructor controla la inicialización.
En el ejemplo siguiente se muestran algunas sencillas declaraciones de variable con descripciones de
cada una de ellas. En el ejemplo se muestra también cómo el compilador utiliza la información de tipo
para permitir o no permitir que posteriormente se realicen ciertas operaciones en la variable.
int result = 0; // Declare and initialize an integer.
double coefficient = 10.8; // Declare and initialize a floating
// point value.
auto name = "Lady G."; // Declare a variable and let compiler
// deduce the type.
auto address; // error. Compiler cannot deduce a type
// without an intializing value.
age = 12; // error. Variable declaration must
// specify a type or use auto!
result = "Kenny G."; // error. Can’t assign text to an int.
string result = "zero"; // error. Can’t redefine a variable with
// new type.
int maxValue; // Not recommended! maxValue contains
// garbage bits until it is initialized.
En la tabla siguiente se muestran los tipos fundamentales que se usan con más frecuencia:
char 1 byte Se utiliza en los caracteres ASCII de cadenas de estilo C antiguas u objetos
std::string que nunca tendrán que convertirse a UNICODE.
wchar_t 2 bytes Representa valores de caracteres “anchos” que se pueden codificar en formato
UNICODE (UTF-16 en Windows; puede diferir en otros sistemas operativos). Es el
tipo de carácter que se utiliza en las cadenas de tipo std::wstring.
unsigned 1 byte C++ no tiene un tipo byte integrado. Utilice un carácter sin signo para representar
char un valor byte.
El tipo void
El tipo void es un tipo especial. No se puede declarar una variable de tipo void, pero se puede declarar
una variable de tipo void * (puntero a void), lo que a veces resulta necesario cuando se asigna memoria
(sin tipo) sin formato. Sin embargo, los punteros a void no tienen seguridad de tipos y, por lo general, su
uso se desaconseja completamente en el lenguaje C++ actual. En una declaración de función, un valor
devuelto de tipo void significa que la función no devuelve un valor; se trata de un uso común y aceptable
de void. Aunque el lenguaje C requería que las funciones que no tenían ningún parámetro
declararan void en la lista de parámetros (por ejemplo, fou(void)), esta práctica no es recomendable en el
lenguaje C++ actual, donde debería declararse fou(). Para obtener más información, vea Conversiones de
tipos y seguridad de tipos.
Calificador de tipo const
Cualquier tipo integrado o definido por el usuario se puede calificar con la palabra clave const. Además,
las funciones miembro pueden calificarse con const e incluso sobrecargarse con const. El valor de un
tipo const no puede modificarse una vez inicializado.
const double PI = 3.1415;
PI = .75 //Error. Cannot modify const variable.
En el ejemplo se desreferencia un tipo de puntero que no tiene ninguna memoria asignada para
almacenar los datos enteros reales ni una dirección de memoria válida asignada. El código siguiente
corrige esto errores:
En el ejemplo de código corregido se utiliza la memoria local de la pila para crear la memoria auxiliar a la
que pNumber apunta. Utilizamos un tipo fundamental para simplificar. En la práctica, la mayoría de las
veces, la memoria auxiliar de los punteros se compone de tipos definidos por el usuario que se asignan
dinámicamente en un área de memoria denominada montón (o “almacén libre ") utilizando una expresión
con la palabra clave new(en la programación de estilo C se utilizaba la antigua función de biblioteca en
tiempo de ejecución de C malloc()). Una vez que están asignadas, normalmente se hace referencia a
estas “variables” como “objetos”, sobre todo si se basan en una definición de clase. La memoria que se
asigna con new debe eliminarse mediante la instrucción delete correspondiente (o, si utilizó la
función malloc() para asignarlas, la función free() en tiempo de ejecución de C).
Sin embargo, es fácil olvidarse de eliminar un objeto asignado dinámicamente, especialmente cuando el
código es complejo, lo que produce un error de recurso denominado pérdida de memoria. Por esta razón,
el uso de punteros sin formato no es recomendable en el lenguaje C++ actual. Casi siempre es mejor
incluir un puntero sin formato en un puntero inteligente, que liberará automáticamente la memoria cuando
se invoque su destructor (cuando el código sale del ámbito del puntero inteligente). Con los punteros
inteligentes, prácticamente se elimina toda una clase de errores en los programas de C++. En el ejemplo
siguiente, suponga que MyClass es un tipo definido por el usuario que tiene un método
público DoSomeWork();
void someFunction() {
unique_ptr<MyClass> pMc(new MyClass);
pMc->DoSomeWork();
}
// No memory leak. Out-of-scope automatically calls the destructor
// for the unique_ptr, freeing the resource.
Para obtener más información sobre los punteros inteligentes, vea Punteros inteligentes.
Para obtener más información sobre las conversiones de puntero, vea Conversiones de tipos y seguridad
de tipos.
Para obtener información sobre los punteros en general, vea Punteros.
Tipos de datos de Windows
En la programación Win32 clásica de C y C++, la mayoría de las funciones utilizan definiciones de tipos y
macros #define (definidas en windef.h) específicas de Windows para especificar los tipos de parámetros y
los valores devueltos. La mayoría de estos “tipos de datos de Windows” son solo nombres especiales
(alias) especificados en los tipos integrados de C/C++. Para obtener una lista completa de estas
definiciones de tipo y las definiciones de preprocesador, vea Windows Data Types. Algunas de estas
definiciones de tipos, como HRESULT y LCID, son útiles y significativas. Otras, como INT, no tienen
ningún significado especial y son solo alias para los tipos fundamentales de C++. Otros tipos de datos de
Windows tienen nombres que se provienen de la época de programación de C y de los procesadores de
16 bits, y no tienen ningún propósito o significado en el hardware y sistemas operativos modernos. Hay
también tipos de datos especiales asociados a la biblioteca de Windows en tiempo de ejecución, que se
muestran como Windows Runtime base data types. En el lenguaje C++ actual, la regla general establece
una preferencia por los tipos fundamentales de C++, a menos que el tipo de Windows comunique un
significado adicional sobre cómo debe interpretarse el valor.