如何解决在 Scala 中,是否可以从 TypeTag 初始化单例对象?
case class TypeViz[T : TypeTag]() {
def getonlyInstance = ...
}
如果 T
是单例类型,是否可以在运行时使用 TypeTag 来查找 T
的值?即:
object TypeViewsspec {
val a = 3
val b = new Object {
val c = 3
}
}
it("object") {
val v = TypeViz[TypeViewsspec.type]
assert(v.getonlyInstance == TypeViewsspec)
}
it("constant") {
val v = TypeViz[3].typeView
assert(v.getonlyInstance == 3)
}
it("unique value") {
val v = TypeViz[TypeViewsspec.a.type].typeView
assert(v.getonlyInstance == 3)
}
it(" ... more complex") {
val v = TypeViz[TypeViewsspec.b.c.type].typeView
assert(v.getonlyInstance == 3)
}
我不确定这个特性是否在 Scala 反射中原生提供。因此,请尽可能在不更改类 TypeViz
非常感谢您的意见。
解决方法
我猜你知道 scala.ValueOf
和 shapeless.Witness
case class TypeViz[T : TypeTag]() {
def getOnlyInstance(implicit valueOf: ValueOf[T]) = valueOf.value
}
case class TypeViz[T : TypeTag]() {
def getOnlyInstance(implicit witness: Witness.Aux[T]) = witness.value
}
如果您想避免像 In scala 2,can macro or any language feature be used to rewrite the abstract type reification mechanism in all subclasses? How about scala 3? 中的隐式参数,同样不清楚目标是什么。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。