第七章 F# 库（四）
打印（Microsoft.FSharp.Text.Printf）模块
打印（Printf）模块提供了以类型案例的方式格式化字符串的函数，打印模块中函数的第一个参数是值的占位符，它返回的函数需要为占位符提供值；占位符用百分号加一个表示类型的字母组成，表 7-2 是完整的清单。
表 7-2 打印模块的占位符和标记
|
标记 |
描述 |
|
%b |
布尔型，格式化为 “true” 或 “false” |
|
%s |
字符串，格式化为它的非转义内容 |
|
%d, %i |
任何基本整型（即，sbyte, byte, int16, uint16, int32, uint32, int64, uint64, nativeint, or unativeint），格式化为十进制整数，符号依基本整型 |
|
%u |
任何基本整型，格式化为无符号的十进制整数 |
|
%x, %X, %o |
任何基本整型，格式化为无符号的十六进制数（a-f），十六进制数（A-F），八进制数 |
|
%e, %E |
任何基本浮点数（即，float 或 float32），使用 C 风格的浮点格式规范进行格式化，有符号值的组成：[-]d.dddde[sign]ddd，其中：d 是一个十进制数字，dddd 是一个或多个十进制数字，ddd是三个十进制数字，sign 是 + 或 - |
|
%f |
任何基本浮点数，使用 C 风格的浮点格式规范进行格式化，有符号值的组成：[-]dddd.dddd，其中：dddd 是一个或多个十进制数字；小数点前面数字的多少取决于值的大小，后面数字的多少取决于要求的精度 |
|
%g, %G |
任何基本浮点数，使用 C 风格的浮点格式规范进行格式化，有符号值以 f 或 e 格式打印，对于给定的值和精度，看哪一个更紧凑 |
|
%M |
System.Decimal 值 |
|
%O |
任意值，打印装箱（boxing）的对象，使用它的 ToString 方法 |
|
%A |
任意值，打印出的值很智能，用户可以看到属性和字段的值 |
|
%a |
一个是函数，它也有两个参数，其一是上下文参数，与给定的格式化函数（比如 System.IO.TextWriter）相对应的类型，其二是打印的值，可以输出或返回适当的文本；另一个是实际要打印的值 |
|
%t |
通用格式分类符，要求一个是函数的参数：它也有两个参数，其一是上下文参数，与给定的格式化函数（比如 System.IO.TextWriter）相对应的类型，其二是打印的值，可以输出或返回适当的文本 |
|
0 |
这个标记表示用加 0 代替空格组成要求的宽度 |
|
- |
这个标记表示在指定的宽度内左对齐 |
|
+ |
这个标记表示，如果为正数，加上 + 号（负数对应 - 号） |
|
‘ ‘ |
如果为负数额外加上空格（负数对应 - 号） |
下面的示例演示如何使用 printf 函数，创建一个函数，需要一个字符串，然后，把字符串传递给这个函数。
Printf.printf "Hello %s""Robert"
代码的运行结果如下：
Hello Robert
这个示例的意义可能并不十分明显，下面的示例有助于解释原因。如果传递给printf 函数的类型错误，就不能编译通过：
Printf.printf "Hello %s" 1
前面的代码不能编译通过，出现下面的错误：
Prog.fs(4,25): error: FS0001: Thisexpression has type
int
but is here used with type
string
这对类型推断（type inference）也有影响。如果创建的函数使用 printf，那么，传递给 printf 的任意参数都会从这里推断出类型。例如，下面代码中函数myPrintInt 的类型为int -> unit，是因为其中包含了 printf 函数：
let myPrintInt x =
Printf.printf"An integer: %i" x
打印模块中函数的基本占位符，布尔型是 %b，字符串是 %s，整型为 %d 或 %i，无符号整型为 %u，而%x、%X 或 %o 则格式化为十六进制和八进制数[ 原文有误]；在数值型显示中指定小数倍数也是可能的，下面的示例有演示：
let pi = System.Math.PI
Printf.printfn "%f" pi
Printf.printfn "%1.1f" pi
Printf.printfn "%2.2f" pi
Printf.printfn "%2.8f" pi
代码的运行结果如下：
3.141593
3.1
3.14
3.14159265
打印模块中还有大量其他函数，格式化字符串的方法同 printf 本身，但是，结果可以写到不同的地方。下面的示例演示了一些不同的版本：
// write to a string
let s = Printf.sprintf "Hello%s\r\n" "string"
printfn "%s" s
// prints the string to a .NET TextWriter
Printf.fprintf System.Console.Out"Hello %s\r\n" "TextWriter"
// create a string that will be placed
// in an exception message
Printf.failwithf "Hello %s""exception"
代码的运行结果如下：
Hello string
Hello channel [ 有误，好像没有这一句 ]
Hello TextWriter
Microsoft.FSharp.FailureException: Helloexception
atMicrosoft.FSharp.Text.Printf.failwithf@60.Invoke(String s)
atMicrosoft.FSharp.Text.PrintfImpl.Make@188.Invoke(A inp))
at<StartupCode>.FSI_0003._main()
stopped due to error
原文地址：http://blog.csdn.net/hadstj/article/details/24790965
