如何正确模式匹配 TypeRepr在更高级的类型上？ Existentials 成功匹配类，但是当我尝试使用类型时，我收到编译器错误 unreducible application of higher-kinded type writetype.Foo to wildcard arguments
import scala.quoted.*
type Foo[X]
class Bar[X]
inline def writeType[T]: String = ${writeTypeImpl[T]}
def writeTypeImpl[T](using Type[T], Quotes): Expr[String] =
import quotes.reflect.*
val tpe = TypeRepr.of[T]
val s = tpe.asType match
//case '[Foo[?]] => "FooSuccess"
case '[Bar[?]] => "BarSuccess"
case _ => "Fail"
Expr(s)
最佳答案
这是您需要的答案:
https://docs.scala-lang.org/scala3/guides/migration/incompat-other-changes.html#wildcard-type-argument
您必须使用 trait或 abstract class或 Foo[A]其中是具体类型(或类型参数)
关于Scala 3 TypeRepr 匹配更高级的类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/67961353/