假设我有一个 Int = 08 类型的变量,如何将其转换为保持前导零的字符串?
例如:
v :: Int
v = 08
show v
输出:8
我希望输出为“08”。
这可能吗?
使用Text.Printf.printf
:
printf "%02d" v
确保先导入Text.Printf.printf
。
它的 8,而不是变量v中的 08 。是的,您将其分配为 08,但它收到 8。这就是show方法将其显示为 8 的原因。您可以使用Mipadi 给出的解决方法。
编辑:
测试的输出。
Prelude> Text.Printf.printf "%01d\n" 08
8
Prelude> Text.Printf.printf "%02d\n" 08
08
Prelude> Text.Printf.printf "%03d\n" 08
008
另一个测试的输出。
Prelude> show 08
"8"
Prelude> show 008
"8"
Prelude> show 0008
"8"
我希望你明白这一点。
编辑:
找到了另一种解决方法。试试这个,
"0" ++ show v
根据您的计划,您可能希望将“08”存储为字符串,并且仅在需要该值时才转换为 int。
这种printf
方式可能是最好的,但编写自己的函数很容易:
show2d :: Int -> String
show2d n | length (show n) == 1 = "0" ++ (show n)
| otherwise = show n
工作如下:
Prelude> show2d 1
"01"
Prelude> show2d 10
"10"
Prelude> show2d 100
"100"