Scala：特征中的“静态值”？

假设我有：

trait X {
  val x: String
}

使用混合，我可以定义一个特征，例如

trait XPrinter {
  self: X =>
  def printX: String = "X is: " + x
}

这样一个值/对象实现XPrinter实施x并给出其方法，例如printX访问指定的值X例如x.

到目前为止，一切都很好。

我想知道是否有一种方法可以具有以下形式的特征：

trait XDependent[T <: X] {
  def printX: String = ???
}

So that XDependent实例可以访问以下值T.x, with x假定为与类型定义粘合的“静态值”。

现在我明白为什么T.x无法访问XDependent因为类型子类型 X 甚至不必实现xT.x 可能是抽象的。

据我了解，虽然 Scala 提供了路径依赖类型，因此 X 中定义的抽象类型可以用于XDependent，如下所示：

trait X {
  type Y //which can be constrained as desired.
}

trait XDependent[T <: X]{
  def foo(v:T#Y)
  def bar: T#Y
}

它不提供与值相同的东西，因为 Scala 中类型和值之间有明显的分离。

现在我想到了值依赖类型 and 基于文字的类型。我想知道“类型的静态值”的想法（如上所示）是否与这些概念有很多重叠以及它们之间的联系。

我还想了解不同语言中采用的不同方法，以模糊类型和值之间的分离，它们与 Scala 类型系统的兼容性如何，以及将“静态值”与类型集成方面的复杂性-系统。即，（它们可以）/（如果它们是的话会发生什么）被子类型覆盖，等等。

如果可以放宽要求XDependent必须是一个trait，并使其成为abstract class相反，看起来好像一个类型类提供了一个空元方法x正是你想要的：

这是你的基本特征X（没有X.x或任何东西，这不会是“静态的”）：

trait X

现在您可以定义一个类型类HasStaticX[T]这保证了对于一个类型T我们可以给一些字符串x:

trait HasStaticX[T] {
  def x: String
}

然后你可以像这样使用它：

abstract class XDependent[T <: X : HasStaticX] {
  def printX: String = implicitly[HasStaticX[T]].x
}

What HasStaticX本质上是构建一个可以接受类型的编译时部分函数T并产生一个字符串值x有关联T。因此，在某种程度上，它类似于一个接受类型并返回值的函数。如果这是你想要的，那么“集成静态值”不需要做任何事情，它只适用于当前非实验性的主流 Scala 版本。

“值依赖类型”正好相反：这些本质上是为值分配类型的“函数”。