Redundant cv-qualifications are ignored.

\begin{note}

For example,

\end{note}

\indextext{\idxcode{volatile}!implementation-defined}%

\begin{note}

\tcode{volatile} is a hint to the implementation to avoid aggressive

special hardware instructions are required to access the object.

See~\ref{intro.execution} for detailed semantics. In general, the

semantics of \tcode{volatile} are intended to be the same in \Cpp{} as

Just as for the ambiguities mentioned in~\ref{stmt.ambig},

the resolution is to consider any construct,

such as the potential parameter declaration,

to be a declaration.

\begin{note}

A declaration can be explicitly disambiguated by adding parentheses

An ambiguity can arise from the similarity between a function-style

cast and a

\grammarterm{type-id}.

\begin{example}

\begin{codeblock}

template <class T> struct X {};

no constructor of the object's class

is invoked for the initialization.

\begin{note}

\end{note}

Destroying an object of class type invokes the destructor of the class.

Destroying a scalar type has no effect other than

\begin{note}

Some of the properties associated with an entity with language linkage

are specific to each implementation and are not described here. For

particular form of representing names of objects and functions with

external linkage, or with a particular calling convention, etc.

\end{note}

\begin{note}

The \tcode{carries_dependency} attribute does not change the meaning of the

\end{note}

hardware memory ordering instructions (a.k.a.\ fences).

Function \tcode{g}'s second parameter has a \tcode{carries_dependency} attribute,

but its first parameter does not. Therefore, function \tcode{h}'s first call to

\end{example}

\indextext{attribute|)}%

\indextext{declaration|)}

The use of a fallthrough statement should suppress

for a case or default label that is reachable

from another case or default label along some path of execution.

Implementations should issue a warning

Implementations should issue a

\begin{example}

};

\end{codeblock}

Here, \tcode{hasher}, \tcode{pred}, and \tcode{alloc}

if their respective types are all empty.

\end{example}