Fuxi 标识符

标识符(Identifier)是以字母开头，由任意多个字母、数字组成的、而非关键字的字符系列。标识符可以形式地定义如下：

<标识符>定义为：

不是<关键字>的<标识系列>

<标识系列>定义为：

<字母>{<字母或数字>}

<字母>定义为：

是Fuxi字母的Unicode字符

<字母或数字>定义为：

是Fuxi字母或者是Fuxi数字的Unicode字符

所谓的“Fuxi字母”是从整个Unicode字符集中抽取出来的，它能支持当今世界上大多数文字，包括汉字、日文、韩文等大字符集；其中包括ASCII大小写的拉丁字母A ~ Z (\u0041 ~ \u005a)、a ~ z (\u0061 ~ \u007a)，并且出于历史的原因，还包括ASCII下划线(_，\u005f)和美圆符号(KaTeX parse error: Can't use function '\u' in math mode at position 3: , \̲u̲0024)，但仅作系统内部使用，用户程序中不可使用；包括CJK大汉字字符集中非标点字符；还包括其它拼写文字的字母，如希腊字母、俄文字母、阿拉伯文等。

所谓“Fuxi数字”指ASCII数字0~9 (\u0030 ~ \u0039)。

两个标识符相等，当且仅当它们编码长度相等，并且每个位置上的字母或数字均为相同的Unicode字符。

Unicode的合成字符同其分解形式是不等的，例如在Unicode文本中带锐音符号(acute)的拉丁字母A(á，\u00c1)可以等同于拉丁字母A(\u004)后紧跟一个不占空间的(non-spacing)锐音符号(\u0301)，但在标识符中这两种形式是不相等的。

以下是几个标识符的例子：

MAX_VALUE 海创达 i3 String