For the latest documentation on Visual Studio 2017, see Visual Studio 2017 Documentation.
Type qualifiers give one of two properties to an identifier. The const type qualifier declares an object to be nonmodifiable. The
volatile type qualifier declares an item whose value can legitimately be changed by something beyond the control of the program in which it appears, such as a concurrently executing thread.
The two type qualifiers, const and
volatile, can appear only once in a declaration. Type qualifiers can appear with any type specifier; however, they cannot appear after the first comma in a multiple item declaration. For example, the following declarations are legal:
typedef volatile int VI; const int ci;
These declarations are not legal:
typedef int *i, volatile *vi; float f, const cf;
Type qualifiers are relevant only when accessing identifiers as l-values in expressions. See L-Value and R-Value Expressions for information about l-values and expressions.
The following are legal const and
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 */
If the specification of an array type includes type qualifiers, the element is qualified, not the array type. If the specification of the function type includes qualifiers, the behavior is undefined. Neither
volatile nor const affects the range of values or arithmetic properties of the object.
This list describes how to use const and
The const keyword can be used to modify any fundamental or aggregate type, or a pointer to an object of any type, or a
typedef. If an item is declared with only the const type qualifier, its type is taken to be const int. A const variable can be initialized or can be placed in a read-only region of storage. The const keyword is useful for declaring pointers to const since this requires the function not to change the pointer in any way.
The compiler assumes that, at any point in the program, a
volatilevariable can be accessed by an unknown process that uses or modifies its value. Therefore, regardless of the optimizations specified on the command line, the code for each assignment to or reference of a
volatilevariable must be generated even if it appears to have no effect.
volatileis used alone,
intis assumed. The
volatiletype specifier can be used to provide reliable access to special memory locations. Use
volatilewith data objects that may be accessed or altered by signal handlers, by concurrently executing programs, or by special hardware such as memory-mapped I/O control registers. You can declare a variable as
volatilefor its lifetime, or you can cast a single reference to be
An item can be both const and
volatile, in which case the item could not be legitimately modified by its own program, but could be modified by some asynchronous process.