Interpolované řetězce
Interpolované řetězce jsou řetězce, které umožňují vložit výrazy jazyka F#do nich. Jsou užitečné v široké škále scénářů, kdy se hodnota řetězce může změnit na základě výsledku hodnoty nebo výrazu.
Syntaxe
$"string-text {expr}"
$"string-text %format-specifier{expr}"
$"""string-text {"embedded string literal"}"""
$$"""string-text %%format-specifier{{expr}}"""
Poznámky
Interpolované řetězce umožňují psát kód v "dírách" uvnitř řetězcového literálu. Tady je jednoduchý příklad:
let name = "Phillip"
let age = 30
printfn $"Name: {name}, Age: {age}"
printfn $"I think {3.0 + 0.14} is close to {System.Math.PI}!"
Obsah mezi jednotlivými {}
dvojicemi závorek může být libovolný výraz jazyka F#.
Pokud chcete utéct {}
páru závorek, napište dva z nich takto:
let str = $"A pair of braces: {{}}"
// "A pair of braces: {}"
Typované interpolované řetězce
Interpolované řetězce můžou mít také specifikátory formátu F#, které vynucují bezpečnost typů.
let name = "Phillip"
let age = 30
printfn $"Name: %s{name}, Age: %d{age}"
// Error: type mismatch
printfn $"Name: %s{age}, Age: %d{name}"
V předchozím příkladu kód omylem předává age
hodnotu, kde name
by měla být, a naopak. Protože interpolované řetězce používají specifikátory formátu, jedná se o chybu kompilace místo drobné chyby modulu runtime.
Doslovné interpolované řetězce
Jazyk F# podporuje doslovné interpolované řetězce s trojitými uvozovkami, abyste mohli vložit řetězcové literály.
let age = 30
printfn $"""Name: {"Phillip"}, Age: %d{age}"""
Specifikátory formátu
Specifikátory formátu mohou být buď ve stylu printf, nebo . Styl NET. Specifikátory stylu Printf jsou ty, které jsou pokryté formátováním prostého textu, umístěné před složenými závorkami. Příklad:
let pi = $"%0.3f{System.Math.PI}" // "3.142"
let code = $"0x%08x{43962}" // "0x0000abba"
Specifikátor %A
formátu je zvláště užitečný pro vytváření diagnostických výstupů strukturovaných dat F#.
let data = [0..4]
let output = $"The data is %A{data}" // "The data is [0; 1; 2; 3; 4]"
. Specifikátory stylu NET jsou ty, které lze použít s String.Format, umístěné za :
uvnitř složených závorek. Příklad:
let pi = $"{System.Math.PI:N4}" // "3.1416"
let now = $"{System.DateTime.UtcNow:``yyyyMMdd``}" // e.g. "20220210"
Je-li . Specifikátor stylu NET obsahuje neobvyklý znak, který lze uvozit pomocí dvojitých zpětných znamétek:
let nowDashes = $"{System.DateTime.UtcNow:``yyyy-MM-dd``}" // e.g. "2022-02-10"
Zarovnání výrazů v interpolovaných řetězcích
Výrazy v interpolovaných řetězcích |
můžete zarovnat doleva nebo doprava a určit počet mezer. Následující interpolovaný řetězec zarovná výrazy doleva a doprava (v uvedeném pořadí) o sedm mezer.
printfn $"""|{"Left",-7}|{"Right",7}|"""
// |Left | Right|
Interpolované řetězce a FormattableString
formátování
Můžete také použít formátování, které dodržuje pravidla pro FormattableString:
let speedOfLight = 299792.458
printfn $"The speed of light is {speedOfLight:N3} km/s."
// "The speed of light is 299,792.458 km/s."
Interpolovaný řetězec lze také zadat jako FormattableString typ anotace typu:
let frmtStr = $"The speed of light is {speedOfLight:N3} km/s." : FormattableString
// Type: FormattableString
// The speed of light is 299,792.458 km/s.
Všimněte si, že poznámka k typu musí být u interpolovaného řetězcového výrazu samotného. Jazyk F# implicitně nepřevádí interpolovaný řetězec na FormattableString.
Rozšířená syntaxe pro interpolaci řetězců
Počínaje jazykem F# 8 můžete při práci s textem, který už obsahuje více {
}
znaků%
, použít rozšířenou syntaxi interpolace řetězců k odebrání nutnosti odvozování.
Trojité řetězcové literály uvozovek mohou začínat více $
znaky, což změní počet závorek potřebných k otevření a zavření interpolace.
V těchto řetězcových literálechach {
}
let str = $$"""A string containing some {curly braces} and an {{"F#" + " " + "expression"}}."""
// "A string containing some {curly braces} and an F# expression."
let another = $$$"""A string with pairs of {{ and }} characters and {{{ "an F# expression" }}}."""
// "A string with pairs of {{ and }} characters and an F# expression."""
Počet znaků potřebných %
pro specifikátory formátu je ovlivněn stejným způsobem:
let percent = $$"""50% of 20 is %%.1f{{20m * 0.5m}}"""
// "50% of 20 is 10.0"