read(stdin,Int)这里有些不懂的地方


#1

我想像C语言那样用scanf从stdin输入一个整数到一个变量

x=read(stdin,Int)

运行时发现的问题

输入一个数后没有返回

2019-08-26%2013-45-50%20%E7%9A%84%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE

在这里发现好像只有输入的数超出范围才返回

2019-08-26%2013-47-10%20%E7%9A%84%E5%B1%8F%E5%B9%95%E6%88%AA%E5%9B%BE

这个程序要怎么修改?:thinking:


#2

从repl 读入的是字节格式的。也就是说我们传入的是字符串,从字符串中取相应 Int 的字节大小转换成整数。


#3

readline, 学一下论坛怎么quote代码。


#4

刚才我去看了下文档,应该把readline(stdin)得到的值str -> parse(Int,str)