[英]Scala, covariant type definition
我有一组从Step[I, O]
继承的类Step[I, O]
其中I
是输入, O
是输出。 我想定义一个不关心I
的更具体的子类。
这是我的定义:
trait Step[I, O] {
def apply(c:Context, i:I):Either[Error, O]
}
// H : Action handler
// A : Action handled by H
// R : Result of successful A
class Legacy[H, A <: Action[H], R](action: A with Result[R], handler: H) extends Step[Any, R] {
override def apply(c:Context, a: Any): Either[Error, R] = {
handler.run(action)
}
}
但是这些步骤通过 DSL 链接起来,该 DSL 使用步骤的输出O
作为下一个步骤的输入I
// DSL excerpt
class AndThenBuilder[I] {
def andThen[O](producer: (Context, I) => Step[I, O]) = ???
}
//...
val intToString:Step[Int, String] = //new SubType of Step
val legacy:Step[Any, String] = // new Legacy( action with Result[String])
//...
execute(intToString) // return AndThenBuilder[String]
.andThen((_:Context, s:String)=>legacy)
最后一行,不编译,因为 DSL 验证类型:
必需 : (Context, String) => Step[String, NotInferedO]
找到 : (Context, String) => Step[Any, String]
我想将Step[I, O]
更改为Step[I_Or_Subtypes, O]
可以解决我的问题。 但是我找不到在Step
或Legacy
定义它的语法,每次尝试都会给我一个更神秘的信息。
有人可以帮我更改我的代码,以便Step[Any, String]
将被接受为Step[String, String]
。 (我可以通过其他类型更改Any
)?
谢谢
这样
Step[Any, String]
将被接受为Step[String, String]
这需要第一个参数是反变的,而不是像标题中那样协变。 语法是
trait Step[-I, O] { ... }
碰巧的是, I
可以是逆变的,但不是协变的,因为它被用作方法参数类型。 虽然O
可以是协变的,但不能是逆变的。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.