Generic Programming

Volume 1766 of the series Lecture Notes in Computer Science pp 69-79


Exception-Safety in Generic Components

Lessons Learned from Specifying Exception-Safety for the C++ Standard Library
  • David AbrahamsAffiliated withDragon Systems

* Final gross prices may vary according to local VAT.

Get Access


This paper represents the knowledge accumulated in response to a real-world need: that the C++ Standard Template Library exhibit useful and well-defined interactions with exceptions, the error-handling mechanism built-in to the core C++ language. It explores the meaning of exception-safety, reveals surprising myths about exceptions and genericity, describes valuable tools for reasoning about program correctness, and outlines an automated testing procedure for verifying exception-safety.


exception-safety exceptions STL C++