- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在开发 DSL,但在扩展宏时遇到“自由术语”失败。我想知道是否可以避免。我把问题简化为以下情况。
假设我们有这个表达式:
val list = join {
0
1
2
3
}
println(list)
其中 join 是一个宏,其实现是:
def join(c: Ctx)(a: c.Expr[Int]): c.Expr[List[Int]] = {
import c.mirror._
a.tree match {
case Block(list, ret) =>
// c.reify(List(new c.Expr(list(0)).eval,
// new c.Expr(list(1)).eval,
// new c.Expr(list(2)).eval) :+ new c.Expr(ret).eval)
c.reify((for (expr <- list) yield new c.Expr(expr).eval) :+ new c.Expr(ret).eval)
}
}
该宏的目的是连接参数 block 中的所有元素并将它们返回到单个列表中。由于 block 的内容可能是可变的,因此我无法使用带注释的 reify (效果很好)。未注释的 - 带有 for 理解,生成自由术语 - 抛出消息:
“宏扩展包含由 Macros.scala:48:18 中的 join 定义的自由项变量列表。将此变量拼接到 reifee 时是否忘记使用 eval?如果您在跟踪自由项变量时遇到问题,请考虑使用-Xlog-free-terms”
有没有什么方法可以引入 for 理解(或迭代器或其他)而不会出现此错误?顺便说一下,我使用的是2.10-M3。
最佳答案
问题在于您的代码混合了编译时和运行时概念。
您使用的“列表”变量是一个编译时值(即它应该在编译时迭代),并且您要求 reify 将其保留到运行时(通过拼接派生值) )。这个跨阶段的难题导致了所谓的自由术语的产生。
简而言之,自由术语是引用早期阶段的值的 stub 。例如,以下代码片段:
val x = 2
reify(x)
将编译如下:
val free$x1 = newFreeTerm("x", staticClass("scala.Int").asTypeConstructor, x);
Ident(free$x1)
聪明吧?结果保留了 x 是 Ident 的事实,保留了其类型(编译时特征),但仍然引用了它的值(运行时特征)。这是通过词法作用域实现的。
但是,如果您尝试从宏扩展(内联到宏的调用站点)返回这棵树,事情就会崩溃。宏的调用站点很可能在其词法范围内没有 x,因此它无法引用 x 的值。
更糟糕的是。如果上面的代码片段写在宏内,则 x 仅在编译时存在,即在运行编译器的 JVM 中。但是当编译器终止时,它就消失了。
但是,包含对 x 的引用的宏扩展结果应该在运行时运行(很可能在不同的 JVM 中)。为了理解这一点,您需要跨阶段持久性,即能够以某种方式序列化任意编译时值并在运行时反序列化它们。我不知道如何用 Scala 这样的编译语言来做到这一点。
<小时/>请注意,在某些情况下,跨阶段持久性是可能的。例如,如果 x 是静态对象的字段:
object Foo { val x = 2 }
import Foo._
reify(x)
那么它最终不会成为一个自由术语,而是会以一种简单的方式具体化:
Select(Ident(staticModule("Foo")), newTermName("x"))
这是一个有趣的概念,SPJ 在 2012 年 Scala Days 的演讲中也对此进行了讨论:http://skillsmatter.com/podcast/scala/haskell-cloud 。
为了验证某些表达式不包含自由项,在 Haskell 中,他们向编译器添加了一个新的内置基元,即 Static
类型构造函数。对于宏,我们可以通过使用 reify(它本身只是一个宏)自然地做到这一点。请参阅此处的讨论:https://groups.google.com/forum/#!topic/scala-internals/-42PWNkQJNA .
现在我们已经了解了原始代码到底存在什么问题,那么我们如何使其正常工作呢?
不幸的是,我们将不得不退回到手动 AST 构建,因为 reify 很难表达动态树。 reify 在宏观学中的理想用例是拥有一个静态模板,其中包含宏编译时已知的漏洞类型。退一步 - 你将不得不手动 build 树木。
底线是您必须遵循以下内容(适用于最近发布的 2.10.0-M4,请参阅 scala-language 上的迁移指南以了解到底发生了什么变化: http://groups.google.com/group/scala-language/browse_thread/thread/bf079865ad42249c ):
import scala.reflect.makro.Context
object Macros {
def join_impl(c: Context)(a: c.Expr[Int]): c.Expr[List[Int]] = {
import c.universe._
import definitions._
a.tree match {
case Block(list, ret) =>
c.Expr((list :+ ret).foldRight(Ident(NilModule): Tree)((el, acc) =>
Apply(Select(acc, newTermName("$colon$colon")), List(el))))
}
}
def join(a: Int): List[Int] = macro join_impl
}
关于macros - 这种自由项变量错误(在宏展开时产生)可以避免吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11029675/
如何在代码中展开/折叠WPF扩展器?我需要这样做才能在其中初始化控件。 最佳答案 使用IsExpanded属性,将其设置为true以使内容可见: myExpander.IsExpanded = tru
Powershell 展开让我发疯。 我有以下代码可以从交换收件人处检索电子邮件地址。我使用 ArrayList 是因为当您希望能够从数组中删除项目时,很多人都建议使用它。 $aliases = Ne
是否可以展开/折叠数据表中的子表?我的子表包含与其上方行相关的信息,我想显示/隐藏图像的点击。只是想知道我会怎么做? 这是我目前使用的:
我正在尝试创建一个可扩展的文本区域,仅当该框为空时,该区域才会折叠回其原始高度。如果它不为空,那么我希望文本区域保持扩展并根据需要增长(即,当用户输入更多文本时增长)。文本区域永远不应该隐藏输入的文本
当尝试将 nestedSortable jQuery 插件与其网站上提供的示例一起使用时,该插件无法正常工作。 拖放可以工作,但是当我需要折叠/展开时就会出现问题。我使用了另一个问题中建议的解决方案,
我有一个显示嵌套数据的表。数据如下所示: Objective 1 Objective 1.1 Objective 1.1.1 Objective 1.2
我正在使用 jQuery 从屏幕左侧展开/缩回菜单栏。 这是我到目前为止所拥有的: $(document).ready(function(){ $('.menu-button').on("clic
如何根据类别向页面上的图像添加隐藏/显示(折叠/展开)功能? 我希望具有特定类的图像在加载时折叠,并在 JS 中定义一些任意标记(比方说, Show ),然后在扩展中具有不同的任意标记( Hide )
我需要在折叠和展开后触发事件调整大小。当我尝试使用 SWT.Collapse 和 SWT.Expand 执行此操作时,树上没有任何更改,因为它在发生之前就已触发。有什么办法吗? 最佳答案 尝试调用 D
我有一个如下所示的域: package object tryme { type ALL = AlarmMessage :+: PassMessage :+: HeyMessage :+: CNil
我有一个扩展器列表,我想用全局切换按钮控制其展开状态(IsExpanded),该按钮应该在展开/折叠状态之间切换。 到目前为止,我得到的解决方案是通过将扩展器的 IsExpanded 状态绑定(bin
我试图根据 QWidget 是否展开/折叠来自动调整其大小。我尝试了几种发布的方法here和 here . 我没有设法采用这些,以便它按照我想要的方式工作:我希望 QWidget 在展开时调整自身大小
我正在尝试显示对象模型(机器人)列表,这些模型有一个可以是另一个机器人的字段 Parent。 我已经使用 Django 的 MPTT 实现了一个嵌套列表: {% load mptt_tags %}
鉴于下表/代码,我想添加两项。我不太了解 JavaScript,这段代码是另一个程序员留下的。该代码在所有其他方面都按预期工作。 这是两个项目: 表格应该以折叠状态开始。所有节点都应该是崩溃到“祖 p
我想要一张可以展开或折叠的表格。我的要求是当我点击表格行然后隐藏行显示或者当我点击其他表格行然后上一个打开的行隐藏或显示相对隐藏行。我发现一个 jquery jxpand 非常适合我,它显示隐藏的行但
如果当您向下滚动页面时元素展开或折叠,页面会突然重置并且焦点会移动到页面顶部。 有什么方法可以防止页面移动或使其不那么突然? $(document).ready(function () {
我正在使用以下代码来扩展特定的线性布局,并且遵循了本教程 http://gmariotti.blogspot.sg/2013/09/expand-and-collapse-animation.html
当垂直偏移超过特定阈值时,如何使android中的可折叠工具栏自动折叠/展开? 例如,如果垂直偏移超过 getScrollRange() 的半点,则可折叠工具栏应自动展开,低于该阈值时应折叠。 最佳答
http://t-webdesign.co.uk/new/ 如何在不使用固定高度属性的情况下让灰色 div (#content_right) 扩展到与左侧 div 相同的大小? 谢谢 最佳答案 你可能
设置一个简单的 WordPress 博客,仅包含一个页面,即博客存档。但我遇到了一个问题,我想要切换摘录和内容显示更多/显示更少的功能,以便访问者可以轻松浏览同一页面上的帖子,而无需页面重新加载或被发
我是一名优秀的程序员,十分优秀!