Calificadores de tipos

 

Para obtener la documentación más reciente de Visual Studio 2017 RC, consulte Documentación de Visual Studio 2017 RC.

Los calificadores de tipo proporcionan una de dos propiedades a un identificador. El calificador de tipo const declara que un objeto no es modificable. El calificador de tipo volatile declara un elemento cuyo valor se puede modificar legítimamente por algo que esté más allá del control del programa en el que aparece, por ejemplo, un subproceso que se ejecute en paralelo.

Los dos calificadores de tipo, const y volatile, solo pueden aparecer una vez en una declaración. Los calificadores de tipo pueden aparecer con cualquier especificador de tipo; sin embargo, no pueden aparecer después de la primera coma en una declaración de varios elementos. Por ejemplo, las siguientes declaraciones son válidas:

typedef volatile int VI;  
const int ci;  

Estas declaraciones no son válidas:

typedef int *i, volatile *vi;  
float f, const cf;     

Los calificadores de tipo solo son pertinentes al tener acceso a identificadores como valores L en expresiones. Vea Expresiones de valor L y de valor R para obtener información sobre valores L y expresiones.

type-qualifier:
constvolatile

Las siguientes declaraciones const y volatile son válidas:

int const *p_ci;       /* Pointer to constant int */  
int const (*p_ci);     /* Pointer to constant int */  
int *const cp_i;       /* Constant pointer to int */  
int (*const cp_i);     /* Constant pointer to int */  
int volatile vint;     /* Volatile integer        */  

Si la especificación de un tipo de matriz incluye calificadores de tipo, se califica el elemento, no de tipo de matriz. Si la especificación de tipo de la función incluye calificadores, el comportamiento es indefinido. Ni volatile ni const afectan al intervalo de valores o ni a las propiedades aritméticas del objeto.

Esta lista describe cómo usar const y volatile.

  • La palabra clave const se puede usar para modificar cualquier tipo fundamental o agregado, un puntero a un objeto de cualquier tipo o una typedef. Si un elemento se declara solo con el calificador de tipo const, se asume que su tipo es const int. Una variable const se puede inicializar o puede colocarse en un área de almacenamiento de solo lectura. La palabra clave const es útil para declarar punteros a const puesto que requiere que la función no cambie el puntero de ninguna manera.

  • El compilador supone que, en cualquier punto del programa, se puede tener acceso a una variable volatile mediante un proceso desconocido que utilice o modifique su valor. Por consiguiente, independientemente de las optimizaciones especificadas en la línea de comandos, el código de cada asignación de una variable volatile y cada referencia a la misma debe generarse aunque no parezca surtir ningún efecto.

    Si solo se usa volatile, se supone int. El especificador de tipo volatile se puede utilizar para proporcionar acceso confiable a ubicaciones de memoria especiales. Use volatile con objetos de datos a los que se pueda tener acceso o que se puedan modificar mediante controladores de la señal, ejecutando programas simultáneamente o mediante hardware especial tal como registros de control de E/S asignados a la memoria. Puede declarar una variable como volatile mientras dure o puede convertir una única referencia para que sea volatile.

  • Un elemento puede ser a la vez const y volatile, en cuyo caso el elemento no se podría modificar de manera legítima por su propio programa, pero podría modificarlo algún proceso asincrónico.

Declaraciones y tipos

Mostrar: