Clojureのコード

Question

に任意のオブジェクトを埋め込む私はeval後日間することができるClojureのコードで（この場合のBufferedImageに）Javaオブジェクトを埋め込みたいです。コードの作成

が正常に動作します：

(defn f [image] 
    `(.getRGB ~image 0 0)) 
=> #'user/f 

(f some-buffered-image) 
=> (.getRGB #<BufferedImage BufferedImage@5527f4f9: type = 2 DirectColorModel: rmask=ff0000 gmask=ff00 bmask=ff amask=ff000000 IntegerInterleavedRaster: width = 256 height = 256 #Bands = 4 xOff = 0 yOff = 0 dataOffset[0] 0> 0 0) 

evalにそれをしようとしたときに例外を取得しかし：

(eval (f some-buffered-image)) 
=> CompilerException java.lang.RuntimeException: Can't embed object in code, maybe print-dup not defined: BufferedImage@612dcb8c: type = 2 DirectColorModel: rmask=ff0000 gmask=ff00 bmask=ff amask=ff000000 IntegerInterleavedRaster: width = 256 height = 256 #Bands = 4 xOff = 0 yOff = 0 dataOffset[0] 0, compiling:(NO_SOURCE_PATH:1) 

この作品のようなものを作るための方法はありますか？

EDIT：

私はこれを行うにしようとしています理由は、私がイメージからサンプルを取るコードを生成できるようにしたいということです。画像は、（上記fに相当）符号の生成を行いますが、（様々な理由のために）後でコンパイルされたコードにパラメータとして渡すことができない関数に渡されます。

(defn f [image] 
    (fn [] (.getRGB image 0 0))) 

Answer 1

ないあなたがそれを必要なものを確認していますが、次のチートを使用して、任意のオブジェクトに試用版のコードを作成することができます

(def objs (atom [])) 


(defn make-code-that-evals-to [x] 
    (let [ 
     nobjs (swap! objs #(conj % x)) 
     i (dec (count nobjs))] 
    `(nth ~i @objs))) 

をその後することができます：

> (eval (make-code-that-evals-to *out*)) 
#<PrintWriter java.io.PrintWriter@14aed2c> 

これはただでありますコンセプトの証明は、それは、オブジェクトが生成されて漏れた - あなたはevalの上の参照を削除するコードを生成することができますが、あなたは一度だけ、それをevalしことができます。

編集：リークは以下によって防ぐことができるハック（悪！）：

上記のコードは、コードが生成された時点で、外部のオブジェクト参照を格納することにより、evalののコンパイラをバイパスします。これは延期することができます。オブジェクト参照は生成されたコードに格納され、コンパイラはマクロによってバイパスされます。コード内に参照を格納すると、ガベージコレクタは正常に動作します。

キーは、オブジェクトをラップするマクロです。それは、元の解決策が行ったこと（すなわち、オブジェクトをコンパイラをバイパスするために外部に格納する）を行うが、コンパイルの直前である。生成された式は外部参照を取得し、リークを防ぐために削除します。

注：これは悪です。マクロの展開時間は、グローバルな副作用が発生するための最も望ましくない場所であり、これはまさにこの解決策が行うことです。コードのための今

：一時的に一意キー（辞書）をキーとするオブジェクトを格納する場所

(def objs (atom {})) 

がここにあります。

(defmacro objwrap [x sym] 
    (do 
    (swap! objs #(assoc % sym x)) ; Global side-effect in macro expansion 
    `(let [o# (@objs ~sym)] 
     (do 
     (swap! objs #(dissoc % ~sym)) 
     o#)))) 

これはxにおけるオブジェクト参照とsymに一意のキーを保持し、生成されたコードに座っ悪マクロあります。コンパイルする前に、オブジェクトを外部辞書のキーの下に格納し、それを取得するコードを生成し、外部参照を削除し、取得したオブジェクトを返します。

(defn make-code-that-evals-to [x] 
    (let [s 17] ; please replace 17 with a generated unique key. I was lazy here. 
    `(objwrap ~x ~s))) 

悪意のあるマクロ内のオブジェクトを一意のキーと共にラップするだけで、気にすることはありません。

もちろん、結果を評価せずにマクロを展開しても、まだ漏れがあります。

Answer 2

私が推測：

は、私はそれゆえ、私はちょうどような何かを行うことができない、これは生成されたコードにさらに変換を適用する非常に大きなコード生成ライブラリの一部であるため、引用されたコードを生成する必要がありますあなたはコンパイル時にオブジェクト（または必要なオブジェクトを作成する方法を）取るマクロを記述する必要があり、あるべきバイナリ形式でそのオブジェクト（バイト配列）とマクロの出力をシリアル化 - を参照してくださいシンボルをシリアル化されていないデータをデシリアライズすることによってオブジェクトを取得するために使用できる関数とを使用します。

Answer 3

なぜ： （のdefmacro M [IMG] `（.getRGB〜のIMG 0）） 次いでuは書くことができる：（M一部緩衝画像）

差をf関数であることですその引数は、その本体が評価される前に評価されます。したがって、イメージオブジェクト自体は生成されたコード内に配置されます。しかし、マクロの場合、その引数は評価されません。そのため、コード内にはsome-buffered-imageというシンボルだけが配置されます。生成されるコードは、（.getRGB some-buffered-image 0 0）です。ちょうどあなたが直接ソースコードを書くように。私はそれが欲しいものだと思う。

しかし、なぜ生成されたコードにオブジェクトを配置できないのですか？答えは：はい、できます。例外メッセージは真実ではありません。生成されたコードにいくつかの種類のオブジェクトを埋め込むことができますが、すべての種類のオブジェクトを埋め込むことはできません。これらは、シンボル、数字、文字、文字列、正規表現パタン、キーワード、ブール値、リスト、マップ、セットなどを含みます。これらのオブジェクトはすべてClojureコンパイラによって理解されます。他の言語のキーワード、演算子、リテラルに似ています。 Clojureコンパイラには、すべての種類のオブジェクトを知っている必要はありません.CやJavaコンパイラがその構文に含まれていないすべての単語を知る必要はありません。