Я видел метаданные ^:static на довольно многих функциях в исходном коде Clojure core.clj, например. в определении seq?:
(def
^{:arglists '([x])
:doc "Return true if x implements ISeq"
:added "1.0"
:static true}
seq? (fn ^:static seq? [x] (instance? clojure.lang.ISeq x)))
Что именно делают эти метаданные и почему оно так часто используется в течение core.clj?
В разработке Clojure 1.3 Rich хотел добавить возможность для функций возвращать типы, отличные от Object. Это позволит использовать собственные математические операторы без необходимости перебирать все в одну функцию.
Для первоначальной реализации требуются функции, которые поддерживали это для маркировки :static. эти метаданные заставляют компилятор создавать две версии функции, одну из которых возвратил объект Object, и тот, который возвращал этот конкретный тип. в случаях, когда компилятор определил, что типы всегда будут соответствовать более конкретной версии.
Это было позже сделано полностью автоматическим, поэтому вам больше не нужно добавлять это.
В соответствии с потоком групп Google "Тип подсказки несоответствий в 1.3.0" , его нет-op.
^:staticбыл ненастроенным в течение некоторого времени AFAIK, сделанный ненужным после изменений в vars некоторое время назад.
- сообщение за май 2011 года Chas Emerick
Кажется, это новый атрибут метаданных в clojure 1.3. И вы можете сравнить источник между 1.3 и 1.2:
Итак, я думаю, что это имеет какое-то отношение к ^: dynamic, который указывает, разрешено ли var для динамической привязки. Просто думаю. Не уверен, пока не увижу документ об этом атрибуте.