scala - 使用 Scala 的宏来强制类型相等

Question

我一直在试验 MacroParadise(here 和 here)，以及其他一些新功能。今天在使用 TypeTags 时，我意识到我现在可以做这样的事情来强制类型相等。

def typeEq[A: TypeTag, B: TypeTag]: Boolean = {
    implicitly[TypeTag[A]].tpe =:= implicitly[TypeTag[B]].tpe
}

然后我想起 TypeTag 隐式是编译器生成的，我想到我可以编写一个宏来实现更简洁的 TypeTag 用法，如下所示:

def foo[A](xs: List[A]): String = xs match {
  case y :: ys if typeEq[A, String] => y
  case y :: ys if typeEq[A, Int]    => y.toString 
} 

我只用 Lisp 编写了一些宏，并且在尝试使用宏库时遇到了麻烦。这让我进行了几次尝试，但它们最终都扩展为像 Int =:= Int 这样的东西，它不起作用，或者像 typeA =:= typeB 这样的东西，其中两者都是免费的(这也行不通)。

这引出了两个问题: 1) 如果没有 foo 上的上下文边界(就像上面写的那样)，这可能吗？ 2)如何将隐式获得的Type正确拼接到结果表达式中？

在我看来，宏和隐式应该允许我获取 WeakTypeTag 隐式并使用其 tpe 成员进行拼接，因为它们都发生在编译时。

Answer 1

您已经可以通过使用类型 =:=[From,To] 来强制类型相等:

def bar[A,B](a:A,b:B)(implicit ev: A =:= B)= (a,b)

bar(1,1)
res0: (Int, Int) = (1,2)

bar(1,"3")

error: could not find implicit value for parameter ev: =:=[Int,java.lang.String]
       bar(1,"3")
          ^

编辑:

抱歉，我猜你的问题有点不对。您的示例几乎可以正常工作，但编译器无法知道 A 是什么，因此无法找到 TypeTag[A] 的证据。如果您将上下文绑定(bind)到方法定义，它将起作用:

def foo[A : TypeTag](xs: List[A]) = xs match {
  case _ if typeEq[A, String] => "yay"
  case _ => "noes"
}

scala> foo(List(2))
res0: String = noes

scala> foo(List(""))
res1: String = yay

edit2:

对于您的示例，您实际上根本不需要 TypeTag，您可以只使用模式匹配，因为您只使用第一个元素:

def foo[A](xs: List[A]): String = xs match {
  case (y: String) :: _ => y
  case y :: _ => y.toString
}

scala> foo(List(1,2,3))
res6: String = 1

scala> foo(List("foo"))
res7: String = foo

但请注意，模式数学运算并不详尽，因为它不处理Nil。