printing - 标准 ML 打印控制字符

Question

所以我偶然发现了一个奇怪的小问题。我想打印控制字符，它应该打印那个奇怪的小框，表明我正在尝试打印一个不可打印的字符。

当我尝试：

print "\^C";

它工作正常。但是，当我这样做时：

print (Char.toString(#"\^C"));

它从字面上打印“\^C”。这对我来说没有任何意义，他们不应该打印同样的东西吗？Char.toString 不会将字符转换为包含一个字符的字符串，而是将其转换为包含 3 个字符的字符串，即 '\'、'^' 和 'C'。

请有人向我解释这种行为吗？谢谢。

score 3 · Accepted Answer

This is because Char.toString returns a printable representation of the character.

If you wish to do a direct conversion from char to string, you need to use the str function.

1 回答 1