我知道,不可能静态地验证一个范围中定义的变量不会“溢出”运行时,即由于输入不良,但我认为可以做一些事情.
我想到了Design by Contract方法(Eiffel)和Spec#(C# Contracts),给出了一个更一般的解决方案.

有没有一个更简单的解决方案,至少在C,C#和Java编译时检查静态的外联分配？某种static-assert？

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

>迭代器
>枚举器
>整数子类型

我会专注于后者,因为Former可以很容易地以C *语言映射.
我想到一个封闭的一组值,就像音乐音量,即从1到100的范围.我想增加或减少一个值.我想要一个编译错误,以防止静态溢出,如下所示：

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

谢谢.