让 `satisfies?` 加载速度与协议方法调用一样快

Question

目前，`satisfies?` 不会使用与协议方法相同的实现缓存，这使得它在实际应用中运行速度过慢。

通过

(defprotocol p (f [_]))
(deftype x [])
(deftype y [])
(extend-type x p (f [_]))


补丁前

(let [s "abc"] (bench (instance? CharSequence s))) ;; 执行时间平均：1.358360 ns
(let [x (x.)] (bench (satisfies? p x))) ;; 执行时间平均：112.649568 ns
(let [y (y.)] (bench (satisfies? p y))) ;; 执行时间平均：2.605426 µs


*原因*：`satisfies?` 调用 `find-protocol-impl` 来检查对象是否实现了协议，这会检查 x 是否是协议接口的实例，或者 x 的类是否是协议实现之一（或者如果它在继承链中，这将使其成立）。这种检查相当昂贵且未缓存。

*建议*：将协议的方法实现缓存扩展为也处理（并缓存）实例检查（包括负结果）。

补丁后

(let [x (x.)] (bench (satisfies? p x))) ;; 执行时间平均：79.321426 ns
(let [y (y.)] (bench (satisfies? p y))) ;; 执行时间平均：77.410858 ns


*补丁*：CLJ-1814-v7.patch (依赖于 CLJ-2426)

Answer 1

评论由：michaelblume 添加

非常好。在重构之前，Honeysql 的 80-90% 的时间都花在了 satisfies? 调用上。

Answer 2

评论由：michaelblume 添加

我明白这是一个很难复制的严重错误，但如果我克隆 core.match，将它的 Clojure 依赖项指向 1.8.0-master-SNAPSHOT，启动一个 REPL，并从 vim 连接到 REPL，然后重新加载 clojure.core.match，我会得到以下结果：

`
|| java.lang.Exception: 命名空间 'clojure.tools.analyzer.jvm.utils' 未找到，编译：(clojure/tools/analyzer/jvm.clj:9:1)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5647| clojure.core$throw_if.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5733| clojure.core$load_lib.invokeStatic
|| clojure.core$load_lib.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:142)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic
|| clojure.core$load_libs.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:137)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic
|| clojure.core$require.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:703)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.analyzer.jvm/0.6.5/tools.analyzer.jvm-0.6.5.jar::clojure/tools/analyzer/jvm.clj|9| clojure.tools.analyzer.jvm$eval4968$loading5561auto__4969.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic
|| clojure.core$load_one.invoke(core.clj)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn
src/main/clojure/clojure/core/match.clj|1| clojure.core.match$eval4960.invokeStatic
|| clojure.core.match$eval4960.invoke(match.clj)
|| clojure.lang.Compiler.eval(Compiler.java:6934)
|| clojure.lang.Compiler.eval(Compiler.java:6923)
|| clojure.lang.Compiler.load(Compiler.java:7381)
|| clojure.lang.RT.loadResourceScript(RT.java:372)
|| clojure.lang.RT.loadResourceScript(RT.java:363)
|| clojure.lang.RT.load(RT.java:453)
|| clojure.lang.RT.load(RT.java:419)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5883| clojure.core$load$fn5669.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic
|| clojure.core$load_one.invoke(core.clj)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn5618.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5727| clojure.core$load_lib.invokeStatic
|| clojure.core$load_lib.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:142)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic
|| clojure.core$load_libs.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:137)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic
|| clojure.core$require.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:421)
|| clojure.core.match$eval4949.invokeStatic(form-init2494799382238714928.clj:1)
|| clojure.core.match$eval4949.invoke(form-init2494799382238714928.clj)
|| clojure.lang.Compiler.eval(Compiler.java:6934)
|| clojure.lang.Compiler.eval(Compiler.java:6897)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|3096| clojure.core$eval.invokeStatic
|| clojure.core$eval.invoke(core.clj)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print7404$fn7407.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print7404.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl$fn7413.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl.invokeStatic
|| clojure.main$repl.doInvoke(main.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:1523)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|58| clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn637.invoke
|| clojure.lang.AFn.applyToHelper(AFn.java:152)
|| clojure.lang.AFn.applyTo(AFn.java:144)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|645| clojure.core$apply.invokeStatic
zip文件:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|1874| clojure.core$with_bindingsSTAR.invokeStatic
|| clojure.core$with_bindingsSTAR.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:425)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|56| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invokeStatic
|| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invoke(interruptible_eval.clj)
zip文件:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|191| clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn679$fn__682.invoke
zip文件:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|159| clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__674.invoke
|| clojure.lang.AFn.run(AFn.java:22)
|| java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
|| java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
|| java.lang.Thread.run(Thread.java:745)

`

