Question: When do we have to write a user-defined copy constructor?