Scala 交叉编译文字类型

Question

有没有办法将文字类型交叉编译为 Scala 2.12？

比方说

def foo[S <: String](implicit V: ValueOf[S]): String = V.value

println(foo["bar"])

Shapeless 可以使用ValueOf shapeless.Witness或者提供另一种类型 class 和 Scala 版本特定实现。 但是我对如何处理表达式foo["bar"]有点迷茫。

Answer 1

foo["bar"]在 2.12 中不可解析。

你应该使用foo[Witness.`"bar"`.T]

def foo[S <: String](implicit V: Witness.Aux[S]): String = V.value

println(foo[Witness.`"bar"`.T]) //bar

获取“单例类型”的类型