模式匹配通用返回类型

Question

编辑
把这个留给后人，但将近一年后，投票下来，很好……现在不会做像下面这样的事情，但在当时，开始使用 Scala，问题通常来自无知的地方……

原创
我知道我可以将模式匹配包装在指定泛型类型的方法中，如下所示：

def getTeam[T <: _Team](clazz: String): _Team =
  clazz match {
    case "roster" => new RosterController
    case "schedule" => new ScheduleController
  }

并获得一个有意义的类型（_Team）供编译器使用。

但是，我想知道是否可以在不使用包装方法且不使用 asInstanceOf[_Team] 样板的情况下执行此操作？也就是说，

clazz match {
  case "roster" => new RosterController.asInstanceOf[_Team]
  case "schedule" => new ScheduleController.asInstanceOf[_Team]
}

如果不可能的话，也不是世界末日，而是更愿意就地进行匹配，而不是分成一个单独的方法。

谢谢

Answer 1

我不确定您认为这种方法发生了什么，但看起来您要么感到困惑，要么写下了错误的内容。

在您的示例中，T 是一个类型参数，上面由类型 _Team 界定（我假设它是一个类或一个特征）。您随后忽略了T，因此它可能是一个幻影类型，但从您的问题来看，但它看起来并不像这样。

您不可能需要将RosterController 转换为_Team，因为它要么是一个，要么不是。我可以推断出这一点，因为 RosterController 在实例化它时必须是一个具体的类。它要么是 _Team 的子类型，要么不是。

如果 _Team 是一个特质，它可以混合在：

new RosterController with _Team

但因为你没有解释你实际上想要做什么，所以很难确定！ RosterController 也参数化了吗？

---

编辑 - 从下面的评论中，您似乎想知道编译器将什么推断为表达式的结果类型，其中该表达式是 match 语句。

这是一个有用的示例，说明编译器如何推断出很多很酷的东西。

scala> class Bar; class Baz; trait Foo
defined class Bar
defined class Baz
defined trait Baz

现在让我们创建一个匹配表达式：

scala> def foo(s: String) = s match {
   | case "a" => new Baz with Foo
   | case _   => new Bar with Foo
   | }
foo: (s: String)ScalaObject with Foo

这样编译器就可以在这里正确推断出 Foo 。也许您可以重新表述您的问题，在 REPL 示例中提炼出您所期望的内容以及它与实际发生的情况有何不同。

Answer 2

trait _Team{ def doWhat_TeamCanDo(s:String){println s} }

class MyTeamString(clazz: String)

 implicit def getTeam: _Team =
  clazz match {
    case "roster" => new RosterController with _Team
    case "schedule" => new ScheduleController with _Team
 }
}

implicit def strToMyTeamString(s:String):MyTeamString= MyTeamString(s)

现在，您可以在需要时将任何字符串隐式“转换”为 _Team：

"roster".doWhat_TeamCanDo("foo")