2024年Clojure调查问卷中分享你的想法!

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

+4
编译器
封闭

用户yuhan在slack中发现 https://clojurians.slack.com/archives/C03S1KBA2/p1724499452475139

❯ clj -Sdeps '{:deps {org.clojure/clojure {:mvn/version "1.12.0-rc1"}}}'
Clojure 1.12.0-rc1
user=> (definterface Foo (^String/1 bar []))
user.Foo
user=> (reify Foo (bar [this]))
Syntax error (ClassNotFoundException) compiling reify* at (REPL:1:1).
java.lang.String.1
user=>
随笔记封闭: 发布在1.12.0-rc2

1 答案

0

感谢帮助发布问题!

作为额外的背景,我注意到,鉴于相同的元标签,`defprotocol`会生成一个有效的接口,因为生成的方法是动态类型的,标签只是作为类型提示放置在协议映射中。

user=> (defprotocol PFoo (^String/1 bar [this]))
PFoo
user=> (reify user.PFoo (bar [this] :ok))
#object[user$eval196$reify__197 0x64a9d48c "user$eval196$reify__197@64a9d48c"]
user=> (bar *1)
:ok
user=> (first (.getMethods (:on-interface PFoo)))
#object[java.lang.reflect.Method 0x35178483 "public abstract java.lang.Object user.PFoo.bar()"]

尽管生成不可读的符号感觉同样不正确

user=> (:sigs PFoo)
{:bar {:tag [Ljava.lang.String;, :name bar, :arglists ([this]), :doc nil}}
user=> (get-in PFoo [:sigs :bar :tag])
[Ljava.lang.String;
user=> (class *1) ; oh no
clojure.lang.Symbol
by
谢谢!为了澄清,我上面最后一句话中的“难以阅读”是指语法上不可逆的:这里有一个独立的重现
    
    user=> (defprotocol P (^int/5 oops [this]))
    P
    user=> (get-in P [:sigs :oops])
    {:tag [[[[[I, :name oops, :arglists ([this]), :doc nil}
    user=> (read-string (pr-str *1))
    执行错误在用户/eval162 (REPL:1)。
    不匹配的定界符:}

这个`[[[[I`符号可能应该转换成字符串或以原始语法存储(后者现在是否被认为是规范表示形式?)
by
谢谢您的重现。我认为这应该是另一个不同的工单。我会尽快把工单发出来。
...