Question

我有几个DAO（使用Slick），如下所示

abstract class SuperRecord

abstract class SubSuperRecord extends SuperRecord

class Record1 extends SuperRecord

class Record2 extends SubSuperRecord

abstract class SuperTable[T <: SuperRecord] extends slick.driver.MySQLDriver.simple.Table[T]

abstract class SubSuperTable[T <: SubSuperRecord] extends SuperTable[T]

object DAO1 extends SuperTable[Record1]

object DAO2 extends SubSuperTable[Record2]

我将通过以下方法返回这些 - 我没有声明返回类型，我让类型推理引擎处理

def getTable(table: String) = {
  table match {
    case "DAO1" => DAO1
    case "DAO2" => DAO2
    case _ => throw new IllegalArgumentException("invalid table")
  }
}

我正在尝试重构该方法以返回Try对象，但这似乎让类型推理引擎感到困惑

def getTable(table: String) = Try {
  table match {
    case "DAO1" => DAO1
    case "DAO2" => DAO2
    case _ => throw new IllegalArgumentException("invalid table")
  }
}

当我解压缩成功时，我得到了一个Serializable，所以我正在尝试协助类型推理引擎

def getTable[T <: SuperRecord, U <: SuperTable[T]](table: String): Try[U] = Try {
  table match {
    case "DAO1" => DAO1
    case "DAO2" => DAO2
    case _ => throw new IllegalArgumentException("invalid table")
  }
}

然而，编译器告诉我，DAO1和DAO2都不匹配此类型。这种方法的正确返回类型是什么？

Answer 1

使用getTable的第一个定义（不使用try）在REPL中键入getTable2的定义，您将获得所需的返回类型。

def getTable2(table: String) = Try { getTable(table) }

这是：Try[SuperTable[_1] forSome { type _1 >: Record1 with Record2 <: SuperRecord}]

方法返回类型[U＆lt ;: Record，T＆lt ;: Table [U]]无法正常工作

1 个答案: