\"\" \"\" \"\"
Go backward to *: Indirection
Go up to Selection
 RISC-Linz logo

->: Dereferencing

e = p->a
p->a = e
      struct T { ...S a; ...}
      Pointer<T> p
      S e

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: O(1).

Author: Wolfgang Schreiner
Last Modification: April 12, 1997