挿入文字列

2025-07-31

挿入文字列は、F# 式を埋め込むことができる文字列です。これらは、値または式の結果に基づいて文字列の値が変更される可能性があるさまざまなシナリオで役立ちます。

構文

$"string-text {expr}"
$"string-text %format-specifier{expr}"
$"""string-text {"embedded string literal"}"""
$$"""string-text %%format-specifier{{expr}}"""

注釈

挿入文字列を使用すると、文字列リテラル内の "穴" にコードを記述できます。基本的な例を次に示します。

let name = "Phillip"
let age = 30
printfn $"Name: {name}, Age: {age}"

printfn $"I think {3.0 + 0.14} is close to {System.Math.PI}!"

各 {} 中かっこペアの間の内容には、任意の F# 式を指定できます。

{}中かっこペアをエスケープするには、次のように 2 つを記述します。

let str = $"A pair of braces: {{}}"
// "A pair of braces: {}"

型指定された挿入文字列

挿入文字列には、型の安全性を強制する F# 書式指定子を含めることもできます。

let name = "Phillip"
let age = 30

printfn $"Name: %s{name}, Age: %d{age}"

// Error: type mismatch
printfn $"Name: %s{age}, Age: %d{name}"

前の例では、コードは誤ってnameする必要があるage値を渡します。その逆も同様です。挿入文字列では書式指定子が使用されるため、これは実行時の微妙なバグではなくコンパイルエラーです。

逐語的な補間文字列

F# では、文字列リテラルを埋め込むことができるように、三重引用符で囲まれた逐語的な補間文字列がサポートされています。

let age = 30

printfn $"""Name: {"Phillip"}, Age: %d{age}"""

書式指定子

書式指定子は、printf スタイルまたは .NET スタイル。 Printf スタイルの指定子は、中かっこの前に配置されたプレーンテキストの書式設定でカバーされる指定子です。例えば次が挙げられます。

let pi = $"%0.3f{System.Math.PI}"  // "3.142"
let code = $"0x%08x{43962}"  // "0x0000abba"

書式指定子 %A は、構造化 F# データの診断出力を生成する場合に特に便利です。

let data = [0..4]
let output = $"The data is %A{data}"  // "The data is [0; 1; 2; 3; 4]"

.NET スタイルの指定子は、中かっこ内の:の後に配置される、String.Formatで使用できる指定子です。例えば次が挙げられます。

let pi = $"{System.Math.PI:N4}"  // "3.1416"
let now = $"{System.DateTime.UtcNow:``yyyyMMdd``}" // for example, "20220210"

If a .NET スタイル指定子には通常とは異なる文字が含まれています。その後、二重バックティックを使用してエスケープできます。

let nowDashes = $"{System.DateTime.UtcNow:``yyyy-MM-dd``}" // for example, "2022-02-10"