是否有任何编程语言支持定义原始数据类型的约束？

昨晚我在想编程语言可以有一个功能，我们应该能够限制分配给原始数据类型的值。

例如，我应该可以说我的 int 类型变量只能具有 0 到 100 之间的值

int<0, 100> progress;

然后，这将在所有情况下充当普通整数，除非您无法指定超出约束中定义的范围的值。编译器不会编译代码progress=200。 该约束可以通过类型信息来延续。

这可能吗？它是用任何编程语言完成的吗？如果是，那么哪种语言有这种技术，这种技术叫什么？

一般是不可能的。使用没有任何算术运算符的整数没有什么意义。使用算术运算符，您可以得到：

int<0,100> x, u, v;
...
x = u + v; // is it in range?

如果您愿意在运行时进行检查，那么是的，几种主流语言都支持它，从 Pascal 开始。