F＃printfn异常

Question

谁能解释这导致错误的原因：

let xs = [| "Mary"; "Mungo"; "Midge" |]

Array.iter printfn xs

虽然这不能：

Array.iter printfn [| "Mary"; "Mungo"; "Midge" |]

Answer 1

printfn的签名是Printf.TextWriterFormat<'a> -> 'a 。 编译器将字符串的文字值推断为Printf.TextWriterFormat<unit>但不能对动态字符串进行推断。

您可以通过添加正确的类型注释来帮助第一个示例中的编译器：

let xs: Printf.TextWriterFormat<unit> [] = [| "Mary"; "Mungo"; "Midge" |]
Array.iter printfn xs

或使用显式构造函数：

let xs = [| "Mary"; "Mungo"; "Midge" |]
Array.iter (fun s -> printfn <| Printf.TextWriterFormat<unit>(s)) xs

通常，这样做太冗长。 因此，为字符串指定格式字符串，例如"%s" ，为类型指定"%O"以覆盖ToString()方法是一个好方法：

let xs = [| "Mary"; "Mungo"; "Midge" |]
Array.iter (printfn "%s") xs

Answer 2

除了@pad的出色答案。

造成混淆的主要原因是对论据发生了误解。 让我们看一下单迭代。 应该是

printfn "%s" "Mary" // or whatever default format specifier instead of %s

但是实际上

printfn "Mary" ()

因此， "Mary"不是要格式化的字符串。 它是一种格式说明符 ，虽然没什么用，但非常适合格式化一个unit 。

尝试对您的示例进行此修改：

Array.iter printfn [| "Mary %s"; "Mungo"; "Midge" |]

它将拒绝编译。