677: Mainline

Because of all the excessive-reclamation problems that come up when copy constructors are used in the presence of destructors, many experienced C++ programmers adhere to the following maxim:

• If you define a destructor in a class, define a copy constructor as well.

Usually, you will define the copy constructor to prevent copying.