バイトコードウィービング対Lispマクロ

私は、関数呼び出しのインターセプト、ロギングコードの挿入などを行うためにバイトコードウィービングを使用するJavaやC＃のような言語用に書かれたライブラリについて読んでいます。それらの利用方法をよりよく理解しようとする。マクロについてよく読めば読むほど、マクロがバイトコードウィービングライブラリと同じ種類の機能を提供するように見えます。機能とは、コンパイル時にコードを操作できることを意味します。

私が見ているライブラリの例は、AspectJ、PostSharp、Cecilです。

片方でできること、もう片方ではできないことはありますか？彼らは実際に同じ問題を解決していますか、それともリンゴとオレンジを比較していますか？

バイトコードの織り方とマクロは、2つの異なるものです。

バイトコードウィービングは、関数呼び出しをインターセプトする方法です。そのため、関数の実行前または実行後に、何らかの種類の機能（通常、ログ記録などの横断的な関心事）を関数呼び出しに挿入できます。バイトコードウィービングはバイトコードレベルで行われます。つまり、コンパイル後に発生します。関数自体は影響を受けません。これは、アスペクト指向プログラミングが使用する手法の1つです。

マクロは、言語の構文を拡張する方法です。最も簡単な形式では、マクロは単にキーストロークを記録し、ホットキーを使用してそれらを再生する方法です。言語マクロも同様に機能します。キーワードまたはその他の構文構成は、何らかのマクロ展開の代わりになります。もちろんこれは単純化されすぎています。Lisp固有のマクロのより良い例は、ここにあります。

同じ目的で使用される場合もありますが、LISPマクロはJavaバイトコードウィービングプラグインとはまったく異なります。LISPマクロは、LISPソースコードレベルでLISP構文を拡張します。LISPマクロは他のLISPコードと同じレベルで記述されるため、一般的に使用される言語機能です。

Javaバイトコードウィービングプラグインは、JVMレベルで動作します。多くのJavaプログラマーは、他の人が作成したバイトコードウィービングプラグインを使用する場合がありますが、独自のバイトコードウィービングプラグインを作成するJavaプログラマーはほとんどいません。

Javaコンパイラプラグインによって行われる作業の一部は、動的言語で非常に簡単に行われます。関数呼び出しのインターセプトは特に簡単です。

Lispマクロはソースコードレベルで動作しています。コードの一部にマクロをラップすると、多くのことができます。ソースコードの解析、コードの挿入、コードの書き換えなどを含みます。

関数呼び出しを変更したい場合、Lispは通常2つのメカニズムを使用します：

• 遅延バインディングシンボル。シンボルにバインドされた関数を変更できます。シンボルを通過するすべての関数呼び出しは、新しい関数を使用します。

• Lispの実装は時々「アドバイス」と呼ばれる機能を提供します。これにより、呼び出しの前後または前後にコードを実行できます。たとえば、LispWorks：Adviceで。

したがって、低レベルのコード操作なしで呼び出しをインターセプトできます。