Scala – 推断类型参数

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

导读：为什么这段代码会产生错误 def test[A](a: List[A],f: A = A) = a.map(f)println(test(List(1,2,3),_*2))error: missing parameter type for expanded function ((x$2) = x$2.$times(2)) Scala不应该告诉A是Int吗？解决方法您需要第二个参数列表才能生效.

为什么这段代码会产生错误

def test[A](a: List[A],f: A => A) = a.map(f)

println(test(List(1,2,3),_*2))

error: missing parameter type for expanded function ((x$2) => x$2.$times(2))

Scala不应该告诉A是Int吗？

解决方法

您需要第二个参数列表才能生效.我不确定这是如何在规范中定义的,但我之前已经看过了.

scala> def test[A](a: List[A])(f: A => A) = a.map(f)
test: [A](a: List[A])(f: (A) => A)List[A]

scala> test(List(1))(_+1)
res1: List[Int] = List(2)

（编辑：李大同）

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