scala – 区分no和A => Any用于重载方法
发布时间：2020-12-16 08:44:07 所属栏目：安全 来源：网络整理
导读：我不确定我是否为这个问题选了一个好头衔. 假设以下代码： object Test { def f1[A](p1: A = Int) = println("f1") def f1[A](p1: A = Int,p2: A = Int) = println("f2")} 执行Test.f1 [String](_.toInt)会返回以下错误： error: missing parameter type for
|
我不确定我是否为这个问题选了一个好头衔.
假设以下代码： object Test {
def f1[A](p1: A => Int) = println("f1")
def f1[A](p1: A => Int,p2: A => Int) = println("f2")
}
执行Test.f1 [String](_.toInt)会返回以下错误： error: missing parameter type for expanded function ((x$1) => x$1.toInt)
Test.f1[String](_.toInt)
^
但Test.f1 [String]((a：String)=> a.toInt)将无错误地执行. 在决定重载方法之前,Scala似乎需要了解参数类型.它不能区分什么和A => Int在这种情况下.如果是真的,为什么？ 这种情况有其他选择吗？ 解决方法
因为它不使用Hindley-Milner型推断. Scala构建在使用类型擦除的jvm上：类存在于运行时,但其参数类型不存在.如果你想消除一点点缺点,请阅读：
Making the most of Scala’s (extremely limited) type inference
（编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |