在2024年Clojure状态调查中分享您的想法！

欢迎！请参阅关于页面以获取更多关于该功能的信息。

提出问题

closed 方法/构造函数解析不考虑原始参数的扩展转换

0 投票
在 Clojure 由
已关闭 由

问题
在执行Java调用（或内联函数）时，如果参数和参数都是原始类型，则不会使用扩展转换来定位合适的方法/构造函数。

示例

`user=> (Integer. (byte 0))
java.lang.IllegalArgumentException: No matching ctor found for class 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 发表的评论

失败的测试发生在尝试找出 {{(Number, long)}} 签名的正确equiv时。编译器提出这个签名是错误的，还是分辨率方法在不是有答案的情况下是错误的？（它认为两个签名有联系：{{(Object, long)}} 和 {{(Number, Number)}}。）

`
主线程中发生异常 "main" 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代码的相当重大的重构，包括对编译器和数字代码的一些改进。

修改说明

  • 将反射功能从编译器移动到Reflector。
  • Reflector支持通过宽化转换、装箱转换和强制类型转换查找重载方法。
  • 在编译期间，Reflector尝试找到最佳的通配符匹配。
  • 在方法调用时，Reflector引用*来反射调用方法和构造函数。
  • Reflector和编译器都支持可变长度的Java方法和构造函数；向后兼容，可以在可变参数slot中传递数组或nil。
  • 为Reflector添加了更多有用的错误消息。
  • 为clojure.test-clojure.reflector添加了测试。
  • 修改了clojure.lang.Numbers的超载函数，以服务Object/double/long参数；解决了一些模糊性问题并避免了在某些情况下不必要的装箱。
  • 补丁解决了380、440、445、666和可能259（提供的信息不足）等问题。
0 投票
由

由 ataggart 发表的评论

更新了补丁以修复一个问题：当存在多个具有相同方法的实体类（例如，一个来自接口，另一个来自抽象类）时，会导致歧义。现在通过任意选择解决（原始代码也这样做，尽管不是明确地）。

0 投票
由

由 ataggart 发表的评论

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

0 投票
由

由 stu 发表的评论

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

0 投票
由

由 ataggart 发表的评论

被git更新了。

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

0 投票
由

由 stu 发表的评论

Rich: 我已确认补丁已应用，但仅仅草率地审阅了一下，因为我知道您会希望更仔细地审阅。

0 投票
由

由 stu 发表的评论

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

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

但这只在使用编译后的代码时发生，例如，在REPL中相同的代码可以工作，但在编译后失败。尚未找到可以在此共享的示例，但我希望这将引起某人的“啊哈”时刻...

0 投票
由

由 ataggart 发表的评论

现在补丁只包含支持宽转换所需的最小更改。对数字重载等的清理可以等到这个补丁应用后再进行。变长参数（vararg）支持在另一种补丁（CLJ-440）上。

0 投票
由

评论者：redinger

请测试补丁

0 投票
由

评论者：redinger

附言：补丁在master分支上应用无冲突，截至4/21（2011）所有测试均通过

页面
由Cognitect维护，代表Clojure社区
...