8

假设我有一个 Int = 08 类型的变量,如何将其转换为保持前导零的字符串?

例如:

v :: Int
v = 08

show v

输出:8

我希望输出为“08”。

这可能吗?

4

4 回答 4

24

使用Text.Printf.printf

printf "%02d" v

确保先导入Text.Printf.printf

于 2008-12-18T05:30:46.057 回答
8

它的 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
于 2008-12-18T06:39:10.100 回答
3

根据您的计划,您可能希望将“08”存储为字符串,并且仅在需要该值时才转换为 int。

于 2008-12-18T06:49:45.727 回答
2

这种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"
于 2015-12-03T03:40:12.653 回答