Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F# 将int转换为带前导零的字符串_F#_Leading Zero_Padleft - Fatal编程技术网

F# 将int转换为带前导零的字符串

F# 将int转换为带前导零的字符串,f#,leading-zero,padleft,F#,Leading Zero,Padleft,我有一个整数,我想把它转换成带前导零的字符串 所以我有1,想把它变成0114应该变成14而不是014 我试过: let str = (string 1).PadLeft(2, '0') // visual studio suggested this one let str = (string 1).PadLeft 2 '0' let str = String.PadLeft 2 '0' (string 1) 但两者都不起作用:( 当我用F#搜索类似的东西时,我会用printfn得到一些东西,但

我有一个整数,我想把它转换成带前导零的字符串

所以我有
1
,想把它变成
01
<代码>14应该变成
14
而不是
014

我试过:

let str = (string 1).PadLeft(2, '0') // visual studio suggested this one
let str = (string 1).PadLeft 2 '0'
let str = String.PadLeft 2 '0' (string 1)
但两者都不起作用:( 当我用F#搜索类似的东西时,我会用
printfn
得到一些东西,但我不想打印到stdout:/

免责声明:这是我的第一个F#

函数,您可以使用它返回字符串,而不是打印到标准输出。任何以
s
开头的
print
函数都会返回字符串

使用
%0i
填充零。在
0
i
之间添加所需字符串的长度。例如,要填充四个零,可以使用:

sprintf“%04i”42
//返回“0042”

我完全错过了
s
print
:)前面的部分,因为某种原因
%0i
不起作用,但
%02i
像一个charm@Snæbjørn,
%0i
毫无意义,因为为了对字符串进行零填充,您需要知道它应该填充到什么长度。如何从函数param填充字符串
sprintf“%0[dynamic int param]i”42
@Jecoms-填充可在
中使用的可变数量的字符(字符串42)。PadLeft(4,'0')