This chapter formalized the requirements for exception safety of a piece of code, and then defined various means of managing dynamically-allocated objects in an exception-safe way using smart pointers. We looked at smart pointer templates both from Boost and ones that have been introduced by the new C++11 Standard, and understood the different ownership semantics and intrusive and nonintrusive reference counting. We also got a chance to look at ways of adapting some of the smart pointer templates for managing non-memory resources.

Hopefully, you have understood the various ownership semantics and would be able to judiciously apply the techniques in this chapter to such scenarios. There are facilities in the smart pointer library that we did not cover in any significant detail, like boost::shared_array and boost::enable_shared_from_raw. You should explore them further on your own, focusing on their applicability and their pitfalls. In the next chapter, we will learn about some nifty...