【问题标题】:Clojure - How to check if type hints in protocols are correct?Clojure - 如何检查协议中的类型提示是否正确?
【发布时间】:2011-06-23 10:34:18
【问题描述】:

如何检查我在代码中输入的类型提示是否正确?

似乎即使我输入了错误的类型提示,它也可以在没有任何警告的情况下工作:

=> (defprotocol Qqq (^Qwerty qqq [this ^String q]))
Qqq
=> (qqq (reify Qqq (qqq [this q] (+ q 5))) 7)
12

【问题讨论】:

    标签: clojure protocols type-hinting


    【解决方案1】:

    据我所知,目前没有使用类型提示,但将来可以使用...这里引用来自clojure.org的官方描述


    字段可以有类型提示,并且可以是原始的:

    • 请注意,目前非原始类型的类型提示不会用于约束字段类型或构造函数 arg,而是用于优化其在类方法中的使用
    • 计划约束字段类型和构造函数 arg

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2012-05-29
      • 2018-04-24
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多