Question

我有以下代码应该是工厂类。它的apply方法具有用于返回类型限制的通用参数：

sealed trait Account
final case class CheckingAccount() extends Account
final case class SavingsAccount() extends Account

object Account {
    def apply[T <: Account]:T = {
        CheckingAccount()   // CheckingAccount().asInstanceOf[T]
    }
}

但是，如果未明确进行类型转换，则编译器将报告“类型为Banking.CheckingAccount的表达式不符合预期的类型T”。有人知道为什么吗？

Answer 1

方法签名

def apply[T <: Account]: T

保证每个 T的子类型Account都可以产生T。

尤其是

Account.apply[Nothing]

应“返回” Nothing的实例。由于没有Nothing的实例，因此实现这种方法的唯一方法是抛出错误/异常。换句话说，you方法的签名要求的很少，并承诺了很多，因此该方法实际上无法实现。

解决方法1

删除类型参数。返回Account。

解决方法2

如果要保留通用返回类型，则可能需要尝试这样的操作：

sealed trait Account
final case class CheckingAccount() extends Account
final case class SavingsAccount() extends Account

trait Default[X] {
  def createDefault: X
}

implicit object DefaultCheckingAccount extends Default[CheckingAccount] {
  def createDefault = CheckingAccount()
}

implicit object DefaultSavingsAccount extends Default[SavingsAccount] {
  def createDefault = SavingsAccount()
}

object Account {
    def apply[T <: Account](implicit d: Default[T]): T = d.createDefault
}

Account[SavingsAccount]
Account[CheckingAccount]

它可以编译，但是看起来有点多余（调用Account[SavingsAccount]而不是仅仅SavingsAccount()的意义是什么？）

具有通用返回类型的零方法

1 个答案:

解决方法1

解决方法2