Cordas interpoladas
Strings interpoladas são strings que permitem incorporar expressões F# nelas. Eles são úteis em uma ampla variedade de cenários onde o valor de uma cadeia de caracteres pode mudar com base no resultado de um valor ou expressão.
Sintaxe
$"string-text {expr}"
$"string-text %format-specifier{expr}"
$"""string-text {"embedded string literal"}"""
$$"""string-text %%format-specifier{{expr}}"""
Observações
Strings interpoladas permitem que você escreva código em "buracos" dentro de um literal de cadeia de caracteres. Eis um exemplo básico:
let name = "Phillip"
let age = 30
printfn $"Name: {name}, Age: {age}"
printfn $"I think {3.0 + 0.14} is close to {System.Math.PI}!"
O conteúdo entre cada {}
par de chaves pode ser qualquer expressão F#.
Para escapar de um {}
par de cintas, escreva duas delas assim:
let str = $"A pair of braces: {{}}"
// "A pair of braces: {}"
Strings interpoladas digitadas
As cadeias de caracteres interpoladas também podem ter especificadores de formato F# para reforçar a segurança do tipo.
let name = "Phillip"
let age = 30
printfn $"Name: %s{name}, Age: %d{age}"
// Error: type mismatch
printfn $"Name: %s{age}, Age: %d{name}"
No exemplo anterior, o código passa por engano o age
valor onde name
deveria estar e vice/versa. Como as cadeias de caracteres interpoladas usam especificadores de formato, este é um erro de compilação em vez de um bug de tempo de execução sutil.
Cordas interpoladas verbatim
F# suporta strings interpoladas textuais com aspas triplas para que você possa incorporar literais de cadeia de caracteres.
let age = 30
printfn $"""Name: {"Phillip"}, Age: %d{age}"""
Especificadores de formato
Os especificadores de formato podem ser no estilo printf ou . Estilo NET. Os especificadores de estilo printf são aqueles cobertos em formatação de texto simples, colocados antes das chaves. Por exemplo:
let pi = $"%0.3f{System.Math.PI}" // "3.142"
let code = $"0x%08x{43962}" // "0x0000abba"
O especificador %A
de formato é particularmente útil para produzir saída de diagnóstico de dados F# estruturados.
let data = [0..4]
let output = $"The data is %A{data}" // "The data is [0; 1; 2; 3; 4]"
. Os especificadores de estilo NET são aqueles utilizáveis com String.Format, colocados depois de um :
dentro dos aparelhos. Por exemplo:
let pi = $"{System.Math.PI:N4}" // "3.1416"
let now = $"{System.DateTime.UtcNow:``yyyyMMdd``}" // e.g. "20220210"
Se um arquivo . O especificador estilo NET contém um caractere incomum, então ele pode ser escapado usando double-backticks:
let nowDashes = $"{System.DateTime.UtcNow:``yyyy-MM-dd``}" // e.g. "2022-02-10"
Alinhando expressões em cadeias de caracteres interpoladas
Você pode alinhar expressões à esquerda ou à direita dentro de cadeias de caracteres interpoladas com |
e uma especificação de quantos espaços. A sequência interpolada a seguir alinha as expressões esquerda e direita à esquerda e à direita, respectivamente, por sete espaços.
printfn $"""|{"Left",-7}|{"Right",7}|"""
// |Left | Right|
Strings interpoladas e FormattableString
formatação
Você também pode aplicar uma formatação que siga as regras para 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."
Além disso, uma cadeia de caracteres interpolada também pode ser verificada como um tipo através de FormattableString uma anotação de tipo:
let frmtStr = $"The speed of light is {speedOfLight:N3} km/s." : FormattableString
// Type: FormattableString
// The speed of light is 299,792.458 km/s.
Observe que a anotação de tipo deve estar na própria expressão de cadeia de caracteres interpolada. F# não converte implicitamente uma cadeia de caracteres interpolada em um FormattableStringarquivo .
Sintaxe estendida para interpolação de cadeia de caracteres
A partir do F# 8, quando você trabalha com texto que contém vários {
caracteres ou %
}
caracteres, você pode usar a sintaxe de interpolação de cadeia de caracteres estendida para remover a necessidade de escapar.
Os literais de cadeia de aspas triplas podem começar com vários $
caracteres, o que altera quantas chaves são necessárias para abrir e fechar a interpolação.
Nestes literais de cadeia de caracteres, {
e }
caracteres não precisam ser escapados:
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."""
O número de caracteres necessários para especificadores de %
formato é afetado da mesma maneira:
let percent = $$"""50% of 20 is %%.1f{{20m * 0.5m}}"""
// "50% of 20 is 10.0"