第三部分:第14章内部论域、谓词和常量 14.3内部论域详解 ;: string 宽的0终止的宽字符序列。 表示\ 个字符串是一串 UNICODE字 符。它作为指向宽的0终止的 t表示制表符 宽字符序列的指针。只有赋值 n表示换行符 和比较(按字典顺序的意义来 表示回车 说)操作应用该论域的值。在 Y表示单引号 源代码中,一个字符串文字可 用双引号内的一串字符定义。 表示双引号 string literal 一个"u"后面跟着四个十六进制数表 string LiteralPart-list 示与数值对应的 Unicode字符 stringliteralPart: 字符串中的双引号只能用转义序列表 a" anyCharacter-list-opt 示(单引号既可以用转义序列也可以 characterValue-list-opt 1 用图形符号表示)。 2004.11.3 A|程序设计第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 9 14.3 内部论域详解 ::string 宽的0终止的宽字符序列。 一 个字符串是一串UNICODE字 符。它作为指向宽的0终止的 宽字符序列的指针。只有赋值 和比较（按字典顺序的意义来 说）操作应用该论域的值。在 源代码中，一个字符串文字可 用双引号内的一串字符定义。 stringLiteral: stringLiteralPart-list stringLiteralPart: @" anyCharacter-list-opt " " characterValue-list-opt " \\ 表示\ \t 表示制表符 \n 表示换行符 \r 表示回车 \' 表示单引号 \" 表示双引号 一个"u"后面跟着四个十六进制数表 示与数值对应的Unicode 字符。 字符串中的双引号只能用转义序列表 示（单引号既可以用转义序列也可以 用图形符号表示）