コンパイラディレクティブ (F#)

[アーティクル]
02/21/2013

このトピックでは、プロセッサディレクティブとコンパイラディレクティブについて説明します。

プリプロセッサディレクティブ

プリプロセッサディレクティブは、# シンボルで始まり、独立した行に記述されます。プリプロセッサディレクティブは、コンパイラ自体の前に実行されるプリプロセッサにより解釈されます。

次の表に、F# で使用できるプリプロセッサディレクティブの一覧を示します。

ディレクティブ	Description
#ifシンボル	条件付きコンパイルをサポートします。symbol が定義されている場合、#if の後ろのセクションのコードが含まれます。
#else	条件付きコンパイルをサポートします。前の #if で使用したシンボルが定義されていない場合に含めるコードのセクションをマークします。
#endif	条件付きコンパイルをサポートします。コードの条件付きセクションの末尾をマークします。
#[line] int、#[line] intstring、#[line] intverbatim-string	デバッグ用に、元のソースコードの行とファイル名を示します。この機能は、F# ソースコードを生成するツール用に用意されています。

条件付きコンパイルディレクティブ

これらのディレクティブのいずれかによって非アクティブにされたコードは、Visual Studio コードエディターで淡色表示になります。

[!メモ]

条件付きコンパイルディレクティブの動作は他の言語である同じではありません。たとえば、シンボルを含むブール式を使用することはできません。また、true および false には特別な意味はありません。#if ディレクティブで使用するシンボルは、コマンドラインまたはプロジェクト設定で定義する必要があります。#define プリプロセッサディレクティブは存在しません。

次のコードは、#if ディレクティブ、#else ディレクティブ、および #endif ディレクティブの使用例を示しています。この例では、function1 の定義の 2 つのバージョンがコードに含まれています。-define コンパイラオプションを使用して VERSION1 を定義した場合、#if ディレクティブと #else ディレクティブの間にあるコードがアクティブになります。それ以外の場合、#else と #endif の間にあるコードがアクティブになります。

#if VERSION1
let function1 x y =
   printfn "x: %d y: %d" x y
   x + 2 * y
#else
let function1 x y =
   printfn "x: %d y: %d" x y
   x - 2*y
#endif

let result = function1 10 20

F# には、#define プリプロセッサディレクティブはありません。#if ディレクティブで使用するシンボルを定義するには、コンパイラオプションまたはプロジェクト設定を使用する必要があります。

条件付きコンパイルディレクティブは、入れ子にすることができます。プリプロセッサディレクティブでは、インデントに意味はありません。

行ディレクティブ

ビルド時にコンパイラは、各エラーが発生した行番号を参照して、F# コード内のエラーを報告します。これらの行番号は、ファイル内の最初の行から 1 で始まります。ただし、別のツールから F# ソースコードを生成している場合に生成されたコードの行番号は、通常、重要ではありません。これは、生成された F# コード内のエラーは、別のソースから発生する可能性が高いためです。#line ディレクティブを使用すると、F# ソースコードを生成するツールの作成者が、元の行番号およびソースファイルに関する情報を、生成された F# コードに渡すことができます。

#line ディレクティブを使用する場合、ファイル名を引用符で囲む必要があります。パスでバックスラッシュ文字を使用するには、文字列の前に逐語的トークン (@) がある場合を除き、バックスラッシュ文字をエスケープする必要があります。エスケープするには、バックスラッシュ文字を 1 つではなく、2 つ使用します。有効な行トークンを次に示します。これらの例では、ツールを使用して元のファイル Script1 を実行したときに F# コードファイルが自動生成され、これらのディレクティブがある位置のコードが Script1 ファイルの 25 行目のトークンから生成されるものと仮定します。

# 25
#line 25
#line 25 "C:\\Projects\\MyProject\\MyProject\\Script1"
#line 25 @"C:\Projects\MyProject\MyProject\Script1"
# 25 \@\"C:\Projects\MyProject\MyProject\Script1\"

これらのトークンは、この場所で生成された F# コードが、Script1 内の行 25 またはその近くにあるなんらかの構成要素から派生したことを示します。