是否可以通过创建类似PositiveInt的限制Int和在Scala中进行编译

发布时间：2020-12-16 09:32:13 所属栏目：安全来源：网络整理

导读：是否可以创建一个有限的Int，如PositiveInt，并有编译时检查？换句话说，可以定义一个方法，如： def myMethod(x: PositiveInt) = x + 1 然后有如下的东西： myMethod(-5) // does not compilemyMethod(0) // does not compilemyMethod(5) // compiles 如果

是否可以创建一个有限的Int，如PositiveInt，并有编译时检查？换句话说，可以定义一个方法，如：

def myMethod(x: PositiveInt) = x + 1

然后有如下的东西：

myMethod(-5) // does not compile
myMethod(0)  // does not compile
myMethod(5)  // compiles

如果可能，我应该如何从定义PositiveInt开始，我的意思是在Scala中有一个方便的技术？

解决方法

这种东西叫做 dependent typing，不，它不是在Scala。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!