Ada，Pascal和许多其他语言都支持范围，这是对整数进行子类型的一种方式。范围是一个有符号整数值，范围从一个值（第一个）到另一个值（最后一个）。实现一个在OOP中执行相同操作的类很容易，但是我认为本机支持该功能可以使编译器进行其他静态检查。

我知道无法静态地验证范围内定义的变量不会“溢出”运行时（即由于输入错误），但是我认为可以做些什么。我考虑了按合同设计方法（Eiffel）和Spec＃（C＃合同），它们给出了更通用的解决方案。

有没有更简单的解决方案，至少可以在C
++，C＃和Java的编译时检查静态的带外分配？某种静态断言？

编辑 ：我知道“范围”可以用于不同的目的：

1. 迭代器
2. 列举者
3. 整数子类型

我将重点放在后者上，因为前者很容易在C
*语言上进行映射。我考虑一个封闭的值集，例如音乐音量，即从1到100的范围。我想按一个值递增或递减。我希望在静态溢出的情况下出现编译错误，例如：

volume=rangeInt(0,100);
volume=101;  // compile error!
volume=getIntFromInput(); // possible runtime exception

谢谢。