def merge[X](list1: Option[List[X]], list2: Option[List[X]]): Option[List[X]]
def merge[X](list1: Option[List[X]], elem: Option[X]): Option[List[X]]
编译器说这两个函数在擦除后具有相同的类型
def merge[X](list1: Option[List[X]],list2: Option[List[X]]): Option[List[X]] at line 122 and
def merge[X](list1: Option[List[X]],elem: Option[X]): Option[List[X]] at line 131
have same type after erasure: (list1: Option, list2: Option)Option
为什么擦除后
Option[List[X]]
和Option[X]
变得一样了?
我怎样才能让它们与众不同?
为什么擦除后
和Option[List[X]]
变得一样了?Option[X]
因为
Option[...]
的泛型类型参数被删除(因此 X
和 List[X]
都被删除),因此两个方法将具有相同的签名。
我怎样才能让它们与众不同?
一种方法 - 将虚拟隐式参数添加到其中一个方法,以便它们具有不同的签名:
def merge[X](list1: Option[List[X]], list2: Option[List[X]]): String = "1"
def merge[X](list1: Option[List[X]], elem: Option[X])(implicit d: DummyImplicit): String = "2"
println(merge(Some(List(1)), Some(List(2)))) // 1
println(merge(Some(List(1)), Some(2))) // 2
对于 Scala 3(感谢 @Gaël J 指出这一点)
@targetName
注释可用于解决歧义:
import scala.annotation.targetName
def merge[X](list1: Option[List[X]], list2: Option[List[X]]): String = "1"
@targetName("merge_element")
def merge[X](list1: Option[List[X]], elem: Option[X]): String = "2"
println(merge(Some(List(1)), Some(List(2)))) // 1
println(merge(Some(List(1)), Some(2))) // 2