是否可以扩展Scala编译器来推断递归方法的返回类型？

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

导读：Scala编译器目前无法推断递归方法的返回类型,如下面的代码所示 def foo(i:Int) = if (i 0) foo (i-1) else 0 在上述声明中有什么启示吗？ (即,是否为Int可能的任何类型？) 我可以想象,在更复杂的例子中,很难推断出这种类型. 有可能进一步表征递归方法的情况,

Scala编译器目前无法推断递归方法的返回类型,如下面的代码所示

def foo(i:Int) = if (i > 0) foo (i-1) else 0

在上述声明中有什么启示吗？ (即,是否为Int可能的任何类型？)

我可以想象,在更复杂的例子中,很难推断出这种类型.

有可能进一步表征递归方法的情况,我们可以(不)推断类型？

编辑器足够聪明,可以确定字符串不正确.

scala> def foo(i:Int):String = if (i > 0) foo (i-1) else 0
<console>:5: error: type mismatch;
found   : Int(0)
required: String

解决方法

如果您的递归调用始终处于最后的位置,即其值不会被使用并且仅返回,则应该可以将类型确定为所有其他分支的公共超类型.

但是在某种情况下

def foo(i: Int) = if (i > 0) foo(i - 1) + 1 else 0

你不会知道foo(i-1)1的类型(或者理解操作,因为它实际上是一个foo的方法 – 事情在对象存在时变得越来越复杂),而不知道是什么foo.所以,你再次在圈子里移动.

（编辑：李大同）

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