F# - 字符串

在 F# 中，字符串类型将不可变文本表示为 Unicode 字符序列。

字符串文字

字符串文字由引号 (") 字符分隔。

一些特殊字符用于特殊用途，例如换行符、制表符等。它们使用反斜杠 (\) 字符进行编码。反斜杠字符和相关字符构成转义序列。下表显示了 F# 支持的转义序列。

字符	转义序列
退格键	\b
换行符	\n
回车	\r
制表符	\t
反斜杠	\\
引号	\"
撇号	\'
Unicode字符	\uXXXX 或 \UXXXXXXXX（其中 X 表示十六进制数字）

以下两种方式使编译器忽略转义序列 −

当字符串文字前面有@符号时，它被称为逐字字符串。这样，字符串中的所有转义序列都将被忽略，除了两个引号字符被解释为一个引号字符之外。

当字符串用三引号引起来时，所有转义序列也会被忽略，包括双引号字符。

以下示例演示了此技术，展示了如何使用 XML 或包含嵌入引号的其他结构 −

// Using a verbatim string
let xmldata = @"<book author = ""Lewis, C.S"" title = ""Narnia"">"
printfn "%s" xmldata

当您编译并执行该程序时，它会产生以下输出 −

<book author = "Lewis, C.S" title = "Narnia">

下表显示了对字符串的基本操作 −

值	描述
collect : (char → string) → string → string	创建一个新字符串，其字符是将指定函数应用于输入字符串的每个字符并连接结果字符串的结果。
concat : string → seq<string> → string	返回通过将给定字符串与分隔符连接而成的新字符串。
exists : (char → bool) → string → bool	测试字符串的任何字符是否满足给定的谓词。
forall : (char → bool) → string → bool	测试字符串中的所有字符是否满足给定谓词。
init : int → (int → string) → string	创建一个新字符串，其字符是将指定函数应用于每个索引并连接结果字符串的结果。
iter : (char → unit) → string → unit	对字符串中的每个字符应用指定的函数。
iteri : (int → char → unit) → string → unit	将指定的函数应用于字符串中每个字符的索引以及字符本身。
length : string → int	返回字符串的长度。
map : (char → char) → string → string	创建一个新字符串，其字符是将指定函数应用于输入字符串的每个字符的结果。
mapi : (int → char → char) → string → string	创建一个新字符串，其字符是将指定函数应用于输入字符串的每个字符和索引的结果。
replicate : int → string → string	通过连接指定数量的字符串实例返回字符串。

以下示例演示了上述部分功能的用法 −

String.collect 函数构建一个新字符串，其字符是将指定函数应用于输入字符串的每个字符并连接结果字符串的结果。

let collectTesting inputS =
   String.collect (fun c -> sprintf "%c " c) inputS
printfn "%s" (collectTesting "Happy New Year!")

当您编译并执行该程序时，它会产生以下输出 −

H a p p y N e w Y e a r !

String.concat 函数将给定的字符串序列与分隔符连接起来并返回一个新字符串。

let strings = [ "Tutorials Point"; "Coding Ground"; "Absolute Classes" ]
let ourProducts = String.concat "\n" strings
printfn "%s" ourProducts

当您编译并执行该程序时，它会产生以下输出 −

Tutorials Point
Coding Ground
Absolute Classes

String.replicate 方法通过连接指定数量的字符串实例来返回字符串。

printfn "%s" <| String.replicate 10 "*! "

当您编译并执行该程序时，它会产生以下输出 −

*! *! *! *! *! *! *! *! *! *!