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 [[[[[I, :name oops, :arglists ([this]), :doc nil}
    user=> (read-string (pr-str *1))
    在用户/eval162 (REPL:1)处执行错误。
    匹配定界符:}

那个`[[[[I`符号可能应该转换成字符串或者作为原始语法存储(后者现在是认为的规范表示吗?
感谢提供复制示例。我认为这应该是一个不同的工单。我将尽快准备一个。
...