...
| Anchor | ||||
|---|---|---|---|---|
|
strong exception safety [Stroustrup 01], [Sutter 00]
The strong exception safety guarantee is a property of an operation such that, in addition to satisfying the basic exception safety guarantee, if the operation terminates by raising an exception it has no observable effects on program state. See also exception safety, basic exception safety, and no-throw guarantee.
| Anchor | ||||
|---|---|---|---|---|
|
SFINAE (Substitution Failure is Not An Error) (SFINAE)
A rule often applied by compilers during overload resolution of function templates. When substituting the deduced type for the template parameter fails, the specialization is discarded from the overload set instead of causing a compile error. This feature is used in template metaprogramming.
| Anchor | ||||
|---|---|---|---|---|
|
trap representation [ISO/IEC 9899-1999]
Object representation that does not represent a value of the object type. Attempting to read the value of an object that has a trap representation other than by an expression that has a character type is undefined. Producing such a representation by a side effect that modifies all or any part of the object other than by an expression that has a character type is undefined.
...