- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我目前正在编写ECMAScipt5编译器,该编译器在解析树上执行各种给定的优化/转换,然后编译回ECMAScipt5。
一种功能是重命名EnvironmentRecord中的绑定(bind)。
该变换可以例如自动执行。作为旨在减少代码大小的优化的一部分,将为每个变量(不在全局范围内)提供下一个最短的可用名称,或者在引入新范围的语句后通过注释手动为其命名。
但是,我必须将(自动)过程限制为变量声明。
考虑这两个例子。第一个经过编译,将[Minify]
指定为转换,第二个使用[Directives, PrettyPrint]
语法:Compiler.fromSource (src).compile ([/*Array of transformations*/]);
var bar,foo;
(function exampleMin () {
var bar="foo",
foo="bar";
function fooBar () {
return foo + bar;
}
})
编译为
var bar,foo;function exampleMin(){var A="foo",B="bar";function fooBar(){return B+A}}
和
var bar,foo;
(function exampleMin () {
@Rename bar:A
@Rename foo:B
@Rename fooBar:C
var bar="foo",
foo="bar";
function fooBar () {
return foo + bar;
}
})
编译为
var bar,foo;
function exampleMin(){
var A="foo",B="bar";
function C(){
return B+A;
}
};
导致出现问题的部分,功能...考虑以下
if (fooBar.name === 'fooBar') {
//...
}
现在,如果此语句将包含在
exampleMin
中。用户定义的重命名会将代码转换为语义上不同的代码。自动执行的转换绝对不能发生这种情况。
@do-not-optimize
注释作为交换,在语义上的变化是否可以容忍(GCC似乎是这样认为的)? function foo () {}
function bar () {}
var fns = [bar,foo];
if (fns [0].name === 'bar') fns [0] ();
fns.unshift (foo);
if (fns [1].name === 'bar') fns [1] ();
我无法想象一旦将函数添加到数组后如何在不执行代码的情况下如何将引用追溯到其起源。也许我需要某种形式的抽象解释
1?
var boundIdentifiers = this.environment.record.bindings, //`this` refers to an AST node representing a FunctionDeclaration or a FunctionExpression
nextName,
identifier,
binding;
for (identifier in boundIdentifiers) {
binding = boundIdentifiers [identifier];
if (binding.uses < 2 && !binding.FunctionExpression) {
compiler.pushWarning (binding.references [0].line, binding.references [0].column,'Declared function ' + identifier + ' is never called.') //False positive if the functions reference is obtained dynamically
}
if (boundIdentifiers [identifier].FunctionDeclaration || boundIdentifiers [identifier].FunctionExpression) {
continue; //Skip function declarations and expressions, since their name property could be accessed
}
do {
nextName = nextVar ();
} while (
Object.hasOwnProperty.call (boundIdentifiers,nextVar) //There could exist a `hasOwnProperty` binding.
); //ther could a with the name that already exists in the scope. So make sure we have assign a free name.
this.environment.record.setBindingName (identifier, nextName);
}
因此,整个问题归结为捕获非静态引用
最佳答案
假设您无法像@Phil H所说的那样“破坏”解释器,如果可能的话,这是一个有效的解决方案...
编译器处理此类情况的通常方式称为数据流分析。这相当于通过代码遍历计算以某种方式描述程序结构的值。在所有有趣的情况下,这些值都是收敛估计。
最普遍的保守假设是,对于执行哪个if
分支一无所知,对循环进行迭代的次数也一无所知,而函数调用在副作用方面的作用也一无所知。复杂的过程间数据流分析允许删除最后一个。例如。 LLVM可以做到这一点,但许多其他编译系统却不行。
对于此问题的特殊保守假设是,如果对值使用.name
或类似的自省(introspection),则它“被污染”。无法重命名。数据流分析将使您找到保守的受污染名称列表。
对于此问题,可能最适用的数据流分析是def-use分析,以构建附加到每个“定义”的“使用链”。在javascript中,定义等同于声明和函数命名。如果您的分析足够复杂,可以查看哈希内部,那么添加键值对就是一个定义。
分析结果将是一个列表,该列表附加到在该定义期间建立的值的每个“用途”的每个定义。保守的假设意味着该列表可能包含从未真正发生过的用途。
关于数据流分析,有大量文献。但是,开始学习它的绝妙方法是旧标准的“龙皮书”,Aho Sethi和Ullman,编译器设计。
添加
动态语言的问题在于,很难进行准确的数据流分析。注释中的示例:
var n='name';
function foo () {};
if (foo[n] === 'foo') doSth ()
a[s]
中,
s
可能是
'name'
。因此
a
无法重命名。您必须通过使数据流分析更加详细-减少估算来克服愚蠢的假设的局限。
if
和循环做出保守的假设。如果抽象域具有某些属性,则保证执行有限长度以计算每个变量的最终值。恒定折叠是抽象解释的一种简单形式。
{ unassigned, constant string, unknown }
null
,常数,函数和其他值。抽象的解释术语将用“底部”代替“未分配”,用“顶部”代替“未知”。
关于javascript - 以编程方式重命名功能,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24853292/
我正在构建一个 RCP 应用程序,其中每个季度都会更新功能/插件。因此,如果用户选择自动更新功能/插件,则会下载更新插件的新 jar,但旧插件仍在使用我不再使用的磁盘空间。 我厌倦了删除包含旧 jar
我如何从外部 Controller 功能中调用 Controller 内部的功能,例如电话间隙回调功能 这是 Controller 外部定义的功能 function onDeviceReady()
如果某个功能(例如 MediaSource)可用,我如何使用 Google Dart 检查。 new MediaSource() 抛出一个错误。如何以编程方式检查此类或功能是否存在?有任何想法吗?是否
我正在尝试运行 Azure Orchestrations,突然我开始从 statusQueryGetUri 收到错误: 协调器函数“UploadDocumentOrchestrator”失败:函数“U
我见过 iPhone 上的应用程序,如果在 3.0 上运行,将使用 3.0 功能/API,例如应用内电子邮件编辑器,如果在 2.x 上运行,则不使用这些功能,并退出应用程序以启动邮件相反。 这是怎么做
这是 DB 规范化理论中的一个概念: Third normal form is violated when a non-key field is a fact about another non-ke
如果我定义 #if SOMETHING #endif 而且我还没有在任何地方定义 SOMETHING。 #if 中的代码会编译吗? 最佳答案 当#if的参数表达式中使用的名称未定义为宏时(在所有其他宏
我刚刚澄清了 A* 路径查找应该如何在两条路径具有相等值的 [情况] 下运行,无论是在计算期间还是在结束时,如果有两条相等的短路径。 例如,我在我的起始节点,我可以扩展到两个可能的节点,但它们都具有相
Java有没有类似下面的东西 宏 一种遍历所有私有(private)字段的方法 类似于 smalltalk symbols 的东西——即用于快速比较静态字符串的东西? 请注意,我正在尝试为 black
这个程序应该将华氏度转换为摄氏度: #include int main() { float fahrenheit, celsius; int max, min, step;
当打开PC缓存功能后, 软件将采用先进先出的原则排队对示波器采集的每一帧数据, 进行帧缓存。 当发现屏幕中有感兴趣的波形掠过时, 鼠标点击软件的(暂停)按钮, 可以选择回看某一帧的波形
我有一个特殊的(虚拟)函数,我想在沙盒环境中使用它: disable.system.call eval(parse(text = 'model.frame("1 ~ 1")'), envir = e
使用新的 Service 实现,我是否必须为我的所有服务提供一个 Options 方法? 使用我的所有服务当前使用的旧 ServiceBase 方法,OPTIONS 返回 OK,但没有 Access-
我正在阅读 Fogus 的关于 Clojure 的喜悦的书,在并行编程章节中,我看到了一个函数定义,它肯定想说明一些重要的事情,但我不知道是什么。此外,我看不到这个函数有什么用 - 当我执行时,它什么
我有大量的 C 代码,大部分代码被注释掉和/或 #if 0。当我使用 % 键匹配 if-else 的左括号和右括号时,它也匹配注释掉的代码。 有没有办法或vim插件在匹配括号时不考虑注释掉或#if 0
我有这个功能: map(map(fn x =>[x])) [[],[1],[2,3,4]]; 产生: val it = [[],[[1]],[[2],[3],[4]]] 我不明白这个功能是如何工作的。
我使用 Visual Studio 代码创建了一个函数应用程序,然后发布了它。功能应用程序运行良好。我现在在功能门户中使用代码部署功能(KUDU)并跳过构建。下面是日志 9:55:46 AM
我有一个数据框df: userID Score Task_Alpha Task_Beta Task_Charlie Task_Delta 3108 -8.00 Easy Easy
我真的无法解决这个问题: 我有一个返回数据框的函数。但是,数据框仅打印在我的控制台中,尽管我希望将其存储在工作空间中。我怎样才能做到这一点? 样本数据: n <- 32640 t <- seq(3*p
有没有办法找出所有可能的激活器命令行选项? activator -help仅提供最低限度的可用选项/功能列表,但所有好的东西都隐藏起来,即使在 typesafe 网站在线文档中也不可用。 到目前为止,
我是一名优秀的程序员,十分优秀!