本节书摘来自异步社区《正则表达式经典实例(第2版)》一书中的第2章,第2.7节,作者: 【美】Jan Goyvaerts , Steven Levithan著,更多章节内容可以访问云栖社区“异步社区”公众号查看
问题描述使用一个正则表达式来查找商标符号(™),要求通过指定其Unicode码位,而不是复制并粘贴一个实际上的商标符号。如果你选择复制并粘贴,那么商标符号可以被看作另外一个字面字符,即使并不能从键盘上直接输入它。字面字符已经在实例2.1中进行了讨论。
创建一个正则表达式来匹配Unicode“货币符号”(Currency Symbol)类别的任意字符。
创建一个正则表达式来匹配在Unicode“希腊扩展”区块中的任意字符。
创建一个正则表达式来匹配根据Unicode标准属于希腊字母表一部分的任意字符。
创建一个正则表达式来匹配一个字形(grapheme),它通常也被当作同一个字符:一个基本字符加上它所有的组合标记。
解决方案Unicode码位
\u2122 正则选项:无 正则流派:.NET、Java、JavaScript、Python、Ruby 1.9 \U00002122 正则选项:无 正则流派:Python在Python 2.x中,这些正则表达式需要作为一个Unicode字符串u"u2122"或u"U00002122"引用。
\x{2122} 正则选项:无 正则流派:Java 7、PCRE、PerlPCRE必须使用UTF-8支持进行编译,在PHP中,需要使用/u模式修饰符来打开UTF-8支持。
\u{2122} 正则选项:无 正则流派:Ruby 1.9Ruby 1.8不支持Unicode正则表达式。
Unicode类别
\p{Sc} 正则选项:无 正则流派:.NET、Java、XRegExp、PCRE、Perl、Ruby 1.9PCRE必须使用UTF-8支持进行编译,在PHP中,需要使用/u模式修饰符来打开UTF-8支持。JavaScript和Python不支持Unicode属性。可以使用XRegExp为JavaScript添加Unicode属性支持。Ruby 1.8不支持Unicode正则表达式。
Unicode 区块
\p{IsGreekExtended} 正则选项:无 正则流派:.NET、Perl \p{InGreekExtended} 正则选项:无 正则流派:Java、XRegExp、PerlJavaScript、PCRE、Python和Ruby 1.9不支持Unicode区块。但它们支持Unicode码位,可以用本例“变体”一节演示的方法匹配区块。XRegExp可以为JavaScript添加Unicode区块支持。
Unicode字母表
\p{Greek} 正则选项:无 正则流派:XRegExp、PCRE、Perl、Ruby 1.9 \p{IsGreek} 正则选项:无 正则流派:Java 7、PerlUnicode字母表(script)支持要求PCRE 6.5或者更新版本,而且PCRE必须使用UTF-8支持进行编译。在PHP中,需要使用/u模式修饰符来打开UTF-8支持。.NET、JavaScript和Python不支持Unicode属性。XRegExp可以为JavaScript添加Unicode属性支持。Ruby 1.8不支持Unicode正则表达式。
Unicode字形
\X 正则选项:无 正则流派:PCRE、PerlPCRE和Perl都包含一个专门的记号来匹配字形PCRE。必须使用UTF-8支持进行编译;在PHP中,需要使用/u模式修饰符来打开UTF-8支持。
(?>\P{M}\p{M}*) 正则选项:无 正则流派:.NET、Java、Ruby 1.9 (?:\P{M}\p{M}*) 正则选项:无 正则流派:XRegExp.NET、Java、XRegExp和Ruby 1.9没有匹配字形的记号。但是它们支持Unicode类别,可以用来模拟匹配字形。
JavaScript(不使用XRegExp时)和Python不支持Unicode字形。Ruby 1.8不支持Unicode正则表达式。
讨论Unicode 码位码位(code point)是Unicode字符数据库中的一个条目。码位与字符是不一样的,当然这还要基于你给“字符”什么样的含义。在Unicode中,在屏幕上作为字符出现的符号被称作是一个字形(grapheme)。
Unicode码位U+2122表示的是“商标符号”字符。根据所使用的正则流派的不同,你可以使用‹u2122›、‹u{2122}›或‹x{2122}›来匹配这个字符。
‹u›的语法要求必须使用四位十六进制数字。这意味着你只能用它来表示U+0000~U+FFFF的Unicode码位。
‹u{⋯}›和‹x{⋯}›语法则允许花括号间出现1~6位十六进制数字,这可以支持从U+000000~U+10FFFF的所有码位。你可以使用‹x{E0}›或‹x{00E0}›来匹配U+00E0。U+100000之后码位是很少使用的,字体和操作系统也没有对它们提供很好的支持。
Python的正则表达式引擎不支持Unicode码位。Python 2.x中字面Unicode字符串和Python 3.x中字面文本字符串需要转义Unicode码位。u0000 ~uFFFF表示U+0000到U+FFFF的Unicode码位,U00000000~U0010FFFF表示全部Unicode码位。在U后必须使用8位十六进制数字,无论是否使用了U+10FFFF以后的Unicode码位。
在Python代码中使用字面字符串硬编码正则表达式时,可以直接使用‹u2122›和‹U00002122›。从文件或用户输入中读取正则式时,如果把这些读取或接收到的Unicode转义直接传递给re.compile()将不会正常工作。在Python 2.x中,可以调用string.decode ('unicode-escape')解码Unicode转义。在Python 3.x中,可以调用string.encode('utf-8'). decode('unicode-escape')。
码位可以在字符类之内和之外进行使用。
Unicode类别每个Unicode码位都属于一个单独的Unicode类别(category)。一共存在30个由两个字母代表的Unicode类别,它们被组织为7个单一字母代表的超类。
‹p{L}› 任意语言的任意字母
‹\p{Ll}› 一个拥有大写变体的小写字母 ‹\p{Lu}› 一个拥有小写变体的大写字母 ‹\p{Lt}› 当只有单词的第一个字母被大写时,出现在单词开头的字母 ‹\p{Lm}› 可以像字母一样使用的特殊字符 ‹\p{Lo}› 不拥有小写和大写变体的字母或者表意文字‹p{M}› 用于与另外一个字符组合使用的字符(重音符号、变音符号、包围框等)
‹\p{Mn}› 用于与另外一个字符组合使用,同时不占用额外空间的字符(重音符号、变音符号等) ‹\p{Mc}› 用于与另外一个字符组合使用,但是会占用额外空间的字符(比如在许多东方语言中的元音符号) ‹\p{Me}› 包含另外一个字符的字符(圆圈、方框、键帽等)‹p{Z}› 任何种类的空白或不可见的分隔符
‹\p{Zs}› 一个不可见但是却会占用空间的空白字符 ‹\p{Zl}› 行分隔符U+2028 ‹\p{Zp}› 段分隔符U+2029‹p{S}› 数学符号、货币符号、装饰标志(dingbat)、制表符(box-drawing)等
‹\p{Sm}› 任意数学符号 ‹\p{Sc}› 任意货币符号 ‹\p{Sk}› 组合符号(标记)自己作为一个完整字符 ‹\p{So}› 不属于数学符号、货币符号或者组合符号的各种符号‹p{N}› 任意字母表中的任意种类的数字字符
‹\p{Nd}› 除了表意字母表之外的任意字母表中的数字0~9 ‹\p{Nl}› 看起来像是字母的数字,如罗马数字 ‹\p{No}› 上标或者下标数字,或是非0~9的数字(不包括表意字母表中的数字)‹p{P}› 任意种类的标点字符
‹\p{Pd}› 任意种类的连字号或短横线 ‹\p{Ps}› 任意种类的左括号 ‹\p{Pe}› 任意种类的右括号 ‹\p{Pi}› 任意种类的左引号 ‹\p{Pf}› 任意种类的右引号 ‹\p{Pc}› 像下划线一样用来连接单词的标点符号 ‹\p{Po}› 不属于短横线、括号、引号或连接符的任意一种标点字符‹p{C}› 不可见的控制字符和未使用的码位
‹\p{Cc}› ASCII或 Latin-1中0x00~0x1F和0x80~0x9F间字符 ‹\p{Cf}› 不可见的格式指示符 ‹\p{Co}› 保留私有使用的任意码位‹p{Cs}› 在UTF-16编码中一个替代对的一半
‹p{Cn}› 没有赋予任何字符的码位‹p{Ll}›匹配属于“小写字母”类别的单个码位。‹p{L}›可以被用作‹[p{Ll} p{Lu}p{Lt}p{Lm}p{Lo}]›的简写形式,用来匹配在任意“字母”类别中的单个码位。
‹P›是‹p›的否定版本。‹P{Ll}›匹配不属于Ll类别的单个码位。‹P{L}›匹配不拥有任何“字母”属性的单个码位。这与‹[P{Ll}P{Lu}P{Lt}P{Lm}P{Lo}]›是不一样的,后者会匹配所有的码位。‹P{Ll}›匹配属于Lu类别(以及除了Ll之外的所有其他类别)的码位,而‹P{Lu}›会包含Ll码位。把这两个组合到一个码位组中就可以把所有可能的码位都包括进来。
在Perl和PCRE 6.5及以后版本中,‹p{L&}›可视为‹[p{Ll}p{Lu]} p{Lt}]›的简写,匹配字母表中所有拥有大小写变体的字母。Unicode区块Unicode字符数据库把所有码位划分为不同的区块。每个区块由一个连续范围内的码位组成。在Unicode 6.1版本的标准中码位U+0000~U+FFFF被划分为156个区块:
‹U+0000…U+007F \p{InBasicLatin}› ‹U+0080…U+00FF \p{InLatin-1Supplement}› ‹U+0100…U+017F \p{InLatinExtended-A}› ‹U+0180…U+024F \p{InLatinExtended-B}› ‹U+0250…U+02AF \p{InIPAExtensions}› ‹U+02B0…U+02FF \p{InSpacingModifierLetters}› ‹U+0300…U+036F \p{InCombiningDiacriticalMarks}› ‹U+0370…U+03FF \p{InGreekandCoptic}› ‹U+0400…U+04FF \p{InCyrillic}› ‹U+0500…U+052F \p{InCyrillicSupplement}› ‹U+0530…U+058F \p{InArmenian}› ‹U+0590…U+05FF \p{InHebrew}› ‹U+0600…U+06FF \p{InArabic}› ‹U+0700…U+074F \p{InSyriac}› ‹U+0750…U+077F \p{InArabicSupplement}› ‹U+0780…U+07BF \p{InThaana}› ‹U+07C0…U+07FF \p{InNKo}› ‹U+0800…U+083F \p{InSamaritan}› ‹U+0840…U+085F \p{InMandaic}› ‹U+08A0…U+08FF \p{InArabicExtended-A}› ‹U+0900…U+097F \p{InDevanagari}› ‹U+0980…U+09FF \p{InBengali}› ‹U+0A00…U+0A7F \p{InGurmukhi}› ‹U+0A80…U+0AFF \p{InGujarati}› ‹U+0B00…U+0B7F \p{InOriya}› ‹U+0B80…U+0BFF \p{InTamil}› ‹U+0C00…U+0C7F \p{InTelugu}› ‹U+0C80…U+0CFF \p{InKannada}› ‹U+0D00…U+0D7F \p{InMalayalam}› ‹U+0D80…U+0DFF \p{InSinhala}› ‹U+0E00…U+0E7F \p{InThai}› ‹U+0E80…U+0EFF \p{InLao}› ‹U+0F00…U+0FFF \p{InTibetan}› ‹U+1000…U+109F \p{InMyanmar}› ‹U+10A0…U+10FF \p{InGeorgian}› ‹U+1100…U+11FF \p{InHangulJamo}› ‹U+1200…U+137F \p{InEthiopic}› ‹U+1380…U+139F \p{InEthiopicSupplement}› ‹U+13A0…U+13FF \p{InCherokee}› ‹U+1400…U+167F \p{InUnifiedCanadianAboriginalSyllabics}› ‹U+1680…U+169F \p{InOgham}› ‹U+16A0…U+16FF \p{InRunic}› ‹U+1700…U+171F \p{InTagalog}› ‹U+1720…U+173F \p{InHanunoo}› ‹U+1740…U+175F \p{InBuhid}› ‹U+1760…U+177F \p{InTagbanwa}› ‹U+1780…U+17FF \p{InKhmer}› ‹U+1800…U+18AF \p{InMongolian}› ‹U+18B0…U+18FF \p{InUnifiedCanadianAboriginalSyllabicsExtended}› ‹U+1900…U+194F \p{InLimbu}› ‹U+1950…U+197F \p{InTaiLe}› ‹U+1980…U+19DF \p{InNewTaiLue}› ‹U+19E0…U+19FF \p{InKhmerSymbols}› ‹U+1A00…U+1A1F \p{InBuginese}› ‹U+1A20…U+1AAF \p{InTaiTham}› ‹U+1B00…U+1B7F \p{InBalinese}› ‹U+1B80…U+1BBF \p{InSundanese}› ‹U+1BC0…U+1BFF \p{InBatak}› ‹U+1C00…U+1C4F \p{InLepcha}› ‹U+1C50…U+1C7F \p{InOlChiki}› ‹U+1CC0…U+1CCF \p{InSundaneseSupplement}› ‹U+1CD0…U+1CFF \p{InVedicExtensions}› ‹U+1D00…U+1D7F \p{InPhoneticExtensions}› ‹U+1D80…U+1DBF \p{InPhoneticExtensionsSupplement}› ‹U+1DC0…U+1DFF \p{InCombiningDiacriticalMarksSupplement}› ‹U+1E00…U+1EFF \p{InLatinExtendedAdditional}› ‹U+1F00…U+1FFF \p{InGreekExtended}› ‹U+2000…U+206F \p{InGeneralPunctuation}› ‹U+2070…U+209F \p{InSuperscriptsandSubscripts}› ‹U+20A0…U+20CF \p{InCurrencySymbols}› ‹U+20D0…U+20FF \p{InCombiningDiacriticalMarksforSymbols}› ‹U+2100…U+214F \p{InLetterlikeSymbols}› ‹U+2150…U+218F \p{InNumberForms}› ‹U+2190…U+21FF \p{InArrows}› ‹U+2200…U+22FF \p{InMathematicalOperators}› ‹U+2300…U+23FF \p{InMiscellaneousTechnical}› ‹U+2400…U+243F \p{InControlPictures}› ‹U+2440…U+245F \p{InOpticalCharacterRecognition}› ‹U+2460…U+24FF \p{InEnclosedAlphanumerics}› ‹U+2500…U+257F \p{InBoxDrawing}› ‹U+2580…U+259F \p{InBlockElements}› ‹U+25A0…U+25FF \p{InGeometricShapes}› ‹U+2600…U+26FF \p{InMiscellaneousSymbols}› ‹U+2700…U+27BF \p{InDingbats}› ‹U+27C0…U+27EF \p{InMiscellaneousMathematicalSymbols-A}› ‹U+27F0…U+27FF \p{InSupplementalArrows-A}› ‹U+2800…U+28FF \p{InBraillePatterns}› ‹U+2900…U+297F \p{InSupplementalArrows-B}› ‹U+2980…U+29FF \p{InMiscellaneousMathematicalSymbols-B}› ‹U+2A00…U+2AFF \p{InSupplementalMathematicalOperators}› ‹U+2B00…U+2BFF \p{InMiscellaneousSymbolsandArrows}› ‹U+2C00…U+2C5F \p{InGlagolitic}› ‹U+2C60…U+2C7F \p{InLatinExtended-C}› ‹U+2C80…U+2CFF \p{InCoptic}› ‹U+2D00…U+2D2F \p{InGeorgianSupplement}› ‹U+2D30…U+2D7F \p{InTifinagh}› ‹U+2D80…U+2DDF \p{InEthiopicExtended}› ‹U+2DE0…U+2DFF \p{InCyrillicExtended-A}› ‹U+2E00…U+2E7F \p{InSupplementalPunctuation}› ‹U+2E80…U+2EFF \p{InCJKRadicalsSupplement}› ‹U+2F00…U+2FDF \p{InKangxiRadicals}› ‹U+2FF0…U+2FFF \p{InIdeographicDescriptionCharacters}› ‹U+3000…U+303F \p{InCJKSymbolsandPunctuation}› ‹U+3040…U+309F \p{InHiragana}› ‹U+30A0…U+30FF \p{InKatakana}› ‹U+3100…U+312F \p{InBopomofo}› ‹U+3130…U+318F \p{InHangulCompatibilityJamo}› ‹U+3190…U+319F \p{InKanbun}› ‹U+31A0…U+31BF \p{InBopomofoExtended}› ‹U+31C0…U+31EF \p{InCJKStrokes}› ‹U+31F0…U+31FF \p{InKatakanaPhoneticExtensions}› ‹U+3200…U+32FF \p{InEnclosedCJKLettersandMonths}› ‹U+3300…U+33FF \p{InCJKCompatibility}› ‹U+3400…U+4DBF \p{InCJKUnifiedIdeographsExtensionA}› ‹U+4DC0…U+4DFF \p{InYijingHexagramSymbols}› ‹U+4E00…U+9FFF \p{InCJKUnifiedIdeographs}› ‹U+A000…U+A48F \p{InYiSyllables}› ‹U+A490…U+A4CF \p{InYiRadicals}› ‹U+A4D0…U+A4FF \p{InLisu}› ‹U+A500…U+A63F \p{InVai}› ‹U+A640…U+A69F \p{InCyrillicExtended-B}› ‹U+A6A0…U+A6FF \p{InBamum}› ‹U+A700…U+A71F \p{InModifierToneLetters}› ‹U+A720…U+A7FF \p{InLatinExtended-D}› ‹U+A800…U+A82F \p{InSylotiNagri}› ‹U+A830…U+A83F \p{InCommonIndicNumberForms}› ‹U+A840…U+A87F \p{InPhags-pa}› ‹U+A880…U+A8DF \p{InSaurashtra}› ‹U+A8E0…U+A8FF \p{InDevanagariExtended}› ‹U+A900…U+A92F \p{InKayahLi}› ‹U+A930…U+A95F \p{InRejang}› ‹U+A960…U+A97F \p{InHangulJamoExtended-A}› ‹U+A980…U+A9DF \p{InJavanese}› ‹U+AA00…U+AA5F \p{InCham}› ‹U+AA60…U+AA7F \p{InMyanmarExtended-A}› ‹U+AA80…U+AADF \p{InTaiViet}› ‹U+AAE0…U+AAFF \p{InMeeteiMayekExtensions}› ‹U+AB00…U+AB2F \p{InEthiopicExtended-A}› ‹U+ABC0…U+ABFF \p{InMeeteiMayek}› ‹U+AC00…U+D7AF \p{InHangulSyllables}› ‹U+D7B0…U+D7FF \p{InHangulJamoExtended-B}› ‹U+D800…U+DB7F \p{InHighSurrogates}› ‹U+DB80…U+DBFF \p{InHighPrivateUseSurrogates}› ‹U+DC00…U+DFFF \p{InLowSurrogates}› ‹U+E000…U+F8FF \p{InPrivateUseArea}› ‹U+F900…U+FAFF \p{InCJKCompatibilityIdeographs}› ‹U+FB00…U+FB4F \p{InAlphabeticPresentationForms}› ‹U+FB50…U+FDFF \p{InArabicPresentationForms-A}› ‹U+FE00…U+FE0F \p{InVariationSelectors}› ‹U+FE10…U+FE1F \p{InVerticalForms}› ‹U+FE20…U+FE2F \p{InCombiningHalfMarks}› ‹U+FE30…U+FE4F \p{InCJKCompatibilityForms}› ‹U+FE50…U+FE6F \p{InSmallFormVariants}› ‹U+FE70…U+FEFF \p{InArabicPresentationForms-B}› ‹U+FF00…U+FFEF \p{InHalfwidthandFullwidthForms}› ‹U+FFF0…U+FFFF \p{InSpecials}›Unicode区块是一个连续范围之内的码位。虽然许多区块都拥有Unicode字母表和Unicode类别的名称,但是它们并不是百分之百相对应的。一个区块的名称只是用来说明它的主要用途。
Currency(货币)区块中并不包含美元和日元符号。由于历史的原因,这些符号在BasicLatin和Latin-1Supplement区块中才能找到。但是二者都属于Currency Symbol(货币符号)类别。如果要匹配任何货币符号,那么应该使用p{Sc},而不是p{InCurrency}。
大多数区块中都包含没有分配的码位,这些都被包括在了类别‹p{Cn}›中。其他Unicode类别,以及所有的Unicode字母表中,都不会包含未分配的码位。
‹p{InBlockName}›的语法可以在.NET、XRegExp和Perl中使用,而Java使用的则是‹p{IsBlockName}›的语法。
Perl同样支持Is变体形式,但是我们推荐你坚持使用In的语法,这是为了不与Unicode字母表发生混淆。对于字母表来说,Perl支持‹p{Script}›和‹p{IsScript}›,但是不支持‹p{InScript}›。
Unicode标准规定区块名称不区分大小写,并且忽略空格、连字符和下划线。遗憾的是,绝大多数正则流派没有这么灵活。.NET所有版本和Java 4都要求符合上表所示大小写格式。Perl 5.8及以后版本和Java 5及以后版本允许混用大小写格式。Perl、Java和.NET均支持使用连字符和不含空格的格式。推荐使用这种形式。本书讨论的正则流派中,只有XRegExp和Perl 5.12及以后版本可以灵活处理Unicode区块名称中的空格、连字符和下划线。
Unicode字母表除了未分配的码位之外,每个Unicode码位都是刚好属于一个Unicode字母表。未分配的码位不属于任意字母表。在Unicode 6.1版本的标准中,到U+FFFF之前的已经分配的所有码位被分配到了如下72个字母表中:
‹\p{Common}› ‹\p{Lepcha}› ‹\p{Arabic}› ‹\p{Limbu}› ‹\p{Armenian}› ‹\p{Lisu}› ‹\p{Balinese}› ‹\p{Malayalam}› ‹\p{Bamum}› ‹\p{Mandaic}› ‹\p{Batak}› ‹\p{Meetei_Mayek}› ‹\p{Bengali}› ‹\p{Mongolian}› ‹\p{Bopomofo}› ‹\p{Myanmar}› ‹\p{Braille}› ‹\p{New_Tai_Lue}› ‹\p{Buginese}› ‹\p{Nko}› ‹\p{Buhid}› ‹\p{Ogham}› ‹\p{Canadian_Aboriginal}› ‹\p{Ol_Chiki}› ‹\p{Cham}› ‹\p{Oriya}› ‹\p{Cherokee}› ‹\p{Phags_Pa}› ‹\p{Coptic}› ‹\p{Rejang}› ‹\p{Cyrillic}› ‹\p{Runic}› ‹\p{Devanagari}› ‹\p{Samaritan}› ‹\p{Ethiopic}› ‹\p{Saurashtra}› ‹\p{Georgian}› ‹\p{Sinhala}› ‹\p{Glagolitic}› ‹\p{Sundanese}› ‹\p{Greek}› ‹\p{Syloti_Nagri}› ‹\p{Gujarati}› ‹\p{Syriac}› ‹\p{Gurmukhi}› ‹\p{Tagalog}› ‹\p{Han}› ‹\p{Tagbanwa}› ‹\p{Hangul}› ‹\p{Tai_Le}› ‹\p{Hanunoo}› ‹\p{Tai_Tham}› ‹\p{Hebrew}› ‹\p{Tai_Viet}› ‹\p{Hiragana}› ‹\p{Tamil}› ‹\p{Inherited}› ‹\p{Telugu}› ‹\p{Javanese}› ‹\p{Thaana}› ‹\p{Kannada}› ‹\p{Thai}› ‹\p{Katakana}› ‹\p{Tibetan}› ‹\p{Kayah_Li}› ‹\p{Tifinagh}› ‹\p{Khmer}› ‹\p{Vai}› ‹\p{Lao}› ‹\p{Yi}› ‹\p{Latin}›字母表是由某种人类特定语言书写系统使用的一组码位组成。一些字母表,如Thai(泰语),对应于单个的人类语言。其他字母表,如Latin(拉丁),则会涉及多种语言。有些语言是由多种字母表来组成的。例如,其中并不存在一种日语Unicode字母表;事实上,Unicode提供了日语文档中通常会使用到的Hiragana(平假名)、Katakana(片假名)、Han(汉字)和Latin(拉丁)字母表。
在上面的列表中列在第一个的Common(常见)字母表没有按照字母顺序排列。这种字母表包含了对于许多字母表相同的各种字符,如标点、空白符号以及其他各色符号。
Java要求字母表名称前使用Is,如‹p{IsYi}›。Perl允许Is前缀,但不强制要求。XRegExp、PCRE和Ruby则不允许Is前缀。
Unicode标准要求字母表名称不区分大小写,并且忽略空格、连字符和下划线。遗憾的是,绝大多数正则流派没有这么灵活。本书中介绍的所有支持字母表的流派都支持符合上表大小写与下划线格式的字母表名称。
Unicode字形当使用到组合标志(combining marks)的时候,码位与字符的区别就展现出来了。Unicode码位U+0061是“拉丁小写字母a”,而U+00E0是“加了重音符号的拉丁小写字母a”。通常来说大多数人把二者都称作字符。
U+0300是“重音组合符号”的组合标志。它只有在一个字母之后使用才有意义。一个包含Unicode码位U+0061 U+0300的字符串会被显示为à,这同U+00E0是完全一样的。组合标志U+0300会被显示到字符U+0061的顶上。
之所以会出现两种不同方式来表示一个加重音符号的字符,是因为在许多历史上的字符集中,把“带有重音符号的a”编码为了单个字符。Unicode的设计者认为有必要与这些常用的遗留字符集保持一对一的映射,另外Unicode新增了把标志和基本字母分开的表示方式,这样可以使遗留字符集无法支持的任意组合成为可能。
对于一个正则表达式用户来说,重要的是本书中介绍的所有正则流派操作的都是码位而不是图形化的字符。当我们说正则表达式‹.›匹配单个字符的时候,实际上的含义是它匹配单个的码位。如果你的目标文本中包含了两个码位U+0061 U+0300,在像Java这样的编程语言中它可以使用字符串常量"u0061u0300"来表示,那么一个点号只能匹配码位U+0061(也就是a),而不会匹配重音符号U+0300。使用正则表达式‹..›才可以同时匹配二者。
Perl和PCRE提供了一个特殊的正则表达式记号‹X›,用来匹配任意单个的Unicode字形。本质上说,它是Unicode版本的特殊点号。无论采取哪种编码方式,‹X›都会在文本àà中找到两个匹配。如果它的编码是u00E0u0061u0300,那么第一个匹配是u00E0,第二个匹配是u0061u0300。匹配任何单一Unicode码位的点号,则会分三次分别匹配u00E0、u0061和u0300。
将Unicode码位组合视为字形的规则相当复杂1FF。通常来说,要匹配一个字形我们需要匹配不是组合标志的任意Unicode码位,以及紧跟其后的所有组合标志(如果有的话)。我们也可以在支持Unicode的正则流派中使用正则‹(?>P{M}p{M})›代替‹X›记号匹配字形。‹P{M}›匹配所有不属于Mark(标志)类别的符号。‹p{M}›匹配其后所有的标志(如果存在的话)。
我们将两个正则表达式记号放置在同一个固化分组(atomic group)中,确保‹p{M}›后面的正则表达式记号匹配失败时不会回溯。‹X{2}.›不会匹配àà,因为在‹X{2}›匹配两个重音字母后没有可供点号匹配的字符。同理‹(?>P{M}p{M}){2}.›也不会匹配àà。但是如果编码方式为u00E0u0061u0300,则非捕获型分组‹(?:P{M} p{M}){2}.›可以匹配àà。在第二次尝试匹配时,‹p{M}›会匹配u0300,而点号则会匹配失败。因此正则式会回溯,使‹p{M}*›交回它所匹配的字符,从而使点号成功匹配u0300。
JavaScript的正则引擎不支持固化分组。XRegExp也无法实现此特性,因为XRegExp仍然依赖JavaScript的正则引擎实现其模式匹配。所以在使用XRegExp时,‹(?>P{M}p{M})›是我们最接近的模拟‹X›的实现。没有固化分组时,需要牢记正则式中‹(?:P{M}p{M})›后面任何可以匹配标志(Mark)类别字符的记号都可能使‹p{M}*›回溯。
变体否定变体大写形式的‹P›是小写形式‹p›的否定变体。例如,‹P{Sc}›会匹配不拥有“Currency Symbol”(货币符号)Unicode属性的任意字符。所有支持‹p›的流派都会在其所支持的属性、区块和字母表中支持‹P›。
字符组所有流派都允许把它们所支持的所有的‹u›、‹x›、‹p›和‹P›记号用在字符组之内。这样会把码位所表示的字符,或者是在该类别、区块或者字母表中的字符添加到字符组中。例如,你可以用如下的正则式来匹配一个左引号(初始标点属性)、一个右引号(终止标点属性)或商标符号(U+2122):
[\p{Pi}\p{Pf}\u2122] 正则选项:无 正则流派:.NET、Java、XRegExp、Ruby 1.9 [\p{Pi}\p{Pf}\x{2122}] 正则选项:无 正则流派:Java 7、PCRE、Perl列出所有字符如果你的正则表达式流派不支持Unicode类别、区块或字母表的话,那么你可以把属于该类别、区块或字母表的字符枚举到一个字符组中。对于区块来说,这会比较容易:因为每个区块其实就是两个码位之间的一个范围。例如,希腊语扩展(Greek Extended)区块包括U+1F00~U+1FFF的字符:
[\u1F00-\u1FFF] 正则选项:无 正则流派:.NET、Java、JavaScript、Python、Ruby 1.9 [\x{1F00}-\x{1FFF}] 正则选项:无 正则流派:Java 7、PCRE、Perl然而对于大多数类别和许多字母表来说,与之等价的字符组是单个码位和较短范围的一张冗长列表。构成每个类别和许多字母表的字符是散布在Unicode表中的。下面表示的是希腊语字母表:
[\u0370-\u0373\u0375-\u0377\u037A-\u037D\u0384\u0386\u0388-\u038A↵ \u038C\u038E-\u03A1\u03A3-\u03E1\u03F0-\u03FF\u1D26-\u1D2A\u1D5D-\u1D61↵ \u1D66-\u1D6A\u1DBF\u1F00-\u1F15\u1F18-\u1F1D\u1F20-\u1F45\u1F48-\u1F4D↵ \u1F50-\u1F57\u1F59\u1F5B\u1F5D\u1F5F-\u1F7D\u1F80-\u1FB4\u1FB6-\u1FC4↵ \u1FC6-\u1FD3\u1FD6-\u1FDB\u1FDD-\u1FEF\u1FF2-\u1FF4\u1FF6-\u1FFE\u2126↵ \U00010140-\U0001018A\U0001D200-\U0001D245] 正则选项:无 正则流派:Python在构造这个正则表达式的过程中,我们用UnicodeSet Web应用(http://unicode.org/cldr/utility/list-unicodeset.jsp)生成了希腊语的字母表。在文本框输入p{Greek},勾选“Abbreviate”(缩写)和“Escape”(转义)复选框,再单击“Show Set”(显示码位集)按钮。
如本实例先前“Unicode码位”一节的解释,只有Python支持这种Unicode码位语法。要使其他正则流派使用此正则表达式,需要做一些修改。
如果从字符组中删除U+FFFF以后的码位,则很多流派可以正常使用此表达式:
[\u0370-\u0373\u0375-\u0377\u037A-\u037D\u0384\u0386\u0388-\u038A↵ \u038C\u038E-\u03A1\u03A3-\u03E1\u03F0-\u03FF\u1D26-\u1D2A\u1D5D-\u1D61↵ \u1D66-\u1D6A\u1DBF\u1F00-\u1F15\u1F18-\u1F1D\u1F20-\u1F45\u1F48-\u1F4D↵ \u1F50-\u1F57\u1F59\u1F5B\u1F5D\u1F5F-\u1F7D\u1F80-\u1FB4\u1FB6-\u1FC4↵ \u1FC6-\u1FD3\u1FD6-\u1FDB\u1FDD-\u1FEF\u1FF2-\u1FF4\u1FF6-\u1FFE\u2126] 正则选项:无 正则流派:.NET、Java、JavaScript、Python、Ruby 1.9对于Unicode码位,Perl和PCRE使用不同的语法。在上述正则式中,需要把‹uFFFF›替换为‹x{FFFF}›、‹U0010FFFF›替换为‹x{10FFFF}›。Java 7同样支持这个正则式:
[\x{0370}-\x{0373}\x{0375}-\x{0377}\x{037A}-\x{037D}\x{0384}\x{0386}↵ \x{0388}-\x{038A}\x{038C}\x{038E}-\x{03A1}\x{03A3}-\x{03E1}↵ \x{03F0}-\x{03FF}\x{1D26}-\x{1D2A}\x{1D5D}-\x{1D61}\x{1D66}-\x{1D6A}↵ \x{1DBF}\x{1F00}-\x{1F15}\x{1F18}-\x{1F1D}\x{1F20}-\x{1F45}↵ \x{1F48}-\x{1F4D}\x{1F50}-\x{1F57}\x{1F59}\x{1F5B}\x{1F5D}\x{1F5F}-↵ \x{1F7D}\x{1F80}-\x{1FB4}\x{1FB6}-\x{1FC4}\x{1FC6}-\x{1FD3}\x{1FD6}-↵ \x{1FDB}\x{1FDD}-\x{1FEF}\x{1FF2}-\x{1FF4}\x{1FF6}-\x{1FFE}\x{2126}↵ \x{10140}-\x{10178}\x{10179}-\x{10189}\x{1018A}\x{1D200}-\x{1D245}] 正则选项:无 正则流派:Java 7、PCRE、Perl