OCaml - read_int 和 Scanf 之间的区别

Question

我想知道有什么区别:

let b = read_int();;

和

let scan_int () = Scanf.scanf " %d" (fun x -> x)

?

此外，为什么 Scanf 将函数作为条目？

Answer 1

read_int ()读取整行，将整行更改为整数。整行必须只包含一个整数。
Scanf.scanf " %d" (fun x -> x)还读取一整行，去掉行首的空格，然后读取一个用十进制表示法写的整数。如果该整数后面有字符，则它们会留在缓冲区中。

这是一个表格:

| line in stdin | read_int | scanf " %d"     |
|---------------|----------|-----------------|
| "1234"        | 1234     | 1234            |
| " 1234"       | ERROR    | 1234            |
| "1234 foo"    | ERROR    | 1234 (foo left) |
| "0xff"        | 255      | 0 (xff left)    |

缓冲区中剩余的内容通常会阻碍您的下一次扫描。我建议您不要在未知输入上使用 scanf。

关于需要的身份函数，那是因为 scanf 可以有非常复杂的格式字符串，这将创建复杂的数据。无法猜测您希望如何返回数据。可以使用元组，但 OCaml 在特定情况下不支持任意扁平化的产品。提供我们所谓的延续可以很好地有效地完成工作。