我尝试使用泛型返回类型编写函数,但除非我转换返回类型,否则它不起作用。请参阅下面的函数getSomething()
我希望它在没有强制转换的情况下工作。我在这里做错了什么?
trait Sup
class Sub extends Sup {
def getString = "I am Sub"
}
class Sub2 extends Sup {
def getInt = 100
}
def getSomething[A <: Sup](str: String) : A = {
str match {
case "sub" => getSub.asInstanceOf[A]
case "sub2" => getSub2.asInstanceOf[A]
}
}
def getSub(): Sub = {
new Sub
}
def getSub2() : Sub2 = {
new Sub2
}
val x = getSomething[Sub]("sub").getString
val y = getSomething[Sub2]("sub2").getInt
答案 0 :(得分:4)
正如Alexey所提到的,需要instanceOf
来强制预期类型和返回对象类型之间的链接。这相当于说:“编译器,相信我,我给你一个'A'”并且它不是很安全,因为它依赖于我们提供正确的类型。
如果我们希望类型系统为我们解决问题,我们需要给它一些额外的信息。在Scala中执行此操作的一种方法是定义一些知道如何生成类型和证据实例的工厂,以允许该工厂返回我们的特定类型。
这是上面引入此类构造的代码的一个版本,并使用ContextBounds
来获取我们想要的类型的正确工厂实例。
trait Sup
class Sub extends Sup {
val str = "I'm a Sub"
}
class Sub2 extends Sup {
val number = 42
}
trait SupProvider[T <: Sup] {
def instance:T
}
object SupProvider {
def getSomeSup[T<:Sup:SupProvider]: T = implicitly[SupProvider[T]].instance
implicit object SubProvider extends SupProvider[Sub] {
def instance = new Sub
}
implicit object Sub2Provider extends SupProvider[Sub2] {
def instance = new Sub2
}
}
SupProvider.getSomeSup[Sub].str
// res: String = I'm a Sub
SupProvider.getSomeSup[Sub2].number
// res: Int = 42
答案 1 :(得分:2)
您在没有asInstanceOf
的情况下收到的错误消息会告诉您确切的错误。在case "sub"
中,正文提供Sub
,编译器没有理由认为A
是Sub
的超类型(或者Sub
可以隐含地转换为A
)。
假设它有效。然后以下调用是合法的:
val z = getSomething[Sub]("sub2").getString
或
trait Sub3 extends Sup
val w = getSomething[Sub3]("sup")
两种情况都会发生什么?