Go backward to * : IndirectionGo up to Selection |
->
: Dereferencing=
p->
a ->
a =
e struct
T {
...S a;
...}
Specification: The first form returns into e the component a of the object stored in the memory block to which p refers. The second form destructively updates this component by overwriting its content with e.
Constraint: It is illegal to apply this operation to an unbound p.
Complexity: .