Las funciones require() y assure() definidas en requiere.h se usan constantemente a lo largo de todo el libro, para que informen de problemas. Si se está familiarizado con los conceptos de precondiciones y postcondiciones (introducidos por Bertrand Meyer) es fácil reconocer que el uso de require() y assure() más o menos proporciona precondiciones (normalmente) y postcondiciones (ocasionalmente). Por eso, al principio de una función, antes de que se ejecute el «núcleo» de la función, se comprueban las precondiciones para estar seguro de que se cumplen todas las condiciones necesarias. Entonces, se ejecuta el «núcleo» de la función, y a veces se comprueban algunas postcondiciones para estar seguro de que el nuevo estado en el que han quedado los datos está dentro de los parámetros correspondientes. Notará que las comprobaciones de postcondición se usan raramente en este libro, y assure() se usa principalmente para estar seguro de que los ficheros se abren adecuadamente.