scala通用函数返回类型

问题描述：

我试着用通用返回类型编写函数，但除非我强制返回类型，否则它不起作用。请参阅下面的函数getSomething()我预计它没有铸造工作。我可能在这里做错了什么？scala通用函数返回类型

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

答

正如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

答

你不asInstanceOf错误消息告诉你到底你在做什么错。在case "sub"中，正文给出Sub，编译器没有理由认为A是Sub的超类型（或Sub可以隐式转换为A）。

假设它有效。然后下面的调用是合法的：

val z = getSomething[Sub]("sub2").getString

或

trait Sub3 extends Sup 
val w = getSomething[Sub3]("sup")

应该在两种情况下会发生什么？

scala通用函数返回类型

相关推荐