如何解决Scala 编译时检查对象使用quoted.Type
我有一个 Scala 3 类，它的实例包含一个引用的.Type 对象来捕获实例的类型：
class Skey[T](val name: Symbol)(using val qt: quoted.Type[T])
拥有 qt 的全部意义在于验证 Skey 的类型是否正确，但是，在典型情况下，我有一个函数想要返回检索到的 {{ 1}}，因此示意性表示（自原始帖子后编辑）：
Skey相等测试验证 class SkeyIndex(...):
private var hMap = immutable.HashMap[String,Skey[?]]:
...
def lookup(y: Skey[T],...): Option[Skey[T]] =
val existing: Option[Skey[?]] = hMap.get(name)
existing match
case None => None
case x @ Skey[?] =>
if x.qt == y.qt then x // THIS IS NOT QUITE RIGHT!
else ...
确实是正确的类型，但在运行时。是否有 x 匹配习语或一些涉及 match types 的魔法可以让编译器推断 x 是 quoted.Type 而不是某种其他类型的 Skey[T]？
我确信在 Scala 2 中没有办法做到这一点，但我对 Scala 3 抱有怀疑，它对类型级编程进行了更清晰的处理。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
