2024 Clojure 状态调查! 中分享你的想法。

欢迎!请参阅 关于 页面来获取有关此工作方式的更多信息。

0 投票
Clojure
关闭

问题
当进行 Java 调用(或内联函数)时,如果 arg 和参数都是原始类型,则不会使用升级转换来定位适当的重载方法和构造函数。

示例

`user=> (Integer. (byte 0))
java.lang.IllegalArgumentException: 未找到与类 java.lang.Integer 相匹配的构造函数 (NO_SOURCE_FILE:0)

以上发生是因为没有 Integer(byte) 构造函数,尽管它应该匹配到 Integer(int)。

user=> (bit-shift-left (byte 1) 1)
Reflection warning, NO_SOURCE_PATH:3 - call to shiftLeft can't be resolved.
2` In the above, a call is made via reflection to Numbers.shiftLeft(Object, Object) and its associated auto-boxing, instead of directly to the perfectly adequate Numbers.shiftLeft(long, int). Workarounds:
Explicitly casting to the formal type. Ancillary benefits of fixing:
It would also reduce the amount of method overloading, e.g., RT.intCast(char), intCast(byte), intCast(short), could all be removed, since such calls would pass to RT.intCast(int).
附带备注关闭: 作为 CLJ-2843 的副作用在 1.11.3 和 1.12.0-alpha10 中修复

26 答案

0 投票

由 importer 制作的评论:

ataggart 说:(链接:[file:b6gDSUZOur36b9eJe5cbCb])

0 投票

由 importer 制作的评论:

ataggart 说:也解决了 #446。

0 投票
回答者
0 投票
回答者

评论者:stu

补丁导致测试失败

`

 [java] Exception in thread "main" java.lang.IllegalArgumentException: 
 More than one matching method found: equiv, compiling:(clojure/pprint/cl_format.clj:428)

`

你能看看吗?

0 投票
回答者

评论者:stu

失败的测试发生在尝试找到正确equiv签名{{(Number, long)}}时。编译器提议这个签名是否错误,或者解析方法是否错误,因为没有一个答案?(它认为两个签名是绑定的:{{(Object, long)}}和{{(Number, Number)}}。)

`
主线程中发生异常 java.lang.IllegalArgumentException: 找到多个匹配方法: equiv,编译:(clojure/pprint/cl_format.clj:428)

at clojure.lang.Compiler.analyzeSeq(Compiler.java:6062)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6050)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.access$100(Compiler.java:35)
at clojure.lang.Compiler$LetExpr$Parser.parse(Compiler.java:5492)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$IfExpr$Parser.parse(Compiler.java:2372)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$InvokeExpr.parse(Compiler.java:3277)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6057)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5231)
at clojure.lang.Compiler$LetExpr$Parser.parse(Compiler.java:5527)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5231)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$IfExpr$Parser.parse(Compiler.java:2385)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5231)
at clojure.lang.Compiler$LetExpr$Parser.parse(Compiler.java:5527)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$IfExpr$Parser.parse(Compiler.java:2385)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5231)
at clojure.lang.Compiler$LetExpr$Parser.parse(Compiler.java:5527)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5231)
at clojure.lang.Compiler$FnMethod.parse(Compiler.java:4667)
at clojure.lang.Compiler$FnExpr.parse(Compiler.java:3397)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6053)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6043)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.access$100(Compiler.java:35)
at clojure.lang.Compiler$DefExpr$Parser.parse(Compiler.java:480)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
at clojure.lang.Compiler.analyze(Compiler.java:5866)
at clojure.lang.Compiler.analyze(Compiler.java:5827)
at clojure.lang.Compiler.eval(Compiler.java:6114)
at clojure.lang.Compiler.load(Compiler.java:6545)
at clojure.lang.RT.loadResourceScript(RT.java:340)
at clojure.lang.RT.loadResourceScript(RT.java:331)
at clojure.lang.RT.load(RT.java:409)
at clojure.lang.RT.load(RT.java:381)
at clojure.core$load$fn__1427.invoke(core.clj:5308)
at clojure.core$load.doInvoke(core.clj:5307)
at clojure.lang.RestFn.invoke(RestFn.java:409)
at clojure.pprint$eval3969.invoke(pprint.clj:46)
at clojure.lang.Compiler.eval(Compiler.java:6110)
at clojure.lang.Compiler.load(Compiler.java:6545)
at clojure.lang.RT.loadResourceScript(RT.java:340)
at clojure.lang.RT.loadResourceScript(RT.java:331)
at clojure.lang.RT.load(RT.java:409)
at clojure.lang.RT.load(RT.java:381)
at clojure.core$load$fn__1427.invoke(core.clj:5308)
at clojure.core$load.doInvoke(core.clj:5307)
at clojure.lang.RestFn.invoke(RestFn.java:409)
at clojure.core$load_one.invoke(core.clj:5132)
at clojure.core$load_lib.doInvoke(core.clj:5169)
at clojure.lang.RestFn.applyTo(RestFn.java:143)
at sun.reflect.GeneratedMethodAccessor11.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:597)
at clojure.lang.Reflector.invokeMatchingMethod(Reflector.java:77)
at clojure.lang.Reflector.invokeInstanceMethod(Reflector.java:28)
at clojure.core$apply.invoke(core.clj:602)
at clojure.core$load_libs.doInvoke(core.clj:5203)
at clojure.lang.RestFn.applyTo(RestFn.java:138)
at sun.reflect.GeneratedMethodAccessor11.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:597)
at clojure.lang.Reflector.invokeMatchingMethod(Reflector.java:77)
at clojure.lang.Reflector.invokeInstanceMethod(Reflector.java:28)
at clojure.core$apply.invoke(core.clj:604)
at clojure.core$use.doInvoke(core.clj:5283)
at clojure.lang.RestFn.invoke(RestFn.java:409)
at clojure.main$repl.doInvoke(main.clj:196)
at clojure.lang.RestFn.invoke(RestFn.java:422)
at clojure.main$repl_opt.invoke(main.clj:267)
at clojure.main$main.doInvoke(main.clj:362)
at clojure.lang.RestFn.invoke(RestFn.java:409)
at clojure.lang.Var.invoke(Var.java:401)
at clojure.lang.AFn.applyToHelper(AFn.java:163)
at clojure.lang.Var.applyTo(Var.java:518)
at clojure.main.main(main.java:37)

原因:java.lang.IllegalArgumentException: 找到多个匹配方法: equiv

at clojure.lang.Reflector.getMatchingParams(Reflector.java:639)
at clojure.lang.Reflector.getMatchingParams(Reflector.java:578)
at clojure.lang.Reflector.getMatchingMethod(Reflector.java:569)
at clojure.lang.Compiler$StaticMethodExpr.<init>(Compiler.java:1439)
at clojure.lang.Compiler$HostExpr$Parser.parse(Compiler.java:896)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:6055)
... 115 more

`

0 投票
回答者

评论者:ataggart

在实现对vararg方法的支持时,我发现了以前解决方案中的许多缺陷。请忽略它们。

我附上了一个补丁(reflector-compiler-numbers.diff),这是一个对Reflector代码的大幅改进,包括对编译器和Numbers代码的一些增强。

补丁说明

  • 将反射功能从编译器移动到Reflector。
  • Reflector通过拓宽转换、装箱转换和转换支持查找重载方法。
  • 在编译过程中,Reflector试图找到最佳通配符匹配。
  • 当通过反射调用方法和构造函数时,Reflector使用*。
  • Reflector和编译器都支持可变参数Java方法和构造函数;向后兼容通过在可变参数槽中传递数组或nil。
  • 增加更有信息的错误消息到Reflector。
  • 为clojure.test-clojure.reflector添加了测试。
  • 修改了clojure.lang.Numbers的重载函数以服务于Object/double/long参数;解决了一些歧义问题,并在某些情况下避免了不必要的装箱。
  • 补丁解决了问题380、440、445、666,可能还有259(提供的信息不足)。
0 投票
by

评论者:ataggart

更新了补丁以修复一个bug,当有多个相同的Method(例如一个来自接口,另一个来自抽象类)的实体类会出现歧义。现在通过任意选择的方式解决(这也是原始代码所做,尽管不是明确指定的)。

0 投票
by

评论者:ataggart

更新了补丁以与最新主分支兼容。

0 投票
by

评论者:stu

补丁似乎缺少测试文件 clojure/test_clojure/reflector.clj。

0 投票
by

评论者:ataggart

通过 git 操作。

补丁已修正以包含 clojure.test-clojure.reflector。

0 投票
by

评论者:stu

Rich:我已验证补丁已应用,但只是简要地进行了审查,因为我知道您需要仔细检查这一部分。

0 投票
by

评论者:stu

应用此补丁后,我遇到了方法缺失错误

java.lang.NoSuchMethodError: clojure.lang.Numbers.lt(JLjava/lang/Object;)

但仅在编译后的代码中出现,例如,相同的代码在REPL中可以正常工作,但编译后失败。尚未能隔离出可以分享的例子,但希望这会引起某人产生“啊哈”的感觉...

0 投票
by

评论者:ataggart

现在补丁仅包含支持扩展转换的最小更改。数字重载等的清理可以等到此补丁应用后再进行。vararg支持在CLJ-440上的另一个补丁中。

0 投票

评论者:redinger

请测试补丁

0 投票

评论者:redinger

通知:该补丁在master上应用简便,并且所有测试在2011年4月21日之前已通过

...