Algoritmos y Programación en Pascal

11.1. Tipos ordinales definidos por el programador 239
type
tNaturales = 1..MaxInt;
tDiasMes = 1..31;
tContador = 1..20;
El uso de tipos subrango es muy aconsejable debido a que:
• El compilador puede comprobar que el valor almacenado en una variable
de un tipo subrango se encuentra en el intervalo de definición, produciendo
el correspondiente error en caso contrario (véase el apartado C.3.3).
• Proporcionan una mayor claridad, ya que el compilador verifica la consistencia
de los tipos usados, lo que obliga al programador a una disciplina
de trabajo clara y natural.
Como es lógico, el dominio de un tipo subrango estará formado por la parte
del dominio de su tipo base que indique el intervalo considerado en la descripción.
Operaciones del tipo subrango
Un tipo subrango hereda todas las funciones y operaciones de su tipo base,
por lo tanto se permiten realizar asignaciones, comparaciones, pasar como parámetros
en procedimientos y funciones e incluso ser el resultado de una función.
Así, aunque el procedimiento EscribirDiaSemana tenía como parametro una
variable de tipo tDiasSemana, la herencia recibida por el tipo subrango permite
realizar la siguiente instrucción:
type
tDiasSemana = (lun, mar, mie, jue, vie, sab, dom);
tLaborables = lun..vie;
var
d: tLaborables;
...
EscribirDiaSemana(d)
Observaciones sobre el tipo subrango
• El tipo base puede ser cualquier tipo ordinal, es decir, char, integer,
boolean o un tipo enumerado definido anteriormente, como ocurre en el
tipo tLaborables y en el siguiente ejemplo: