Pull Request №665 RosettaCommons/rosetta/main ← lyskov-ai/rosetta/refactor/timer-delete-copy
Merge: f9c5b025aa6240de1105fd6cdcf04f7a535ea67d←776a3e20b99c27214dd542508fbf49c8056c617f
Explicitly delete copy constructor and assignment in Timer
----------------
Merge commit message:
Explicitly delete copy constructor and assignment in Timer
Timer's destructor calls Report(), printing the elapsed time. Without
explicit copy deletion, a copied Timer would silently produce a second
Report() call on destruction, logging a duplicate timing entry for the
same measured interval. Both tag_ and t_ are non-owning pointers so
there is no memory-safety risk, but the semantic hazard is real.
Deleting copy constructor and copy assignment makes the non-copyable
intent explicit.