CDuce/类型/字符

Char 类型对应于所有 Unicode 字符的集合。

字符字面量

Unicode 字符字面量用单引号括起来 

'a'
'b'

五个特殊字符被转义

'\n'
'\t'
'\r'
'\''
'\\'

任意 Unicode 值可以以十进制或十六进制的方式写入

'\55;'
'\055;'
'\x37;'
'\x0037;'
'7'

对应于同一个字符。请注意必须有分号。

对于 Int 类型，可以定义字符的间隔。Byte 类型以标准方式定义为

type Byte = '\0;'--'\255;'

String 和 Latin1 类型分别定义为 序列 的 Char 和 Byte。

#print_type String;;
-> [ Char* ]
#print_type Latin1;;
-> [ Byte* ]