Question

我是新用的Scala，我需要的是根据一些模式匹配功能创建一个动态类型，比如

type defType = "value1" match {
  case "value0" => typeOf[String]
  case "value1" => typeOf[Integer]
  case _ => typeOf[Double]
}

val test5 : defType = 4

这只是一个例子，因为我会使用更复杂的结构，但会提出我想要做的事情。

Answer 1

出于基本的概念原因，我担心这是不可能的。由于在编译时检查了类型规则，因此无法基于在运行时之前可能未知的值来派生类型。

话虽如此，您可以通过定义case classes族来解决您的设计问题，每个族都是特定类型值的包装器。通过为这些类提供一个公共基类，您可以将任何类型的值存储到同一个变量中，并通过类型安全模式匹配来提取它：

class Base
case class AString(val value: String) extends Base
case class AnInt(val value: Int) extends Base
case class ADouble(val value: Double) extends Base

val a : Base = "value1" match {
  case "value0" => AString(…)
  case "value1" => AnInt(…)
  case "value0" => ADouble(…)
}

a match {
  case AString(s) => …
  case AnInt(i) => …
  case ADouble(i) => …
  …
}

Answer 2

我可能不明白你在做什么，但这对我来说似乎有问题：

val test5 : defType = 4

编译器需要能够在编译时知道defType ，否则无法进行类型检查。基于此，我认为你想要做的是在编译时利用Scala macros进行这种模式匹配。

然而，我觉得这不是正确的解决方案，因为这整个场景看起来很奇怪。如果你详细了解你想要做的事情的大局，我们可以建议一个更好的解决方案。

从scala中的模式匹配创建类型

2 个答案: