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' 文字。