shi*_*dan 6 generics scala structural-typing
我有两个案例类
case class StringCaseClass(argument: String)
case class IntCaseClass(argument: Int)
Run Code Online (Sandbox Code Playgroud)
我想定义一个结构类型,它将匹配这两个的伴随对象
type HasApply1 {
def apply[A, R](argument: A): R
}
Run Code Online (Sandbox Code Playgroud)
这将编译正常,但当我尝试使用它这样
def method(caseClass: HasApply1) {
// whatever
}
method(StringCaseClass)
Run Code Online (Sandbox Code Playgroud)
我会得到一个编译器错误
found : StringCaseClass.type
required: WithApply1
(which expands to) AnyRef{def apply[A, R](string: A): R}
Run Code Online (Sandbox Code Playgroud)
有没有办法实现这个?如果我重新定义结构类型以具有A和R的具体类型,它将正确编译,但后来我失去了灵活性
@ aloiscochard的评论几乎就在那里.他忘了提到的是,case类的伴随对象已经实现了相应的FunctionN
特性,所以你可以简单地这样做,
scala> case class StringCaseClass(argument: String)
defined class StringCaseClass
scala> case class IntCaseClass(argument: Int)
defined class IntCaseClass
scala> def method[A, R](caseClass: A => R, a: A) = caseClass(a)
method: [A, R](caseClass: A => R, a: A)R
scala> method(StringCaseClass, "foo")
res0: StringCaseClass = StringCaseClass(foo)
scala> method(IntCaseClass, 23)
res1: IntCaseClass = IntCaseClass(23)
Run Code Online (Sandbox Code Playgroud)