Question

I’m just about done Koenig & Moo’s Accelerated C++ and in Chapters 13 & 14 they lay out the idea and implementation of a few Handle classes (simple, shared, reference counted).

The classes encpasulate a raw pointer and abstract the allocation / deallocation of dynamic objects away from the client code to avoid all the dangers of raw pointers as well allowing the user to dereference them to access the pointed to object. Basically a ‘safer’ way to interface with raw memory resources.

Are the classes presented in these chapters essentially implementations of smart pointers? Smart pointers are still pretty new to me but from what I understand these Handle classes are performing the same function.

1. Is there a a distinction between the two or is it just another name for the same thing?
2. Assuming they’re equivalent in function, in practice would a class like this ever be written from scratch rather than using an already made smart pointer solution?

EDIT

I should add that the classes they develop in these chapters are template classes so they’re not bound to a specific resource, as in they’re not designing a specific FileHandle class for example.

The code in the first code snippet here, 7.1, is pretty much what they’ve got in the chapters I’m referring to.

Answer 1

From your description it sounds like a smart pointer.
Though personally I would not use the term handle as it is slightly ambiguous (just call a smart pointer a smart pointer).

Q: Could you write a smart pointer from scratch?
A: Yes

Q: Should you write your own smart pointer.
A: No. Its a lot trickier than you think. Even the description in the book only glossed over the more complex problems. Stick with the standard ones that are provided by reputable libraries.

Q: Handles what does it mean.
A: It used to mean a pointer to a pointer. But the term has come ambiguous over the years as the term has been re-used. But you can consider it a pointer to a resource where the resource can be accessed by other methods and in this context their description is sort of valid.

Q: Should you use smart pointers instead of raw memory.
A: Never use RAW memory unless absolutely necessary (which is practically never) always encapsulate it in a class that manages it. Whether the class is a smart pointer or another type of object is a good question. std::vector is not considered a smart pointer but it encapsulates a RAW pointer.

Q: Should you abstract memory management from business logic:
A: That’s a tricky one and some would may disagree. But I would say always. A class should do one thing. The thing is either resource management OR business logic. combining the two leads too unforeseen complexities.