What are top-level const qualifiers?

A top-level const qualifier affects the object itself. Others are only
relevant with pointers and references. They do not make the object
const, and only prevent modification through a path using the pointer or
reference. Thus:

char x;
char const* p = &x;

This is not a top-level const, and none of the objects are immutable.
The expression *p cannot be used to modify x, but other expressions
can be; x is not const. For that matter

*const_cast<char*>( p ) = 't'

is legal and well defined.

But

char const x = 't';
char const* p = &x;

This time, there is a top-level const on x, so x is immutable. No
expression is allowed to change it (even if const_cast is used). The
compiler may put x in read-only memory, and it may assume that the
value of x never changes, regardless of what other code may do.

To give the pointer top-level const, you’d write:

char x = 't';
char *const p = &x;

In this case, p will point to x forever; any attempt to change this
is undefined behavior (and the compiler may put p in read-only memory,
or assume that *p refers to x, regardless of any other code).

Leave a Comment