通过反射确定类型是否为单例。

Question

我该如何确定一个类型是否为单例模式？

case object Foo
case class Bar(i: Int)

def isSingleton[A](implicit t: reflect.ClassTag[A]): Boolean = ???

assert( isSingleton[Foo.type])
assert(!isSingleton[Bar     ])

- 0__

Answer 1

您需要一个 ClassTag 吗（<:< 在 ClassTag 中已被弃用）？如果不需要，那么它可以这样工作：

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> def isSingleton[A : TypeTag] = typeOf[A] <:< typeOf[Singleton]
isSingleton: [A](implicit evidence$1: reflect.runtime.universe.TypeTag[A])Boolean

scala> isSingleton[Foo.type]
res5: Boolean = true

scala> isSingleton[Bar]
res6: Boolean = false

- kiritsuku

---

不用，TypeTag 就可以了。谢谢。 - 0__

我不确定是我在找错地方还是怎么的，但我在Scala API文档中找不到名为“Singleton”的类型。它在哪里？ - Randall Schulz

@RandallSchulz：它是Scala中的一种“神奇”类型。它只存在于编译器中... - kiritsuku

我明白了。我猜这是一个疏忽，因为其他“合成”类型都有ScalaDoc条目，即使它们不是从实际编译到Scala标准库的代码派生出来的。 - Randall Schulz

Answer 2

我想添加另一种可能性，当您处于Symbol级别时非常有用（例如，向下浏览类型的子类型）：

def isSingleton[A: TypeTag]: Boolean = typeOf[A].typeSymbol.isModuleClass

- 0__