メタプログラミング

出典: フリー百科事典『ウィキペディア(Wikipedia)』

メタプログラミング (英語: metaprogramming) [注釈 1]とはプログラミング技法の一種で、一般に「プログラムを記述するプログラム」を書くこと、またはそのプログラムを指す[1]。対象言語に埋め込まれたマクロ言語によって行われることもある。

概要[編集]

一般に、スクリプト言語はメタプログラミングが得意だとされている。コンパイル型言語は実行前にソースコード一括で変換するという特性上、翻訳と実行を繰り返すスクリプト言語よりも実行時の割り込みや変換の自由度が低い[2]

代表的なメタプログラミングの例はLispのマクロである。Lispはデータ、コードが全てS式で表現されるが、マクロによりS式が言語処理系に解釈される前に別なS式へと変換することができる。これにより例えば、

(defstruct point (x 0) (y 0))

という記述から

  • 構造体定義 point型
  • コンストラクタ make-point (省略時の初期値は0, 0)
  • アクセサ point-x point-y
  • 複製 copy-point
  • 述語 point-p

が自動的に生成される。

これがメタプログラミングと呼ばれるのは、「自動生成が言語組み込みの機能ではなくLispのマクロによって記述されており、必要なら同様の機構をプログラマが定義できる」ためである。これは事実上言語文法の拡張に等しく、非常に強力なプログラム能力を得ることになる。反面、マクロは任意の字句の置き換えが可能であるため、展開されたコードが言語の文法から逸脱する可能性があることを意味している。そのため一般に必要でないメタプログラミングは避けられるべきとされる。

たとえば、文字列を整形して出力するformat関数

(format t "hello,world")

を用いた例[3]を紹介する。LispのS式がLispフォームになるためには、「S式の最初の要素は(関数、マクロ、特殊フォーム)のいずれかではならない。」しかし、

(defmacro backwards (expr) (reverse expr))

を定義すると、以下のように書ける:

(backwards ("hello,world" t format))

このことは、Lispのマクロが、上のかぎ括弧「」で括った言語仕様を変更し、独自の文法を作り上げたとも考えられる。しかし、この文法は、通常のLispにおいて期待されるような構成をしていない「記述どおりでない動作を行うプログラム」の一例であり、コードの可読性を損なう恐れのある不必要なメタプログラミングである。

メタプログラミングの他の例としてはC++における「テンプレートメタプログラミング」などが挙げられる。

危険性[編集]

ただ、メタプログラミングが強力な手段である以上、それに伴う危険性も理解しておかねばならない。

次はJavaScriptにおけるメタプログラミングの例である。

const add = new Function(..."xy", "return x + y");

add(2, 3); // => 5

この例では、文字列から関数addを生成したうえで、その関数を利用して計算を行っている[注釈 2]

ただ、このような野放図な使い方をすると、Functionコンストラクタに与える引数を打ち間違えただけで破壊的かつ致命的な結果を引き起こす場合がある。

そこでJavaScriptでは、「既存の機能を拡張する」ことに注力した、

  • Proxy
  • Reflect

というオブジェクトを提供している[4]。このように、目的ありきの手段として使用することにより、危険性を最小限にまで抑えながら強みを最大化することができる。

脚注[編集]

出典[編集]

  1. ^ あんどうやすし 2020, p. 343.
  2. ^ あんどうやすし 2020, pp. 343–344.
  3. ^ Seibel, Peter (2005年4月11日). “Practical Common Lisp”. Internet Archive. p. 95. 2023年12月11日閲覧。
  4. ^ あんどうやすし 2020, p. 345-346.

註釈[編集]

  1. ^ "meta-"は「高次」、「超」を表す接頭辞。
  2. ^ ただの例であって、推奨されない書き方である点に十分に留意

参考文献[編集]

  • あんどうやすし「メタプログラミングを学ぶ」『ハンズオンJavaScript』(初版)オライリー・ジャパン、東京、2020年11月13日。ISBN 978-4-87311-922-9 

関連項目[編集]