コンパイラ ディレクティブ

このトピックでは、F# Interactive (dotnet fsi) ディレクティブのコンパイラ ディレクティブについて説明します。F# を使用した 対話型プログラミングを参照してください。

コンパイラ ディレクティブの前に # 記号が付き、それ自体が行に表示されます。

次の表に、F# で使用できるコンパイラ ディレクティブの一覧を示します。

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

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

次のコードは、#if ディレクティブ、#else ディレクティブ、および #endif ディレクティブの使用例を示しています。 この例では、function1 の定義の 2 つのバージョンがコードに含まれています。 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

#if ディレクティブは、論理式も受け入れます。

#if SILVERLIGHT || COMPILED && (NETCOREFX || !DEBUG)
#endif

次の式を使用できます。

論理演算子には通常の論理的な優先順位があります。

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

条件付きコンパイル ディレクティブは、入れ子にすることができます。 インデントはコンパイラ ディレクティブにとって重要ではありません。

NULLABLE ディレクティブ

F# 9 以降では、プロジェクトで null 許容参照型を有効にすることができます。

<Nullable>enable</Nullable>

これにより、NULLABLE ディレクティブがビルドに自動的に設定されます。 これは、最初に機能をロールアウトするときに、#if NULLABLE ハッシュ ディレクティブによって競合するコードを条件付きで変更する場合に便利です。

#if NULLABLE 
let length (arg: 'T when 'T: not null) =
    Seq.length arg
#else
let length arg =
    match arg with
    | null -> -1
    | s -> Seq.length s
#endif

行ディレクティブ

ビルド時にコンパイラは、各エラーが発生した行番号を参照して、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# コードが、25 内の行 Script1 またはその近くにあるなんらかの構成要素から派生したことを示します。

#lineディレクティブは、#nowarn / #warnonの動作に影響しないことに注意してください。 これら 2 つのディレクティブは、コンパイルされるファイルを常に関連付けます。

Warn ディレクティブ

警告ディレクティブは、ソース ファイルの一部に対して指定されたコンパイラ警告を無効または有効にします。

警告ディレクティブは、次で構成されるソース コードの 1 行です。

• 省略可能な先頭の空白
• 文字列 #nowarn または #warnon
• Whitespace
• 空白で区切られた 1 つ以上 の警告コード (下記参照)
• 省略可能な空白
• オプションの行コメント

警告コードは、(警告番号を表す) 一連の数字で、必要に応じてFSで前に付け、必要に応じて二重引用符で囲みます。

#nowarn ディレクティブは、同じ警告番号の#warnon ディレクティブが見つかるまで、またはファイルの末尾まで警告を無効にします。 同様に、 #nowarn ディレクティブは、同じ警告番号の #warnon ディレクティブが見つかるまで、またはファイルの末尾まで警告を無効にします。 このようなペアの前後に、コンパイルの既定値が適用されます。これは次の値です。

• --nowarn コンパイラ オプション (またはそれぞれの msbuild プロパティ) で無効にした場合は警告なし
• --warnon コンパイラ オプション (またはそれぞれの msbuild プロパティ) で有効になっていない限り、 オプトイン警告に対する警告はありません

次に例を示します。

module A
match None with None -> ()     // warning
let x =
    #nowarn 25
    match None with None -> 1  // no warning
    #warnon FS25
match None with None -> ()     // warning
#nowarn "FS25" FS007 "42"
match None with None -> ()     // no warning

こちらも参照ください

• F# 言語リファレンス
• コンパイラ オプション