In C++, a constructor's job is actually to initialize an object;
C++ itself allocates the storage for the object
(see section 7.2.1 Constructors).
However, the reader of the specification of a constructor
should not be forced to think about how the user's code interacts with
C++ to allocate and initialize an object.
So Larch/C++ provides the keyword constructs as a synonym
for modifies;
it is used to convey to the reader that a set of objects (usually self)
is not only modified, but, by the graces of C++, allocated and initialized.
Go to the first, previous, next, last section, table of contents.