在类型和唯一值之间建立已知的 1:1 关系

Question

鉴于我有一种使用密封特征和表示值的案例对象的枚举，是否可以强制执行一种机制来检索给定类型的单个唯一值，而不需要隐式参数？

隐含这将是

sealed trait Enum
sealed trait Value1 extends Enum
case object Value1 extends Value1 { implicit val me: Value1 = Value1 }
sealed trait Value2 extends Enum
case object Value2 extends Value2 { implicit val me: Value1 = Value1 }

def test[V <: Enum](implicit evidence: V): V = evidence

test[Value1]

是否可以删除隐式参数进行测试？也就是说，要确保 V 是 Enum 的已定义子类型（显然， test[Enum] 应该失败）。死结是：

object Enum {
  def unique[V <: Enum]: V = ???
}

?

Answer 1

您似乎在尝试根据类型查找特定值或行为，并且出于某种原因不想将此行为放在某个常见的超类中。

您还可以通过模拟 Java 的一些静态特性来尝试使用隐式对象和伴随对象来实现此目的。这是一个你绝对想从你的思维工具包中删除的模型，从面向对象编程的角度来看，它已经被彻底破坏了。

您真正想要的是临时多态性，我们有更好的方法来做到这一点。有趣的是，它仍然使用隐式和上下文绑定：

sealed trait Enum
sealed trait Value1 extends Enum
sealed trait Value2 extends Enum

case object Value1 extends Value1
case object Value2 extends Value2

sealed abstract class UniqValue[T] { def value: T }
implicit object Value1HasUniq extends UniqValue[Value1] { val value = Value1 }
implicit object Value2HasUniq extends UniqValue[Value2] { val value = Value2 }

def test[V <: Enum : UniqValue]: V = implicitly[UniqValue[V]].value

您还可以将test 定义为：

def test[V <: Enum](implicit ev: UniqValue[V]): V = ev.value

这完全一样，手动删除编译器会为你做的上下文边界的语法糖。

基本上，这一切都有效，因为编译在解析隐式时也会考虑类型参数。

如果您想了解更多关于这类事情的信息，搜索的神奇短语是“类型类”