问题标签 [aux-pattern]

考虑：

该compileError函数无法编译并出现以下错误：

我真的不明白不兼容错误。所有B，C并且D是 的实例A，它有什么问题以及为什么compilesOk函数编译得很好？

考虑以下示例：

它看起来很自然，但无法编译：

我用asInstanceOf解决方法替换了它：

它编译得很好。这里是asInstanceOf安全的，这只是Scala 2类型成员语义的另一个问题，还是背后有另一个原因？

考虑以下内容sealed trait：

给定一个ClassSymbol表示Test.Aux[S.type]有没有办法得到一个ClassSymbol表示sealed trait Test？

这是一个例子：

该示例为Scala 2和Scala 3编译，但似乎没有意义。为什么会编译？

考虑以下示例：

在类型选择中出现了关于一些反射调用的想法信号T#T#GranularityKey。

你能解释一下这里会发生什么反射调用吗？那么它实际上是类型安全的吗？

我围绕 Aux-pattern 进行了一些实验，并发现它Aux与编译器集成得更好。考虑以下两种情况：

我。

斯卡斯蒂演示

此代码编译良好，没有警告。

二、

斯卡斯蒂演示

此代码编译时带有警告。

问题：考虑到这两种情况，辅助模式是否提供了一种更好的方式来对所有 ADT 分支的子集进行模式匹配？