clojure và ^: năng động

Question

Tôi cố gắng để hiểu các biến động và chức năng ràng buộc vì vậy tôi cố gắng này (clojure 1.3):

user=> (defn f [] 
      (def ^:dynamic x 5) 
      (defn g [] (println x)) 
      (defn h [] (binding [x 3] (g))) 
      (h)) 
#'user/f 
user=> (f)  
5 
nil 

Bối rối, tôi đã cố gắng mã này hơi đơn giản:

user=> (def ^:dynamic y 5) 
#'user/y 
user=> (defn g [] (println y)) 
#'user/g 
user=> (defn h [] (binding [y 3] (g))) 
#'user/h 
user=> (h) 
3 
nil 

gì khác nhau giữa hai đoạn mã là gì? Tại sao ví dụ thứ hai lại làm việc nhưng ví dụ đầu tiên lại không?

Gợi ý: Tôi chỉ nhận ra rằng các công việc sau (vẫn không hoàn toàn hiểu tại sao):

user=> (def ^:dynamic y 5) 
#'user/y 
user=> (defn f [] (defn g [] (println y)) (defn h [] (binding [y 3] (g))) (h)) 
#'user/f 
user=> (f) 
3 
nil 
user=> 

Answer 1

tôi nhận được 3 kết quả là (như bạn mong chờ) khi tôi chạy ví dụ đầu tiên của bạn trong Clojure 1.4 .... bạn đã thử với REPL mới chưa?

^:dynamic là một hướng dẫn cho trình biên dịch Clojure rằng biểu tượng (như được định nghĩa với def) được dự định sẽ được khôi phục động (với binding).

Ví dụ:

(def foo 1) 
(binding [foo 2] foo) 
=> IllegalStateException Can't dynamically bind non-dynamic var: ... 

(def ^:dynamic bar 10) 
(binding [bar 20] bar) ;; dynamically bind bar within the scope of the binding 
=> 20 
bar      ;; check underlying value of bar (outside the binding) 
=> 10 

Lưu ý rằng binding có phạm vi năng động trong thread gọi - bất kỳ chức năng gọi trong các ràng buộc sẽ thấy giá trị sửa đổi của bar (20), nhưng bất kỳ chủ đề khác vẫn sẽ thấy những thay đổi giá trị gốc của 10

Cuối cùng một vài điểm phong cách mà bạn có thể thấy hữu ích:

• đó là nói chung c đưa ra ý tưởng không hợp lệ để đặt def và defn trong các hàm khi chúng ảnh hưởng đến không gian tên kèm theo. Trong các hàm, bạn nên sử dụng (let [foo bar] ...) để thay thế.
• Khi bạn thấy mình muốn sử dụng binding, bạn thường nên cân nhắc xem bạn có thể đạt được kết quả tương tự bằng cách sử dụng hàm bậc cao hơn thay thế hay không. binding là hữu ích trong một số ngữ cảnh nhưng nó không phải là nói chung một cách tốt để vượt qua các thông số xung quanh - thành phần chức năng thường tốt hơn trong thời gian dài. Lý do cho việc này là binding tạo ra một ngữ cảnh tiềm ẩn cần thiết để thực hiện chức năng của bạn và điều này có thể khó kiểm tra/gỡ lỗi.