簡單的字串格式
有幾種方法可以格式化並獲取字串作為結果。
.NET 的方式是使用 String.Format
或 StringBuilder.AppendFormat
:
open System
open System.Text
let hello = String.Format ("Hello {0}", "World")
// return a string with "Hello World"
let builder = StringBuilder()
let helloAgain = builder.AppendFormat ("Hello {0} again!", "World")
// return a StringBuilder with "Hello World again!"
F#還具有以 C 風格格式化字串的功能。每個 .NET 函式都有等價物:
sprintf
(String.Format):
open System
let hello = sprintf "Hello %s" "World"
// "Hello World", "%s" is for string
let helloInt = sprintf "Hello %i" 42
// "Hello 42", "%i" is for int
let helloFloat = sprintf "Hello %f" 4.2
// "Hello 4.2000", "%f" is for float
let helloBool = sprintf "Hello %b" true
// "Hello true", "%b" is for bool
let helloNativeType = sprintf "Hello %A again!" ("World", DateTime.Now)
// "Hello {formatted date}", "%A" is for native type
let helloObject = sprintf "Hello %O again!" DateTime.Now
// "Hello {formatted date}", "%O" is for calling ToString
bprintf
(StringBuilder.AppendFormat):
open System
open System.Text
let builder = StringBuilder()
// Attach the StringBuilder to the format function with partial application
let append format = Printf.bprintf builder format
// Same behavior as sprintf but strings are appended to a StringBuilder
append "Hello %s again!\n" "World"
append "Hello %i again!\n" 42
append "Hello %f again!\n" 4.2
append "Hello %b again!\n" true
append "Hello %A again!\n" ("World", DateTime.Now)
append "Hello %O again!\n" DateTime.Now
builder.ToString() // Get the result string
使用這些函式而不是 .NET 函式提供了一些優點:
- 型別安全
- 部分申請
- F#本機型別支援