cljs.core/IFn 实现生成重复代码

Question

在定义实现 {{cljs.core/IFn}} 协议的类型时，会同时生成一个协议 fn 以及一个 {{.call}} 方法，该方法重复整个代码而不是调用生成的协议 fn。

`
(deftype InvokeTest [a b]
IFn
(-invoke [_]

(+ a b)))

`

cljs.user.InvokeTest.prototype.cljs$core$IFn$_invoke$arity$0 = function() { var self__ = this; var _ = this; return self__.a + self__.b; };

{{.call}} 重复所有代码而不是调用 this.cljs$core$IFn$_invoke$arity$<n>。多种箭头会导致每种箭头重复代码。

cljs.user.InvokeTest.prototype.call = function(self__) { var self__ = this; var self____$1 = this; var _ = self____$1; return self__.a + self__.b; };

应该是这样的

`
cljs.user.InvokeTest.prototype.call = function(self__) {
switch(arguments.length) {

case 0:
  return this.cljs$core$IFn$_invoke$arity$0();
...
default:
  throw new Error("Invalid arity: " + arguments.length);

}
};
`

Answer 1

评论由：thheller 制定

注意，Closure 在 {{:advanced}} 中不会删除 {{.call}} 函数。

伪名称输出

`
$JSCompiler_prototypeAlias$$ = $cljs$core$Keyword$$.prototype;
$JSCompiler_prototypeAlias$$.call = function() {
var $G41215$$ = null;
$G41215$$ = function($G__41215$$, $coll$jscomp$188$$, $not_found$jscomp$10$$) {

switch(arguments.length) {
  case 2:
    return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$2$($coll$jscomp$188$$, this);
  case 3:
    return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$3$($coll$jscomp$188$$, this, $not_found$jscomp$10$$);
}
throw Error("Invalid arity: " + (arguments.length - 1));

};
$G__41215$$.$cljs$core$IFn$_invoke$arity$2$ = function($G__41215$$, $coll$jscomp$186$$) {

return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$2$($coll$jscomp$186$$, this);

};
$G__41215$$.$cljs$core$IFn$_invoke$arity$3$ = function($G__41215$$, $coll$jscomp$187$$, $not_found$jscomp$9$$) {

return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$3$($coll$jscomp$187$$, this, $not_found$jscomp$9$$);

};
return $G__41215$$;
}();
$JSCompiler_prototypeAlias$$.$cljs$core$IFn$_invoke$arity$1$ = function($coll$jscomp$189$$) {
return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$2$($coll$jscomp$189$$, this);
};
$JSCompiler_prototypeAlias$$.$cljs$core$IFn$_invoke$arity$2$ = function($coll$jscomp$190$$, $not_found$jscomp$11$$) {
return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$3$($coll$jscomp$190$$, this, $not_found$jscomp$11$$);
};
`

Answer 2

评论人为：dnolen

这里只是留个笔记，上面的例子看起来似是而非，但正如托马斯所指出的，它是调用的 get。

Answer 3

评论由：thheller 制定

附加的补丁按计划调整了生成的 {{.call}} 函数。

现在生成的代码更加紧凑，不重复。

`
$JSCompiler_prototypeAlias$$ = $cljs$core$Keyword$$.prototype;
$JSCompiler_prototypeAlias$$.call = function($unused60227auto__$jscomp$3$$) {
switch(arguments.length - 1) {

case 0:
  return this.$cljs$core$IFn$_invoke$arity$0$();
case 1:
  return this.$cljs$core$IFn$_invoke$arity$1$(arguments[1]);
case 2:
  return this.$cljs$core$IFn$_invoke$arity$2$(arguments[1], arguments[2]);
default:
  throw Error(["Invalid arity: ", $cljs$core$str$$.$cljs$core$IFn$_invoke$arity$1$(arguments.length - 1)].join(""));

}
};
$JSCompiler_prototypeAlias$$.$cljs$core$IFn$_invoke$arity$1$ = function($coll$jscomp$183$$) {
return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$2$($coll$jscomp$183$$, this);
};
$JSCompiler_prototypeAlias$$.$cljs$core$IFn$_invoke$arity$2$ = function($coll$jscomp$184$$, $not_found$jscomp$7$$) {
return $cljs$core$get$$.$cljs$core$IFn$_invoke$arity$3$($coll$jscomp$184$$, this, $not_found$jscomp$7$$);
};
`

我不确定为什么自架测试失败。

Answer 4

评论由：thheller 制定

不是什么大问题，但在我：advanced 测试构建中，{{cljs.core}} 代码的大小从 168.8KB 减少到 163.2KB（非 gzip），因此总体上确实减少了生成的代码量。

Answer 5

评论由：thheller 制定

更新的补丁修复了使用最大固定词法数假设所有较低词法数始终存在的错误实现。

同时还修复了所有自架问题，测试现在看起来通过得很好。

Answer 6

评论由：thheller 制定

纠正：当前的 CLJS-2133 测试失败。

错误在 (test-cljs-2133) 中 (错误：NaN:1) 未在断言中捕获的异常。期望：nil 实际：#object[Error Error: Invalid arity: 1]

我可以调整补丁以允许可变数量参数行为，但鉴于官方不支持并自 1.9.660 版本以来生成警告，也许现在是彻底移除支持的时候了？

Answer 7

评论人为：mfikes

从1.9.660版本开始，我们已经在CLJS-2134的基础上实施了诊断检查。

来自David的Slack评论

“我认为1.9.660的时间足够久了，不必太过担心。”
我对这个修复方案没有问题，我们会看大家的反馈。

也许我们可以移除CLJS-2133新增的单元测试？这部分测试是针对这个工单补丁的。

Answer 8

参考：https://clojure.atlassian.net/browse/CLJS-3003（由thheller报告）