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

发布时间：2020-12-16 08:48:26 所属栏目：安全来源：网络整理

导读：我一直在尝试MacroParadise( here和 here),以及其他一些新功能.今天在使用TypeTags时,我意识到我现在可以做这样的事情来强制类型相等. def typeEq[A: TypeTag,B: TypeTag]: Boolean = { implicitly[TypeTag[A]].tpe =:= implicitly[TypeTag[B]].tpe} 然后我

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

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

然后我记得TypeTag implicits是编译器生成的,我想我可以编写一个宏来实现更简洁的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的Context Bounds(如上所述),这可能吗？
?2)如何正确地将implicits获得的类型拼接到结果表达式中？

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

解决方法

您可以使用type =：= [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]的证据.如果添加绑定到方法定义的上下文,它将起作用：

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：

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

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.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!