获取作为类型参数传递的文字类型的值

Question

我正在尝试编写一个宏，它返回作为类型参数传递的文字类型的值，如果参数不是文字类型，则无法编译。这里有些例子：

def literalValue[SC <: String] = //...

literalValue["AB"] // returns "AB"
literalValue["C"] // returns "C"
literalValue[String] // compile error

所以我从常规的宏样板开始，遇到了以下问题：

def implStringLiteral[SC <: String: c.WeakTypeTag](c: blackbox.Context): c.Expr[SC] = {
  import c.universe._
  val symbol = weakTypeOf[SC].typeSymbol //It is String
  //...
}

看起来文字类型本身是作为常规传递的String，因此无法通过其 获得精确的类型信息WeakTypeTag。

有什么解决方法可以解决这个问题吗？

Answer 1

ValueOf[T]typeclass 返回开箱即用的唯一居民

scala> valueOf
def valueOf[T](implicit vt: ValueOf[T]): T
scala> valueOf["AB"]
val res2: String = AB

scala> valueOf[42]
val res3: Int = 42

scala> object Foo
object Foo

scala> valueOf[Foo.type]
val res4: Foo.type = Foo$@6e1ad658

scala> valueOf[Unit]

scala> .toString
val res6: String = ()

scala> valueOf[String]
              ^
       error: No singleton value available for String.