字符串 (F#)

string 类型将不可变文本表示为由 Unicode 字符组成的序列。 string 是 .NET Framework 中 String 的别名。

备注

字符串文本由引号 (") 字符分隔。 反斜杠字符 (\) 用于对某些特殊字符进行编码。 反斜杠及后面的字符统称为“转义序列”。 下表中显示了 F# 字符串文本中支持的转义序列。

如果文本的前面有“@”符号，则该文本是原义字符串。 这意味着，将忽略任何转义序列，除非将两个引号字符解释为一个引号字符。

此外，字符串可能由三个引号括起来。 在这种情况下，将忽略任何转义序列，包含双引号字符。 若要指定包含嵌入式带引号的字符串，可以使用原义字符串或一个三个带引号的字符串。 如果使用原义字符串，必须指定两个引号字符指示一个单引号字符。 如果使用的是三次带引号的字符串，可以使用单引号字符，而无需作为字符串的末尾分析的它们。 此方法非常有用，当使用包含嵌入的引号的 XML 或其他结构时。

// Using a verbatim string
let xmlFragment1 = @"<book author=""Milton, John"" title=""Paradise Lost"">"

// Using a triple-quoted string
let xmlFragment2 = """<book author="Milton, John" title="Paradise Lost">"""

在代码中，除非反斜杠字符是换行符之前的最后一个字符，否则将接受包含换行符的字符串，并将这些换行符按字面解释为换行符。 当使用反斜杠字符时，将忽略下一行上的前导空白。 下面的代码生成一个包含值 "abc\n def" 的字符串 str1 和一个包含值 "abcdef" 的字符串 str2。

let str1 = "abc
     def"
let str2 = "abc\
     def"

可以使用类似数组的语法访问字符串中的各个字符，如下所示。

printfn "%c" str1.[1]

输出为 b。

或者，可以使用数组切片语法提取子字符串，如下面的代码所示。

printfn "%s" (str1.[0..2])
printfn "%s" (str2.[3..5])

输出如下所示。

abc
def

可以使用无符号字节的数组（即，类型 byte[]）表示 ASCII 字符串。 您可以向字符串文本中添加后缀 B，以指示该字符串文本为 ASCII 字符串。 与字节数组一起使用的 ASCII 字符串文本支持与 Unicode 字符串相同的转义序列（Unicode 转义序列除外）。

// "abc" interpreted as a Unicode string.
let str1 : string = "abc"
// "abc" interpreted as an ASCII byte array. 
let bytearray : byte[] = "abc"B 

字符串运算符

可通过两种方式来串联字符串：利用 + 运算符或利用 ^ 运算符。 + 运算符保持与 .NET Framework 字符串处理功能的兼容性。

下面的示例阐释了字符串串联。

let string1 = "Hello, " + "world"

字符串类

由于 F# 中的字符串类型实际上是 .NET Framework String 类型，因此所有 String 成员都可用。 其中包括 + 运算符（用于串联字符串）、Length 属性和 Chars 属性（以 Unicode 字符数组的形式返回字符串）。 有关字符串的更多信息，请参见 String。

通过使用 String 的 Chars 属性，您可以通过指定索引来访问字符串中的各个字符，如下面的代码中所示。

let printChar (str : string) (index : int) =
    printfn "First character: %c" (str.Chars(index))

String 模块

用于字符串处理的附加功能包括在 FSharp.Core 命名空间的 String 模块中。 有关更多信息，请参见 Core.String 模块 (F#)。

请参见

参考

String

其他资源

F# 语言参考