在我的项目中以 clojure.core.match 为依赖重新加载命名空间时的行为相同

Answer 3

评论者：bronsa

是否涉及了AOT (Ahead-of-Time) 编译？

Answer 4

评论由：michaelblume 添加

稍微缩小了范围，如果我去检查 tools.analyzer.jvm，打开一个交互式解释器，然后做 (require 'clojure.tools.analyzer.jvm.utils) ，我会得到以下结果：

|| java.lang.ClassCastException: java.lang.Class cannot be cast to clojure.asm.Type, compiling:(utils.clj:260:13) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3642) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3636) || clojure.lang.Compiler$DefExpr.eval(Compiler.java:450) || clojure.lang.Compiler.eval(Compiler.java:6939) || clojure.lang.Compiler.load(Compiler.java:7381) || clojure.lang.RT.loadResourceScript(RT.java:372) || clojure.lang.RT.loadResourceScript(RT.java:363) || clojure.lang.RT.load(RT.java:453) || clojure.lang.RT.load(RT.java:419) zipfile:/Users/michael.blume/.m2/repository/or...Org/Clojure/Clojure/1.8.0-Master-SNAPSHOT/Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5883| clojure.core$load$fn__5669.invoke zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn__5618.invoke zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5727| clojure.core$load_lib.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$load_libs.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.doInvoke(core.clj) || clojure.lang.RestFn.applyTo(RestFn.java:137) zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$require.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:421) || clojure.tools.analyzer.jvm.utils$eval4392.invokeStatic(form-init8663423518975891793.clj:1) || clojure.tools.analyzer.jvm.utils$eval4392.invoke(form-init8663423518975891793.clj) || clojure.lang.Compiler.eval(Compiler.java:6934) || clojure.lang.Compiler.eval(Compiler.java:6897) zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|3096| clojure.core$eval.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404$fn__7407.invoke zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404.invoke zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl$fn__7413.invoke zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl.doInvoke(main.clj) || clojure.lang.RestFn.invoke(RestFn.java:1523) zipfile:/Users/michael.blume/.m2/repository/or.../tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|58| clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn__637.invoke || clojure.lang.AFn.applyToHelper(AFn.java:152) || clojure.lang.AFn.applyTo(AFn.java:144) zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|645| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|1874| clojure.core$with_bindings_STAR_.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../Clojure-1.8.0-Master-SNAPSHOT.jar::clojure/core.clj|1874| clojure.core$with_bindings_STAR_.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:425) zipfile:/Users/michael.blume/.m2/repository/or.../tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|56| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invokeStatic zipfile:/Users/michael.blume/.m2/repository/or.../tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|191| clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn__679$fn__682.invoke zipfile:/Users/michael.blume/.m2/repository/or.../tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|159| clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__674.invoke || clojure.lang.AFn.run(AFn.java:22) || java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) || java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) || java.lang.Thread.run(Thread.java:745)

我不知道AOT在哪里起作用？

Answer 5

评论者：bronsa

(链接：~michaelblume) 更新的补丁应能修复您报告的问题

Answer 6

评论由：michaelblume 添加

太好了，谢谢 =)

新的补丁不再删除未使用的 MethodImplCache，这是故意的吗？

Answer 7

评论者：alexmiller

如果在描述中有一个关于补丁更改的项列表，那将很棒。例如："将 MethodImplCache 重命名为 ImplCache"，这有助于更容易地审查。

Answer 8

评论者：bronsa

附上一个更新后的补丁，这个补丁不再用 ImplCache 替换 MethodImplCache，而是简单地重用 MethodImplCache，减少了这个补丁的影响，使其更容易（也更安全）进行审查。

Answer 9

_评论者：alexmiller_

由于这在新 {{inst?}} 断言中使用，请提高优先级 - 查看 https://github.com/clojure/clojure/commit/58227c5de080110cb2ce5bc9f987d995a911b13e

Answer 10

_评论者：alexmiller_

我使用 v3 补丁跑了前后测试。在测试之前的时间相近，但无法重现测试后的结果。我得到了这个结果，实际上在找不到的情况下更糟


(let [x (x.)] (bench (satisfies? p x))) ;; 执行时间平均值：76.833504 ns
(let [y (y.)] (bench (satisfies? p y))) ;; 执行时间平均值：20.570007 µs

Answer 11

_评论者：bronsa_

v4 补丁修复了未找到情况下的回归问题，不确定为什么会发生这种情况，道歉。
以下是我现在获取的计时信息

