为什么Scala中允许将Array(1,2,3)赋值给Int=>Int类型的变量?
问题核心原因:Scala 标准库预置了数组到 Function1 类型的隐式转换
你猜测的「只要类实现了对应签名的 apply 方法就能自动适配函数类型」是不成立的,Scala 本身没有这种语法规则,你自定义的 Bar 类赋值时报错已经直接验证了这点。
Array[Int] 能直接赋值给 Int => Int 完全是因为 Scala 预置了隐式转换逻辑:
- Scala 全局默认导入的
scala.Predef对象中定义了数组的隐式转换方法,比如针对 Int 数组的implicit def wrapIntArray(xs: Array[Int]): ArrayOps[Int] ArrayOps以及你看到的WrappedArray$ofInt这类数组包装类,都显式实现了Function1[Int, Int]接口,完全符合函数类型的定义- 当编译器发现你把
Array[Int]赋值给Int => Int类型的变量时,会自动插入对应的隐式转换代码,完成类型匹配。
你可以自己给自定义类补隐式转换复现相同的效果:
class Bar { def apply(i: Int): Int = Array(1,2,3)(i) } // 补一个隐式转换 implicit def barToFunc(b: Bar): Int => Int = b.apply(_) object Foo { // 此时不会再报类型不匹配错误 val arr: Int => Int = new Bar() }
内容的提问来源于stack exchange,提问作者Han
相关产品推荐
相关产品推荐

