为什么 F# printfn 没有在 Console.WriteLine 方面实现？

Question

我注意到使用 F# printfn 时出现意外行为。 它似乎将格式字符串分解为块并为每次调用 printfn 调用 Console.Write 多次。我希望它格式化整个字符串，然后调用 Console.WriteLine 一次。

我注意到了这一点，因为我使用 Console.SetOut 调用和我自己的 TextWriter 来拦截标准控制台输出，它试图在每一行输出前加上时间戳和一些额外的自定义文本。

什么给了？

Answer 1

这是我的猜测，因为它的价值：

1. 编译器会变魔术
2. 在运行时，实现者知道 Write 将转到缓冲流，因此性能不会与使用 StringBuilder 对象及其 ToString() 覆盖之类的东西有很大不同。也许性能会更好，因为它们避免了对象分配。