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
谢谢!为了更清晰,我上句中的“难以阅读”是指“语法不可逆性”:这里有一个独立的重现示例
    
    user> (defprotocol P (^int/5 oops [this]))
    P
    user> (get-in P [:sigs :oops])
    {:tag
    user> (read-string (pr-str *1))
    执行错误在用户/eval162 (REPL:1)
    未匹配的分隔符:}

这个`[[[[I`符号可能需要转换为字符串或以原始语法存储(后者是否被认为是现在的标准表示法?)
谢谢你的重现。我认为这应该是一个不同的工单。我会尽快制定一个。
...