Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 530 — #568
✐
Apéndice A. Estilo de codificación
No están permitidas las declaraciones using de ningún tipo fuera de las definiciones
de función, y tampoco deben ponerse directivas using globales en ficheros de
cabecera.
En ficheros cpp, cualquier directiva using global sólo afectará a ese fichero, y
por eso en este libro se usan generalmente para conseguir código más legible, especialmente
en programas pequeños.
A.9.
Utilización de require() y assure()
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.
530
✐
✐
✐
✐