Declaration INLINE, NOTINLINE
(inline function-name*)
(notinline function-name*)
function-name - 関数名
declareかproclaim
関数
inlineは、function-nameという名前の関数に対して、 コンパイラーがインラインで呼び出すようなコードを 生成するのが望ましいと指定します。 つまり、function-nameで指定されたコードは、 呼び出す処理を「行中」に現れるように、 その場所に呼出処理を統合する必要があります。 コンパイラーがこの宣言を無視するのは自由です。 inline宣言は決して変数束縛を行いません。
もしあるひとつの関数が宣言されており、 その関数がレキシカルにローカル定義を持っているとき （fletかlabelsによって作成されたもの）、 その宣言はグローバル関数定義ではなく、 ローカルの関数定義の方に適用されます。
もし仕様に適合した実装において、 ユーザー定義関数のインラインの展開が要求されていないとき、 これらの実装は下記の規範のように認識しようとします。
定義された関数fは、標準ではinlineではありません。 しかし(declare (inline f))宣言内ではFがローカルでinlineになります。 前のものも含めて定義の列が次のような場合を考えます。
(declaim (inline f))
(defun f ...)
(declaim (notinline f))defunフォームの前にあるinlineのproclamationは、 コンパイラーに、インライン展開が必要な時のための 情報を保存する機会を保証します。 そしてdefunフォームの後にあるnotinlineのproclamationは、 fがどこでもインライン展開しないよう抑制します。
notinlineは、function-nameという名前の関数に対して、 インラインコンパイルが望ましくないと指定します。 コンパイラーはこの宣言を無視してはいけません。 この指定の関数の呼び出しは、 ラインの外のサブルーチンを呼び出すように実装しなければなりません。
もしあるひとつの関数が宣言されており、 その関数がレキシカルにローカル定義を持っているとき （fletかlabelsによって作成されたもの）、 その宣言はグローバル関数定義ではなく、ローカルの関数定義に適用されます。
function-nameコンパイラーマクロが現れたとき、 notinline宣言はコンパイラーマクロの使用を禁止します。 inline宣言はコンパイラーマクロの使用を勧めるようにします。 inlineとnotinline宣言は、 レキシカルに見えるfunction-nameの定義が マクロ定義であったときは効果がありません。
inlineとnotinline宣言は、自由宣言と境界宣言のどちらも使えます。 fletかlabelsフォーム本体の前に現れた 関数のinlineとnotinline宣言は、 関数の境界宣言として定義されます。 その他の文脈の宣言は自由宣言です。
;; グローバルに宣言された関数DISPATCHはオープンコードであり、
;; もし実装がinlineをサポートしているのであれば、
;; NOTINLINEの宣言をこの効果で上書きします。
(declaim (inline dispatch))
(defun dispatch (x) (funcall (get (car x) 'dispatch) x))
;; これはinlineを推奨する例です。
(defun top-level-1 () (dispatch (read-command)))
;; これはinlineを禁止する例です。
(defun top-level-2 ()
(declare (notinline dispatch))
(dispatch (read-command)))
;; これはinlineを禁止する例です。
(declaim (notinline dispatch))
(defun top-level-3 () (dispatch (read-command)))
;; これはinlineを推奨する例です。
(defun top-level-4 ()
(declare (inline dispatch))
(dispatch (read-command)))