Mercury 编程/类型

类型

Char

'char' 类型的值为单个 Unicode 字符（使用 UTF8 编码实现，因此可能占用 1 到 4 个字节）。有几种方法可以指定 'char' 作为文字值

• 作为单引号之间的普通字符，例如 'a' - 除非
  • 字符是单引号，在这种情况下使用 4 个单引号：''''，或使用 3 个单引号，并将反斜杠作为第二个字符：'\''。
  • 字符是反斜杠，在这种情况下在单引号之间使用 2 个反斜杠：'\\'。
  • 字符是双引号，在这种情况下将其放在单引号之间：'”'，或在其前面加上反斜杠并将它们放在单引号之间：'\”'。

• 作为给出所需字符的 Unicode 代码点的十六进制值（参见 Unicode）；十六进制值必须以 'x' 开头，放在 '\' 字符之间，这些字符 wiederum 放置在单引号之间，例如 '\x63\'（相当于字符 'c'）。

• 作为给出所需字符的 Unicode 代码点的八进制值；八进制值必须放在 '\' 字符之间，这些字符 wiederum 放置在单引号之间，例如 '\251\'（相当于字符 '©'）。

• 作为给出所需字符的 Unicode 代码点的 4 位十六进制值；该值必须以 '\u' 为前缀，并将结果放在单引号之间，例如 '\u00B5'（相当于希腊小写字符 μ）。

• 作为给出所需字符的 Unicode 代码点的 8 位十六进制值；该值必须以 '\U' 为前缀，并将结果放在单引号之间，例如 '\U000000B1'（相当于字符 '±'）。注意，允许的最大值为 '\U0010FFFF'。

• 下表显示了几种特殊字符的指定方式

字符	指定使用
哔	'\a'
退格	'\b'
回车	'\r'
换页	'\f'
制表符	'\t'
换行	'\n'
垂直制表符	'\v'

第 A.1 节有一个简单的 Mercury 程序，演示了 'char' 文字。