共通のlispで定義する前に関数を宣言するには？

Question

次のコードサンプルで、SBCLでf2についての未定義の関数警告が表示されます。 警告を避けるために、C言語のように最初にf2を宣言することは可能でしょうか？ 私はグーグルで、手がかりはありません。

(defun f() 
    (print (f2))) 

(defun f2() 
    (print "f2")) 

Answer 1

あなたは例えば、単一compilation unitでそれを定義する前に、同じファイルを関数を使用する場合は、コンパイラが未定義の関数（プレーンloadまだかもしれない、文句はありませんので、最初にあなたのコードをコンパイルするには！そうでなければ）

、次のことができdeclaimftype：f2は引数を受け付けないことを意味

(declaim (ftype (function() t) f2) 

タイプtの単一のvalueを返します。

しかし、定義が既にロードされている間に関数を使用する場所でファイルをコンパイルする方がはるかに意味があります。ユーザはコンパイル時にコンパイラがすべての関数の定義を持つように依存関係を指定することで、asdfをLisp特有のmake(1)として使うことができます（そしてそうすべきです）。

Answer 2

defunの順序を変更するだけです。まず、f2とfを定義します。

Answer 3

関数が同じファイル内にある場合、コンパイラは警告を出しません。

例SBCLは：

bash-3.2$ sbcl 
This is SBCL 1.3.10, an implementation of ANSI Common Lisp. 
More information about SBCL is available at <http://www.sbcl.org/>. 

SBCL is free software, provided as is, with absolutely no warranty. 
It is mostly in the public domain; some portions are provided under 
BSD-style licenses. See the CREDITS and COPYING files in the 
distribution for more information. 
* (compile-file "/tmp/order.lisp") 

; compiling file "/private/tmp/order.lisp" (written 28 NOV 2016 12:14:37 PM): 
; compiling (DEFUN F ...) 
; compiling (DEFUN F2 ...) 

; /tmp/order.fasl written 
; compilation finished in 0:00:00.178 
#P"/private/tmp/order.fasl" 
NIL 
NIL 
* (load *) 

T 
* 

Answer 4

あなたは彼らが同じコンパイル単位になるためにCommon Lispでは同じファイルに機能を配置する必要はありません。

これを行うことはアンチパターンです。大規模なプログラムはもちろんモジュールから構築され、その大部分は別のモジュールにある関数を呼び出します。これについての警告を避けるために、プログラム全体を単一の物理モジュールにロールアップすることはできません。

Lispはコンパイルのクラスタを単一のコンパイル単位と見なさされるメカニズムがあります。with-compilation-unitマクロを：

(with-compilation-unit 
    (compile-file "file-f") 
    (compile-file "file-f2")) 

あなたは航空自衛隊のビルドシステムを使用している場合、私はそれが下with-compilation-unitを行い思い出すように見えますあなたのためのフード、システムのすべてのファイルの周り。

この方法は、延期された警告を排除するのに役立ちます。つまり、実装で未定義の識別子が警告されても、がコンパイル単位の最後までを延期する場合、このマクロを使用すると、延期は複数のファイルにまたがる合計コンパイル単位の終わりまで拡張されます。

未定義の識別子に関する警告が延期されている場合、目的はそれらの警告を排除することです。以前に定義されていない関数の定義が変換単位の最後の前に現れる場合、警告を抑制することができます。このマクロを使用すると、あるファイルの定義で別のファイルの遅延警告を抑制することができます。

実装が警告を延期しない場合、マクロは助けになりません。