...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
Instances of a Dereferenceable
type can be used like a pointer to access an lvalue.
In the table below, T
is
a model of Dereferenceable, and x
denotes an object of type T
.
In addition, all pointers are Dereferenceable
.
Expression |
Result |
Operational Semantics |
---|---|---|
|
convertible to |
|