gensymとmacroletを使ってハッシュテーブルを構築する

Question

私はread ingの間に（他のアクションの中で）ハッシュテーブルを構築しようとしています。私はハッシュテーブルにグローバルスコープ（まだ）を持たせたくないので、マクロとgensymでこれをやっています。 xのマクロの中でsetfに似ているが、どこかにシンボルを定義するのではなく、ハッシュテーブルのエントリを定義するマクロsを定義しています。それは爆破する。私はエラーメッセージを理解していると思いますが、どのように動作させるのですか？

コード：

#!/usr/bin/clisp -repl 

(defmacro x (&rest statements) 
    (let ((config-variables (gensym))) 
    `(macrolet ((s (place value) 
        (setf (gethash 'place ,config-variables) value))) 
     (let ((,config-variables (make-hash-table :test #'eq))) 
     (progn ,@statements) 
     ,config-variables)))) 

(defun load-config() 
    (let ((config-file-tree (read *standard-input*))) 
    (eval config-file-tree))) 

(defun load-test-config() 
    (with-input-from-string (*standard-input* "(x (s fred 3) (s barney 5))") 
    (load-config))) 

(load-test-config) 

出力：であること、あなたにもマクロを定義しているので、通常の規則が適用され、あなたが式をバッククォートする必要がある。すなわちmacroletで

*** - LET*: variable #:G12655 has no value 
The following restarts are available: 
USE-VALUE  :R1  Input a value to be used instead of #:G12655. 
STORE-VALUE :R2  Input a new value for #:G12655. 
SKIP   :R3  skip (LOAD-TEST-CONFIG) 
STOP   :R4  stop loading file /u/asterisk/semicolon/build.l/stackoverflow-semi 

Answer 1

実行時に評価されます。このように：

(defmacro x (&rest statements) 
    (let ((config-variables (gensym))) 
    `(macrolet ((s (place value) 
       `(setf (gethash ',place ,',config-variables) ,value))) 
     (let ((,config-variables (make-hash-table :test #'eq))) 
     (progn ,@statements) 
     ,config-variables)))) 

Answer 2

実際にビルが望むものを推測します。

ファイルの設定として、いくつかのキーからいくつかの値へのマッピングが必要な場合を考えてみましょう。

手順は次のとおりです。

• データストリームを開くには、S式
• として読み出されたデータを歩くと

例コードハッシュテーブルを埋める：

(defun read-mapping (&optional (stream *standard-input*)) 
    (destructuring-bind (type &rest mappings) (read stream) 
    (assert (eq type 'mapping)) 
    (let ((table (make-hash-table))) 
     (loop for (key value) in mappings 
      do (setf (gethash key table) value)) 
     table))) 

(defun load-config() 
    (read-mapping)) 

(defun load-test-config() 
    (with-input-from-string (*standard-input* "(mapping (fred 3) (barney 5))") 
    (load-config))) 

(load-test-config) 

を使用：

CL-USER 57 > (load-test-config) 
#<EQL Hash Table{2} 402000151B> 

CL-USER 58 > (describe *) 

#<EQL Hash Table{2} 402000151B> is a HASH-TABLE 
BARNEY  5 
FRED  3 

の

利点：

• データは、ソースコードと生成されたソースコード
• でエンコードされませんノーマクロなし評価（！セキュリティ）EVALを経由しては、マクロ経由
• 何のオブジェクトコードの膨張を必要としませんより大きいコードに拡大しています
• 機能抽象度
• もっと理解してデバッグするのがはるかに分かりやすい

また、{の読み取りマクロを書くと、{(fred 3) (barney 5)}がハッシュテーブルとして直接読み込まれるようになります。マクロにそれを回す

(defun make-table (mappings &aux (table (make-hash-table))) 
    (loop for (key value) in mappings 
     do (setf (gethash key table) (eval value))) 
    table) 

CL-USER 66> (describe (make-table '((fred (- 10 7)) (barney (- 10 5))))) 

#<EQL Hash Table{2} 4020000A4B> is a HASH-TABLE 
BARNEY  5 
FRED  3 

：

---

あなたが計算した値を持つようにしたい場合は

(defmacro defmapping (&body mappings) 
    `(make-table ',mappings)) 

(defmapping 
    (fred 3) 
    (barney 5))