Common Lisp スコープ

ウィキペディア

Common Lisp

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/27 15:44 UTC 版)

スコープ

他のプログラミング言語におけるプログラムと同様に、Common Lisp のプログラムも変数や関数、その他の要素を参照するために名前を用いる。名前が参照するものは、スコープによって決定されている。

名前と、それが参照する実体との関係を束縛（バインディング）と呼ばれている。

マクロ

LISP系言語におけるマクロは、表面上は関数と同じように使われる。しかし、それは評価される式を表すというよりプログラムのソースコードの変形を表現している。

マクロはプログラマーに言語内に新しい構文フォームを作る事を可能とする。たとえば、このマクロは Perl のような言語で馴染みのある until ループのためのフォームを実現する。

(defmacro until (test &body body)
  `(do ()
       (,test)
     ,@body))

;; 利用例
(until (= (random 10) 0) 
  (write-line "Hello"))

;; 定義したuntilのマクロ展開
(macroexpand-1 '(until (= (random 10) 0) 
                 (write-line "Hello")))
→ (DO ()
       ((= (RANDOM 10) 0))
     (WRITE-LINE "Hello"))
  T

すべてのマクロは、内に含むソースコードが評価、あるいはコンパイルされるよりも前に必ず展開される。マクロは抽象構文木（S 式）を受けとり、それを変更して返す関数だと考えることができる。これらの関数は、最終的なソースコードを生成するために評価器やコンパイラよりも前に呼び出される。マクロは通常の Common Lisp で記述され、任意の Common Lisp オペレータ（あるいは自作のオペレータ）を使うことができる。 上の例で使用されているバッククォート記法は一般的なコードテンプレートへの代入を単純化するために　Common Lisp によって提供されているものである。

Common Lisp Object System

Common Lisp は オブジェクト指向プログラミング のための道具として、Common Lisp Object System（CLOS）を備えている。これは、現在利用可能な言語の中で、もっとも強力なオブジェクトシステムの一つである。1984年当初のCommon Lispには含まれていなかったが、後にCommon Lisp の ANSI 標準規格の一部となった。C++ や Java のような静的な言語のオブジェクト指向機能とは根本的に異なった動的オブジェクトシステムである。