clojure master

用户=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：604961580，来自60个10082693次调用的样本。
             平均执行时间：112.649568纳秒
    执行时间标准差：12.216782纳秒
   执行时间下四分位数：99.299203纳秒 ( 2.5%)
   执行时间上四分位数：144.265205纳秒 (97.5%)
                   开销：1.898271纳秒

在60个样本中发现3个异常值 (5.0000 %)
    低-严重     2 (3.3333 %)
    低-轻微     1 (1.6667 %)
 异常值引起的方差：73.7545 % 异常值导致方差严重膨胀
nil




用户=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：22676100，来自60个377935次调用的样本。
             平均执行时间：2.605426微秒
    执行时间标准差：141.100070纳秒
   执行时间下四分位数：2.487234微秒 ( 2.5%)
   执行时间上四分位数：2.873045微秒 (97.5%)
                   开销：1.898271纳秒

在60个样本中发现1个异常值 (1.6667 %)
    低-严重     1 (1.6667 %)
 异常值引起的方差：40.1251 % 异常值导致方差中度膨胀
nil



master + v4

用户=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：731759100，来自60个12195985次调用的样本。
             平均执行时间：79.321426纳秒
    执行时间标准差：3.959245纳秒
   执行时间下四分位数：75.365187纳秒 ( 2.5%)
   执行时间上四分位数：87.986479纳秒 (97.5%)
                   开销：1.905711纳秒

在60个样本中发现1个异常值 (1.6667 %)
    低-严重     1 (1.6667 %)
 异常值引起的方差：35.2614 % 异常值导致方差中度膨胀
nil



用户=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：771220140，来自60个12853669次调用的样本。
             平均执行时间：77.410858纳秒
    执行时间标准差：1.407926纳秒
   执行时间下四分位数：75.852530纳秒 ( 2.5%)
   执行时间上四分位数：80.759226纳秒 (97.5%)
                   开销：1.897646纳秒

在60个样本中发现4个异常值 (6.6667 %)
    低-严重     3 (5.0000 %)
    低-轻微     1 (1.6667 %)
 异常值引起的方差：7.7866 % 异常值导致方差轻微膨胀


总结如下：
master找到 = 112ns
master未找到 = 2.6us

master+v4找到 = 79ns
master+v4未找到 = 77ns

Answer 12

评论由：michaelblume 添加

对于已声明特定协议实现的记录，并且因此实现了相应的接口，使用针对该接口的（实例？）检查作为快速路径是否有意义？

Answer 13

评论者：alexmiller

Michael - 该检查已经在里面了

Nicola - 我有一些评论/问题

1. 我不懂NIL东西的目的，你能解释一下吗？
2. 当 x 是接口的一个实例时，旧代码返回 x，而 find-protocol-impl* 中新代码返回接口。为什么会有这样的改变？
3. 这个地方：`(alter-var-root (:var protocol) assoc :impl-cache (expand-method-impl-cache cache c impl))` 不保证线程安全——在我看来，两个不同的线程对于不同的 impl 同时缺失会导致缓存中只有其中一个。这可能不太可能发生，而且即便如此，也不太可能是大问题，因为下一次调用时缓存会被更新（不会给出错误的结果），但是我想提一下。我没有看到任何简单避免这种情况的方法，除非进行大量的修改。

Answer 14

评论者：bronsa

Alex，感谢您查看这个问题，
1- NIL 对象是在方法实现缓存中用于 nil 的占位符，因为在 find-and-cache-protocol-impl 中测试 nil? 以判断是否已缓存了分派

2- 这种改变纯粹是为了保持一致性，使 find-and-cache-protocol-impl 总是返回一个类/接口，而不是类/接口或一个具体实例。在行为上，这没有任何改变，因为 find-protocol-impl 的两个消费者——即 find-protocol-method 和 satisfies?——在这种情况下都不关心这个值是什么。

3- 你是对的，它不是线程安全的，但是我认为这是一个合理的折衷方案，因为它不会导致任何错误的行为，在最坏的情况下只会造成一次额外的缓存丢失。要使其线程安全，则在每个缓存命中/丢失中都会有一个额外的性能损失

Answer 15

评论由：michaelblume 添加

(链接：~bronsa) 我从这个补丁中看到了行为上的变化

`
(defprotocol BoolProtocol
(proto-fn [this]))

(extend-protocol BoolProtocol
Object
(proto-fn [x] "Object impl")

nil
(proto-fn [x] "Nil impl"))

(proto-fn false)
`

使用 Clojure 的 master 分支返回 "Object impl"，而在这个补丁中返回 "Nil impl"。