Exception-Safety in Generic Components

Lessons Learned from Specifying Exception-Safety for the C++ Standard Library
  • David Abrahams
Conference paper

DOI: 10.1007/3-540-39953-4_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1766)
Cite this paper as:
Abrahams D. (2000) Exception-Safety in Generic Components. In: Jazayeri M., Loos R.G.K., Musser D.R. (eds) Generic Programming. Lecture Notes in Computer Science, vol 1766. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

exception-safety exceptions STL C++ 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • David Abrahams
    • 1
  1. 1.Dragon SystemsUSA

Personalised recommendations