FreePascal范围检查机制解析：自定义范围为何未生效？

1. 声明j: 1..40后，输入超出范围的值为何无运行时错误？ #

Pascal中的子范围类型（如1..40）是对基础数值类型（默认是Integer）的约束，但它不会自动为输入操作提供运行时范围校验——Read(j)这类输入函数不会检查输入值是否符合子范围要求，会直接将值写入变量内存。

使用子范围类型而非integer的核心价值在于：

• 内存优化：如果范围足够小（比如1-40），编译器会自动选择更紧凑的存储类型（比如Byte），减少内存占用。
• 编译期错误拦截：如果在代码里直接给j赋值超出范围的常量（如j := 41;），编译器会立刻报错，提前发现逻辑错误。
• 代码语义化：明确标注变量的合法取值范围，提升代码可读性和维护性。

2. 输入校验代码为何触发警告，修改范围为1..41后警告消失？ #

当j被声明为1..40时，编译器通过静态分析知道该变量的取值被约束在1到40之间。此时代码中的(j > 40) OR (j < 1)条件，在编译器看来是永远不可能成立的——它会确保编译期可检查的代码不会让j超出范围。即便输入操作可能传入非法值，编译器也只会基于变量的类型约束做判断，因此抛出"Comparison might be always false"的警告。

当把j的范围改为1..41后，j > 40变成了可能成立的条件（j可以取41），编译器不再认为该比较是无意义的，警告自然消失。

更合理的处理方式 #

不要为了消除警告修改变量的合法范围，正确的做法是用临时变量接收输入，完成校验后再赋值给子范围变量：

VAR
  temp: Integer;
  j: 1..40;
BEGIN
  REPEAT
    Readln(temp);
    IF (temp > 40) OR (temp < 1) THEN
      Writeln('Invalid input');
  UNTIL (temp <= 40) AND (temp >= 1);
  j := temp; // 编译器会自动检查temp是否符合j的子范围，确保安全
END;

内容的提问来源于stack exchange，提问作者Slan