Từ Hướng dẫn về phong cách chung của Google: "Tránh thay đổi các biến cục bộ, hãy thử khôi phục" thay vì "nghĩa là gì?

Question

Hướng dẫn về phong cách Lisp chung của Google nói Avoid modifying local variables, try rebinding instead

Điều đó có nghĩa là gì? Việc rebinding có nghĩa gì trong câu đó?

Answer 1

Nó có nghĩa là bạn nên tạo biến mới thay vì thay đổi giá trị của những cái cũ. Ví dụ, chúng ta hãy đoạn mã sau:

(defun foo (x) 
    (when (minusp x) 
    (setq x (- x))) 
    do something with x) 

Thay vào đó, ta nên tạo một ràng buộc mới và sử dụng rằng một thay vì:

(defun foo (x) 
    (let ((xabs (if (minusp x) 
        (- x) 
        x))) 
    do something with xabs) 

Lý do cho điều này là bạn sẽ luôn luôn biết những gì một biến chứa, vì nó sẽ không bao giờ thay đổi. Nếu bạn muốn giá trị mới, chỉ cần sử dụng biến chứa giá trị mới đó.

Bây giờ bạn có thể hỏi tại sao điều này lại quan trọng như vậy? Vâng, một số người có sở thích mạnh mẽ hơn so với những người khác. Đặc biệt những người thích nhấn mạnh khía cạnh chức năng của Lisp sẽ ủng hộ phong cách này. Tuy nhiên, bất kể sở thích, nó có thể rất hữu ích để luôn luôn có thể dựa vào thực tế là các biến không thay đổi. Dưới đây là một ví dụ nơi này có thể quan trọng:

(defun foo (x) 
    (let ((function #'(lambda() (format t "the value of x is ~a~%" x)))) 
    (when (minusp x) 
     (setq x (- x))) 
    (other-function x) 
    function)) 

Sau đó, giá trị trả về của FOO là một chức năng mà khi được gọi với in giá trị của x. Tuy nhiên, giá trị sẽ là x sau đó trong hàm, giá trị tuyệt đối. Điều này có thể rất đáng ngạc nhiên nếu hàm này lớn và phức tạp.

Answer 2

Tôi không biết Lisp thường đủ để trả lời bằng cách thực hiện điều này trong Common Lisp, vì vậy tôi đang sử dụng Scheme cho ví dụ dưới đây. Giả sử bạn đang viết một hàm để trả lại giai thừa của một số. Dưới đây là một cách tiếp cận "sửa đổi các biến địa phương" để chức năng đó (bạn sẽ phải xác định riêng của bạn while vĩ mô, nhưng nó không phải là khó khăn):

(define (factorial n) 
    (define result 1) 
    (while (> n 0) 
    (set! result (* result n)) 
    (set! n (- n 1))) 
    result) 

Dưới đây là một cách tiếp cận "rebind biến địa phương" để chức năng đó:

(define (factorial n) 
    (let loop ((n n) 
      (result 1)) 
    (if (zero? n) 
     result 
     (loop (- n 1) (* result n))))) 

Trong trường hợp này, loop được gọi với giá trị mới để rebind với mỗi lần. Các chức năng tương tự có thể được viết bằng cách sử dụng do vĩ mô (trong đó, bằng cách này, cũng sử dụng rebinding, không thay đổi, ít nhất là trong Scheme):

(define (factorial n) 
    (do ((n n (- n 1)) 
     (result 1 (* result n))) 
     ((zero? n) result)))