Định nghĩa chức năng chương trình: Cách loại bỏ "eval" ở đây?

Question

Tôi có một tập hợp các chức năng có tên là "ip", "ngày", "url", v.v.

Với những điều này, tôi muốn tạo một tập hợp các hàm khác "ip-is", "date-is" v.v ...

Cuối cùng tôi có giải pháp sau, thats làm việc tốt, nhưng sử dụng "eval".

(loop for name in '(ip date url code bytes referer user-agent) do 
    (let ((c-name (intern (concatenate 'string (symbol-name name) "-IS")))) 
    (eval `(defun ,c-name (c) 
      #'(lambda (l) (equal (,name l) c)))))) 

Ai đó có thể giúp tôi, cách loại bỏ "bad evil"? Điều quan trọng đối với chương trình của tôi là tên hàm được cung cấp dưới dạng danh sách. Vì vậy, một cuộc gọi đến một số marcro

(define-predicate ip) 
    (define-predicate date) 
    (define-predicate url) 

, vv

sẽ không phù hợp với nhu cầu của tôi. Tôi không có vấn đề thực sự với "eval", nhưng tôi đọc rất thường xuyên, rằng eval được coi là phong cách xấu và nên tránh nếu có thể.

Cảm ơn bạn đã nâng cao!

Answer 1

Bạn nên sử dụng macro tại đây. Các macro được đánh giá trong quá trình biên dịch (hoặc tải) và có thể được sử dụng để tạo ra một định nghĩa hàm một cách có lập trình. Mã của bạn có thể được viết như sau:

(defmacro define-predicates (&rest names) 
    `(progn 
    ,@(loop 
      for name in names 
      collect (let ((c-sym (gensym)) 
         (l-sym (gensym))) 
        `(defun ,(intern (concatenate 'string (symbol-name name) "-IS")) (,c-sym) 
         #'(lambda (,l-sym) (equal (,name ,l-sym) ,c-sym))))))) 


(define-predicates ip date url) 

Lưu ý rằng các ký hiệu được tạo bằng cách sử dụng GENSYM trong các chức năng. Trong trường hợp đặc biệt này, điều đó là không cần thiết, nhưng tôi thường thích làm theo cách này để không có cơ hội bị rò rỉ nếu tôi tái cấu trúc lại mã ở giai đoạn sau.

Answer 2

Nếu bạn muốn sử dụng một chức năng (thay vì một vĩ mô như trong câu trả lời khác), bạn nên sử dụng (setf fdefinition):

(loop for name in '(ip date url code bytes referer user-agent) do 
    (let ((c-name (intern (concatenate 'string (symbol-name name) "-IS")))) 
    (setf (fdefinition c-name) 
      (lambda (c) (lambda (l) (equal (funcall name l) c))))))