Open
Description
If I'm reading this correctly, the copy constructor does not initialize copies_count. That means if you make a copy of a copy, the new object will do ++other.copies_count; on an uninitialized variable.
Is there any reason not to initialize copies_count to zero here?
Using default member initializers for all four data members seems sensible.