Representation
A list of type List<T> is represented as
follows:
- The list handle contains either the null pointer or a pointer to a
list cell residing in the heap.
- A list cell consists of the head element (a T object) and a
handle to the tail list.
Each list cell is prefixed by one word that holds the size of the cell. The
size of s list cell is thus the sum of the sizes of an integer word, of
T and of List<T> where the size
of List<T> is the pointer size of the machine.
Author: Wolfgang Schreiner
Last Modification: April 12, 1997