Tres palabras clave del diseño contractual
Una condición previa:
Para llamar a una función, la condición debe ser verdadera. Cuando se viola, la función nunca será llamada. Es responsabilidad de la persona que llama pasar bien. datos. .
Segunda poscondición (poscondición):
Lo que la función garantiza que puede hacer, el estado en el que se completa la función, el hecho de que la función tenga esto significa que finalizará y no ser un bucle sin fin
Tres tipos de invariantes (invariantes de clase):
Desde la perspectiva de la persona que llama, esta condición siempre es verdadera Durante el procesamiento interno de la función, no Las variables pueden. ser mutables, pero deben ser verdaderos cuando el control regresa a la persona que llama después de que finaliza la función.
上篇: ¿Cómo asignar el servidor ftp como una unidad de red en el sistema Windows? 下篇: En la tabla de Excel, la columna A es el nombre del producto y la columna B es la ubicación de almacenamiento. Habrá múltiples ubicaciones de almacenamiento para el mismo producto. ¿Cómo filtra directamente una fórmula un producto?