问题描述
我有一个 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 (将#修改为@）