diagnostics to STDERR
[p5sagit/p5-mst-13.2.git] / pod / perlunicode.pod
CommitLineData
393fec97 1=head1 NAME
2
3perlunicode - Unicode support in Perl
4
5=head1 DESCRIPTION
6
0a1f2d14 7=head2 Important Caveats
21bad921 8
c349b1b9 9Unicode support is an extensive requirement. While perl does not
10implement the Unicode standard or the accompanying technical reports
11from cover to cover, Perl does support many Unicode features.
21bad921 12
13a2d996 13=over 4
21bad921 14
15=item Input and Output Disciplines
16
75daf61c 17A filehandle can be marked as containing perl's internal Unicode
18encoding (UTF-8 or UTF-EBCDIC) by opening it with the ":utf8" layer.
0a1f2d14 19Other encodings can be converted to perl's encoding on input, or from
c349b1b9 20perl's encoding on output by use of the ":encoding(...)" layer.
21See L<open>.
22
d1be9408 23To mark the Perl source itself as being in a particular encoding,
c349b1b9 24see L<encoding>.
21bad921 25
26=item Regular Expressions
27
c349b1b9 28The regular expression compiler produces polymorphic opcodes. That is,
29the pattern adapts to the data and automatically switch to the Unicode
30character scheme when presented with Unicode data, or a traditional
31byte scheme when presented with byte data.
21bad921 32
ad0029c4 33=item C<use utf8> still needed to enable UTF-8/UTF-EBCDIC in scripts
21bad921 34
75daf61c 35The C<utf8> pragma implements the tables used for Unicode support.
c349b1b9 36However, these tables are automatically loaded on demand, so the
37C<utf8> pragma should not normally be used.
21bad921 38
c349b1b9 39As a compatibility measure, this pragma must be explicitly used to
40enable recognition of UTF-8 in the Perl scripts themselves on ASCII
41based machines or recognize UTF-EBCDIC on EBCDIC based machines.
42B<NOTE: this should be the only place where an explicit C<use utf8>
43is needed>.
21bad921 44
1768d7eb 45You can also use the C<encoding> pragma to change the default encoding
6ec9efec 46of the data in your script; see L<encoding>.
1768d7eb 47
21bad921 48=back
49
50=head2 Byte and Character semantics
393fec97 51
52Beginning with version 5.6, Perl uses logically wide characters to
53represent strings internally. This internal representation of strings
b3419ed8 54uses either the UTF-8 or the UTF-EBCDIC encoding.
393fec97 55
75daf61c 56In future, Perl-level operations can be expected to work with
57characters rather than bytes, in general.
393fec97 58
75daf61c 59However, as strictly an interim compatibility measure, Perl aims to
60provide a safe migration path from byte semantics to character
61semantics for programs. For operations where Perl can unambiguously
62decide that the input data is characters, Perl now switches to
63character semantics. For operations where this determination cannot
64be made without additional information from the user, Perl decides in
65favor of compatibility, and chooses to use byte semantics.
8cbd9a7a 66
67This behavior preserves compatibility with earlier versions of Perl,
68which allowed byte semantics in Perl operations, but only as long as
69none of the program's inputs are marked as being as source of Unicode
70character data. Such data may come from filehandles, from calls to
71external programs, from information provided by the system (such as %ENV),
21bad921 72or from literals and constants in the source text.
8cbd9a7a 73
c349b1b9 74On Windows platforms, if the C<-C> command line switch is used, (or the
75daf61c 75${^WIDE_SYSTEM_CALLS} global flag is set to C<1>), all system calls
76will use the corresponding wide character APIs. Note that this is
c349b1b9 77currently only implemented on Windows since other platforms lack an
78API standard on this area.
8cbd9a7a 79
75daf61c 80Regardless of the above, the C<bytes> pragma can always be used to
81force byte semantics in a particular lexical scope. See L<bytes>.
8cbd9a7a 82
83The C<utf8> pragma is primarily a compatibility device that enables
75daf61c 84recognition of UTF-(8|EBCDIC) in literals encountered by the parser.
7dedd01f 85Note that this pragma is only required until a future version of Perl
86in which character semantics will become the default. This pragma may
87then become a no-op. See L<utf8>.
8cbd9a7a 88
89Unless mentioned otherwise, Perl operators will use character semantics
90when they are dealing with Unicode data, and byte semantics otherwise.
91Thus, character semantics for these operations apply transparently; if
92the input data came from a Unicode source (for example, by adding a
93character encoding discipline to the filehandle whence it came, or a
94literal UTF-8 string constant in the program), character semantics
95apply; otherwise, byte semantics are in effect. To force byte semantics
8058d7ab 96on Unicode data, the C<bytes> pragma should be used.
393fec97 97
0a378802 98Notice that if you concatenate strings with byte semantics and strings
99with Unicode character data, the bytes will by default be upgraded
100I<as if they were ISO 8859-1 (Latin-1)> (or if in EBCDIC, after a
101translation to ISO 8859-1). To change this, use the C<encoding>
102pragma, see L<encoding>.
7dedd01f 103
393fec97 104Under character semantics, many operations that formerly operated on
75daf61c 105bytes change to operating on characters. For ASCII data this makes no
106difference, because UTF-8 stores ASCII in single bytes, but for any
107character greater than C<chr(127)>, the character B<may> be stored in
393fec97 108a sequence of two or more bytes, all of which have the high bit set.
2796c109 109
110For C1 controls or Latin 1 characters on an EBCDIC platform the
111character may be stored in a UTF-EBCDIC multi byte sequence. But by
112and large, the user need not worry about this, because Perl hides it
113from the user. A character in Perl is logically just a number ranging
114from 0 to 2**32 or so. Larger characters encode to longer sequences
115of bytes internally, but again, this is just an internal detail which
116is hidden at the Perl level.
393fec97 117
8cbd9a7a 118=head2 Effects of character semantics
393fec97 119
120Character semantics have the following effects:
121
122=over 4
123
124=item *
125
126Strings and patterns may contain characters that have an ordinal value
21bad921 127larger than 255.
393fec97 128
75daf61c 129Presuming you use a Unicode editor to edit your program, such
130characters will typically occur directly within the literal strings as
131UTF-8 (or UTF-EBCDIC on EBCDIC platforms) characters, but you can also
132specify a particular character with an extension of the C<\x>
133notation. UTF-X characters are specified by putting the hexadecimal
134code within curlies after the C<\x>. For instance, a Unicode smiley
135face is C<\x{263A}>.
393fec97 136
137=item *
138
139Identifiers within the Perl script may contain Unicode alphanumeric
140characters, including ideographs. (You are currently on your own when
75daf61c 141it comes to using the canonical forms of characters--Perl doesn't
142(yet) attempt to canonicalize variable names for you.)
393fec97 143
393fec97 144=item *
145
146Regular expressions match characters instead of bytes. For instance,
147"." matches a character instead of a byte. (However, the C<\C> pattern
75daf61c 148is provided to force a match a single byte ("C<char>" in C, hence C<\C>).)
393fec97 149
393fec97 150=item *
151
152Character classes in regular expressions match characters instead of
153bytes, and match against the character properties specified in the
75daf61c 154Unicode properties database. So C<\w> can be used to match an
155ideograph, for instance.
393fec97 156
393fec97 157=item *
158
159Named Unicode properties and block ranges make be used as character
160classes via the new C<\p{}> (matches property) and C<\P{}> (doesn't
161match property) constructs. For instance, C<\p{Lu}> matches any
162character with the Unicode uppercase property, while C<\p{M}> matches
9fdf68be 163any mark character. Single letter properties may omit the brackets,
164so that can be written C<\pM> also. Many predefined character classes
a1cc1cb1 165are available, such as C<\p{IsMirrored}> and C<\p{InTibetan}>.
4193bef7 166
167The C<\p{Is...}> test for "general properties" such as "letter",
168"digit", while the C<\p{In...}> test for Unicode scripts and blocks.
169
e150c829 170The official Unicode script and block names have spaces and dashes and
171separators, but for convenience you can have dashes, spaces, and
172underbars at every word division, and you need not care about correct
173casing. It is recommended, however, that for consistency you use the
174following naming: the official Unicode script, block, or property name
175(see below for the additional rules that apply to block names),
176with whitespace and dashes replaced with underbar, and the words
177"uppercase-first-lowercase-rest". That is, "Latin-1 Supplement"
178becomes "Latin_1_Supplement".
4193bef7 179
a1cc1cb1 180You can also negate both C<\p{}> and C<\P{}> by introducing a caret
e150c829 181(^) between the first curly and the property name: C<\p{^In_Tamil}> is
182equal to C<\P{In_Tamil}>.
4193bef7 183
61247495 184The C<In> and C<Is> can be left out: C<\p{Greek}> is equal to
e150c829 185C<\p{In_Greek}>, C<\P{Pd}> is equal to C<\P{Pd}>.
393fec97 186
d73e5302 187 Short Long
188
189 L Letter
e150c829 190 Lu Uppercase_Letter
191 Ll Lowercase_Letter
192 Lt Titlecase_Letter
193 Lm Modifier_Letter
194 Lo Other_Letter
d73e5302 195
196 M Mark
e150c829 197 Mn Nonspacing_Mark
198 Mc Spacing_Mark
199 Me Enclosing_Mark
d73e5302 200
201 N Number
e150c829 202 Nd Decimal_Number
203 Nl Letter_Number
204 No Other_Number
d73e5302 205
206 P Punctuation
e150c829 207 Pc Connector_Punctuation
208 Pd Dash_Punctuation
209 Ps Open_Punctuation
210 Pe Close_Punctuation
211 Pi Initial_Punctuation
d73e5302 212 (may behave like Ps or Pe depending on usage)
e150c829 213 Pf Final_Punctuation
d73e5302 214 (may behave like Ps or Pe depending on usage)
e150c829 215 Po Other_Punctuation
d73e5302 216
217 S Symbol
e150c829 218 Sm Math_Symbol
219 Sc Currency_Symbol
220 Sk Modifier_Symbol
221 So Other_Symbol
d73e5302 222
223 Z Separator
e150c829 224 Zs Space_Separator
225 Zl Line_Separator
226 Zp Paragraph_Separator
d73e5302 227
228 C Other
e150c829 229 Cc Control
230 Cf Format
231 Cs Surrogate
232 Co Private_Use
233 Cn Unassigned
1ac13f9a 234
235There's also C<L&> which is an alias for C<Ll>, C<Lu>, and C<Lt>.
32293815 236
d73e5302 237The following reserved ranges have C<In> tests:
238
e150c829 239 CJK_Ideograph_Extension_A
240 CJK_Ideograph
241 Hangul_Syllable
242 Non_Private_Use_High_Surrogate
243 Private_Use_High_Surrogate
244 Low_Surrogate
245 Private_Surrogate
246 CJK_Ideograph_Extension_B
247 Plane_15_Private_Use
248 Plane_16_Private_Use
d73e5302 249
250For example C<"\x{AC00}" =~ \p{HangulSyllable}> will test true.
e9ad1727 251(Handling of surrogates is not implemented yet, because Perl
252uses UTF-8 and not UTF-16 internally to represent Unicode.)
d73e5302 253
32293815 254Additionally, because scripts differ in their directionality
255(for example Hebrew is written right to left), all characters
256have their directionality defined:
257
d73e5302 258 BidiL Left-to-Right
259 BidiLRE Left-to-Right Embedding
260 BidiLRO Left-to-Right Override
261 BidiR Right-to-Left
262 BidiAL Right-to-Left Arabic
263 BidiRLE Right-to-Left Embedding
264 BidiRLO Right-to-Left Override
265 BidiPDF Pop Directional Format
266 BidiEN European Number
267 BidiES European Number Separator
268 BidiET European Number Terminator
269 BidiAN Arabic Number
270 BidiCS Common Number Separator
271 BidiNSM Non-Spacing Mark
272 BidiBN Boundary Neutral
273 BidiB Paragraph Separator
274 BidiS Segment Separator
275 BidiWS Whitespace
276 BidiON Other Neutrals
32293815 277
210b36aa 278=back
279
2796c109 280=head2 Scripts
281
75daf61c 282The scripts available for C<\p{In...}> and C<\P{In...}>, for example
283\p{InCyrillic>, are as follows, for example C<\p{InLatin}> or C<\P{InHan}>:
2796c109 284
1ac13f9a 285 Arabic
e9ad1727 286 Armenian
1ac13f9a 287 Bengali
e9ad1727 288 Bopomofo
289 Canadian-Aboriginal
290 Cherokee
291 Cyrillic
292 Deseret
293 Devanagari
294 Ethiopic
295 Georgian
296 Gothic
297 Greek
1ac13f9a 298 Gujarati
e9ad1727 299 Gurmukhi
300 Han
301 Hangul
302 Hebrew
303 Hiragana
304 Inherited
1ac13f9a 305 Kannada
e9ad1727 306 Katakana
307 Khmer
1ac13f9a 308 Lao
e9ad1727 309 Latin
310 Malayalam
311 Mongolian
1ac13f9a 312 Myanmar
1ac13f9a 313 Ogham
e9ad1727 314 Old-Italic
315 Oriya
1ac13f9a 316 Runic
e9ad1727 317 Sinhala
318 Syriac
319 Tamil
320 Telugu
321 Thaana
322 Thai
323 Tibetan
1ac13f9a 324 Yi
1ac13f9a 325
326There are also extended property classes that supplement the basic
327properties, defined by the F<PropList> Unicode database:
328
e9ad1727 329 ASCII_Hex_Digit
1ac13f9a 330 Bidi_Control
1ac13f9a 331 Dash
1ac13f9a 332 Diacritic
333 Extender
e9ad1727 334 Hex_Digit
335 Hyphen
336 Ideographic
337 Join_Control
338 Noncharacter_Code_Point
339 Other_Alphabetic
1ac13f9a 340 Other_Lowercase
e9ad1727 341 Other_Math
1ac13f9a 342 Other_Uppercase
e9ad1727 343 Quotation_Mark
e150c829 344 White_Space
1ac13f9a 345
346and further derived properties:
347
348 Alphabetic Lu + Ll + Lt + Lm + Lo + Other_Alphabetic
349 Lowercase Ll + Other_Lowercase
350 Uppercase Lu + Other_Uppercase
351 Math Sm + Other_Math
352
353 ID_Start Lu + Ll + Lt + Lm + Lo + Nl
354 ID_Continue ID_Start + Mn + Mc + Nd + Pc
355
356 Any Any character
357 Assigned Any non-Cn character
358 Common Any character (or unassigned code point)
e150c829 359 not explicitly assigned to a script
2796c109 360
361=head2 Blocks
362
363In addition to B<scripts>, Unicode also defines B<blocks> of
364characters. The difference between scripts and blocks is that the
e9ad1727 365scripts concept is closer to natural languages, while the blocks
2796c109 366concept is more an artificial grouping based on groups of 256 Unicode
367characters. For example, the C<Latin> script contains letters from
e9ad1727 368many blocks. On the other hand, the C<Latin> script does not contain
369all the characters from those blocks, it does not for example contain
370digits because digits are shared across many scripts. Digits and
371other similar groups, like punctuation, are in a category called
372C<Common>.
2796c109 373
374For more about scripts see the UTR #24:
375http://www.unicode.org/unicode/reports/tr24/
376For more about blocks see
377http://www.unicode.org/Public/UNIDATA/Blocks.txt
378
379Because there are overlaps in naming (there are, for example, both
380a script called C<Katakana> and a block called C<Katakana>, the block
381version has C<Block> appended to its name, C<\p{InKatakanaBlock}>.
382
383Notice that this definition was introduced in Perl 5.8.0: in Perl
e150c829 3845.6 only the blocks were used; in Perl 5.8.0 scripts became the
61247495 385preferential Unicode character class definition; this meant that
386the definitions of some character classes changed (the ones in the
2796c109 387below list that have the C<Block> appended).
388
e9ad1727 389 Alphabetic Presentation Forms
390 Arabic Block
391 Arabic Presentation Forms-A
392 Arabic Presentation Forms-B
393 Armenian Block
394 Arrows
71d929cb 395 Basic Latin
e9ad1727 396 Bengali Block
397 Block Elements
398 Bopomofo Block
399 Bopomofo Extended
400 Box Drawing
401 Braille Patterns
402 Byzantine Musical Symbols
403 CJK Compatibility
404 CJK Compatibility Forms
405 CJK Compatibility Ideographs
406 CJK Compatibility Ideographs Supplement
407 CJK Radicals Supplement
408 CJK Symbols and Punctuation
409 CJK Unified Ideographs
410 CJK Unified Ideographs Extension A
411 CJK Unified Ideographs Extension B
412 Cherokee Block
71d929cb 413 Combining Diacritical Marks
e9ad1727 414 Combining Half Marks
415 Combining Marks for Symbols
416 Control Pictures
417 Currency Symbols
71d929cb 418 Cyrillic Block
e9ad1727 419 Deseret Block
71d929cb 420 Devanagari Block
e9ad1727 421 Dingbats
422 Enclosed Alphanumerics
423 Enclosed CJK Letters and Months
424 Ethiopic Block
425 General Punctuation
426 Geometric Shapes
71d929cb 427 Georgian Block
e9ad1727 428 Gothic Block
429 Greek Block
430 Greek Extended
431 Gujarati Block
432 Gurmukhi Block
433 Halfwidth and Fullwidth Forms
434 Hangul Compatibility Jamo
71d929cb 435 Hangul Jamo
e9ad1727 436 Hangul Syllables
437 Hebrew Block
438 High Private Use Surrogates
439 High Surrogates
440 Hiragana Block
441 IPA Extensions
442 Ideographic Description Characters
443 Kanbun
444 Kangxi Radicals
445 Kannada Block
446 Katakana Block
71d929cb 447 Khmer Block
e9ad1727 448 Lao Block
449 Latin 1 Supplement
71d929cb 450 Latin Extended Additional
e9ad1727 451 Latin Extended-A
452 Latin Extended-B
71d929cb 453 Letterlike Symbols
e9ad1727 454 Low Surrogates
455 Malayalam Block
456 Mathematical Alphanumeric Symbols
71d929cb 457 Mathematical Operators
e9ad1727 458 Miscellaneous Symbols
71d929cb 459 Miscellaneous Technical
e9ad1727 460 Mongolian Block
461 Musical Symbols
462 Myanmar Block
463 Number Forms
464 Ogham Block
465 Old Italic Block
71d929cb 466 Optical Character Recognition
e9ad1727 467 Oriya Block
71d929cb 468 Private Use
e9ad1727 469 Runic Block
470 Sinhala Block
71d929cb 471 Small Form Variants
e9ad1727 472 Spacing Modifier Letters
2796c109 473 Specials
e9ad1727 474 Superscripts and Subscripts
475 Syriac Block
2796c109 476 Tags
e9ad1727 477 Tamil Block
478 Telugu Block
479 Thaana Block
480 Thai Block
481 Tibetan Block
482 Unified Canadian Aboriginal Syllabics
483 Yi Radicals
484 Yi Syllables
32293815 485
210b36aa 486=over 4
487
393fec97 488=item *
489
490The special pattern C<\X> match matches any extended Unicode sequence
491(a "combining character sequence" in Standardese), where the first
492character is a base character and subsequent characters are mark
493characters that apply to the base character. It is equivalent to
494C<(?:\PM\pM*)>.
495
393fec97 496=item *
497
383e7cdd 498The C<tr///> operator translates characters instead of bytes. Note
499that the C<tr///CU> functionality has been removed, as the interface
500was a mistake. For similar functionality see pack('U0', ...) and
501pack('C0', ...).
393fec97 502
393fec97 503=item *
504
505Case translation operators use the Unicode case translation tables
44bc797b 506when provided character input. Note that C<uc()> (also known as C<\U>
507in doublequoted strings) translates to uppercase, while C<ucfirst>
508(also known as C<\u> in doublequoted strings) translates to titlecase
509(for languages that make the distinction). Naturally the
510corresponding backslash sequences have the same semantics.
393fec97 511
512=item *
513
514Most operators that deal with positions or lengths in the string will
75daf61c 515automatically switch to using character positions, including
516C<chop()>, C<substr()>, C<pos()>, C<index()>, C<rindex()>,
517C<sprintf()>, C<write()>, and C<length()>. Operators that
518specifically don't switch include C<vec()>, C<pack()>, and
519C<unpack()>. Operators that really don't care include C<chomp()>, as
520well as any other operator that treats a string as a bucket of bits,
521such as C<sort()>, and the operators dealing with filenames.
393fec97 522
523=item *
524
525The C<pack()>/C<unpack()> letters "C<c>" and "C<C>" do I<not> change,
526since they're often used for byte-oriented formats. (Again, think
527"C<char>" in the C language.) However, there is a new "C<U>" specifier
528that will convert between UTF-8 characters and integers. (It works
529outside of the utf8 pragma too.)
530
531=item *
532
533The C<chr()> and C<ord()> functions work on characters. This is like
534C<pack("U")> and C<unpack("U")>, not like C<pack("C")> and
535C<unpack("C")>. In fact, the latter are how you now emulate
35bcd338 536byte-oriented C<chr()> and C<ord()> for Unicode strings.
537(Note that this reveals the internal UTF-8 encoding of strings and
538you are not supposed to do that unless you know what you are doing.)
393fec97 539
540=item *
541
a1ca4561 542The bit string operators C<& | ^ ~> can operate on character data.
543However, for backward compatibility reasons (bit string operations
75daf61c 544when the characters all are less than 256 in ordinal value) one should
545not mix C<~> (the bit complement) and characters both less than 256 and
a1ca4561 546equal or greater than 256. Most importantly, the DeMorgan's laws
547(C<~($x|$y) eq ~$x&~$y>, C<~($x&$y) eq ~$x|~$y>) won't hold.
548Another way to look at this is that the complement cannot return
75daf61c 549B<both> the 8-bit (byte) wide bit complement B<and> the full character
a1ca4561 550wide bit complement.
551
552=item *
553
983ffd37 554lc(), uc(), lcfirst(), and ucfirst() work for the following cases:
555
556=over 8
557
558=item *
559
560the case mapping is from a single Unicode character to another
561single Unicode character
562
563=item *
564
565the case mapping is from a single Unicode character to more
566than one Unicode character
567
568=back
569
210b36aa 570What doesn't yet work are the following cases:
983ffd37 571
572=over 8
573
574=item *
575
576the "final sigma" (Greek)
577
578=item *
579
580anything to with locales (Lithuanian, Turkish, Azeri)
581
582=back
583
584See the Unicode Technical Report #21, Case Mappings, for more details.
ac1256e8 585
586=item *
587
393fec97 588And finally, C<scalar reverse()> reverses by character rather than by byte.
589
590=back
591
8cbd9a7a 592=head2 Character encodings for input and output
593
7221edc9 594See L<Encode>.
8cbd9a7a 595
393fec97 596=head1 CAVEATS
597
598As of yet, there is no method for automatically coercing input and
b3419ed8 599output to some encoding other than UTF-8 or UTF-EBCDIC. This is planned
600in the near future, however.
393fec97 601
8cbd9a7a 602Whether an arbitrary piece of data will be treated as "characters" or
603"bytes" by internal operations cannot be divined at the current time.
393fec97 604
605Use of locales with utf8 may lead to odd results. Currently there is
606some attempt to apply 8-bit locale info to characters in the range
6070..255, but this is demonstrably incorrect for locales that use
608characters above that range (when mapped into Unicode). It will also
609tend to run slower. Avoidance of locales is strongly encouraged.
610
776f8809 611=head1 UNICODE REGULAR EXPRESSION SUPPORT LEVEL
612
613The following list of Unicode regular expression support describes
614feature by feature the Unicode support implemented in Perl as of Perl
6155.8.0. The "Level N" and the section numbers refer to the Unicode
616Technical Report 18, "Unicode Regular Expression Guidelines".
617
618=over 4
619
620=item *
621
622Level 1 - Basic Unicode Support
623
624 2.1 Hex Notation - done [1]
625 Named Notation - done [2]
626 2.2 Categories - done [3][4]
627 2.3 Subtraction - MISSING [5][6]
628 2.4 Simple Word Boundaries - done [7]
90a59240 629 2.5 Simple Loose Matches - done [8]
776f8809 630 2.6 End of Line - MISSING [9][10]
631
632 [ 1] \x{...}
633 [ 2] \N{...}
634 [ 3] . \p{Is...} \P{Is...}
29bdacb8 635 [ 4] now scripts (see UTR#24 Script Names) in addition to blocks
776f8809 636 [ 5] have negation
29bdacb8 637 [ 6] can use look-ahead to emulate subtraction (*)
776f8809 638 [ 7] include Letters in word characters
90a59240 639 [ 8] see UTR#21 Case Mappings: Perl implements 1:1 mappings
776f8809 640 [ 9] see UTR#13 Unicode Newline Guidelines
ec83e909 641 [10] should do ^ and $ also on \x{85}, \x{2028} and \x{2029})
642 (should also affect <>, $., and script line numbers)
643
29bdacb8 644(*) Instead of [\u0370-\u03FF-[{UNASSIGNED}]] as suggested by the TR
64518 you can use negated lookahead: to match currently assigned modern
646Greek characters use for example
647
648 /(?!\p{Cn})[\x{0370}-\x{03ff}]/
649
650In other words: the matched character must not be a non-assigned
651character, but it must be in the block of modern Greek characters.
652
776f8809 653=item *
654
655Level 2 - Extended Unicode Support
656
657 3.1 Surrogates - MISSING
658 3.2 Canonical Equivalents - MISSING [11][12]
659 3.3 Locale-Independent Graphemes - MISSING [13]
660 3.4 Locale-Independent Words - MISSING [14]
661 3.5 Locale-Independent Loose Matches - MISSING [15]
662
663 [11] see UTR#15 Unicode Normalization
664 [12] have Unicode::Normalize but not integrated to regexes
665 [13] have \X but at this level . should equal that
666 [14] need three classes, not just \w and \W
667 [15] see UTR#21 Case Mappings
668
669=item *
670
671Level 3 - Locale-Sensitive Support
672
673 4.1 Locale-Dependent Categories - MISSING
674 4.2 Locale-Dependent Graphemes - MISSING [16][17]
675 4.3 Locale-Dependent Words - MISSING
676 4.4 Locale-Dependent Loose Matches - MISSING
677 4.5 Locale-Dependent Ranges - MISSING
678
679 [16] see UTR#10 Unicode Collation Algorithms
680 [17] have Unicode::Collate but not integrated to regexes
681
682=back
683
c349b1b9 684=head2 Unicode Encodings
685
686Unicode characters are assigned to I<code points> which are abstract
86bbd6d1 687numbers. To use these numbers various encodings are needed.
c349b1b9 688
689=over 4
690
691=item UTF-8
692
86bbd6d1 693UTF-8 is the encoding used internally by Perl. UTF-8 is a variable
c349b1b9 694length (1 to 6 bytes, current character allocations require 4 bytes),
86bbd6d1 695byteorder independent encoding. For ASCII, UTF-8 is transparent
696(and we really do mean 7-bit ASCII, not any 8-bit encoding).
c349b1b9 697
05632f9a 698The following table is from Unicode 3.1.
699
700 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
701
702 U+0000..U+007F 00..7F   
703 U+0080..U+07FF C2..DF 80..BF   
704 U+0800..U+0FFF E0 A0..BF 80..BF  
705 U+1000..U+FFFF E1..EF 80..BF 80..BF  
706 U+10000..U+3FFFF F0 90..BF 80..BF 80..BF
707 U+40000..U+FFFFF F1..F3 80..BF 80..BF 80..BF
708 U+100000..U+10FFFF F4 80..8F 80..BF 80..BF
709
710Or, another way to look at it, as bits:
711
712 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
713
714 0aaaaaaa 0aaaaaaa
715 00000bbbbbaaaaaa 110bbbbb 10aaaaaa
716 ccccbbbbbbaaaaaa 1110cccc 10bbbbbb 10aaaaaa
717 00000dddccccccbbbbbbaaaaaa 11110ddd 10cccccc 10bbbbbb 10aaaaaa
718
719As you can see, the continuation bytes all begin with C<10>, and the
720leading bits of the start byte tells how many bytes the are in the
721encoded character.
722
c349b1b9 723=item UTF-16, UTF-16BE, UTF16-LE, Surrogates, and BOMs (Byte Order Marks)
724
725UTF-16 is a 2 or 4 byte encoding. The Unicode code points
7260x0000..0xFFFF are stored in two 16-bit units, and the code points
7270x010000..0x10FFFF in four 16-bit units. The latter case is
728using I<surrogates>, the first 16-bit unit being the I<high
729surrogate>, and the second being the I<low surrogate>.
730
731Surrogates are code points set aside to encode the 0x01000..0x10FFFF
732range of Unicode code points in pairs of 16-bit units. The I<high
733surrogates> are the range 0xD800..0xDBFF, and the I<low surrogates>
734are the range 0xDC00..0xDFFFF. The surrogate encoding is
735
736 $hi = ($uni - 0x10000) / 0x400 + 0xD800;
737 $lo = ($uni - 0x10000) % 0x400 + 0xDC00;
738
739and the decoding is
740
741 $uni = 0x10000 + ($hi - 0xD8000) * 0x400 + ($lo - 0xDC00);
742
9466bab6 743If you try to generate surrogates (for example by using chr()), you
744will get an error because firstly a surrogate on its own is
745meaningless, and secondly because Perl encodes its Unicode characters
746in UTF-8 (not 16-bit numbers), which makes the encoded character doubly
747illegal.
748
86bbd6d1 749Because of the 16-bitness, UTF-16 is byteorder dependent. UTF-16
c349b1b9 750itself can be used for in-memory computations, but if storage or
86bbd6d1 751transfer is required, either UTF-16BE (Big Endian) or UTF-16LE
c349b1b9 752(Little Endian) must be chosen.
753
754This introduces another problem: what if you just know that your data
755is UTF-16, but you don't know which endianness? Byte Order Marks
756(BOMs) are a solution to this. A special character has been reserved
86bbd6d1 757in Unicode to function as a byte order marker: the character with the
758code point 0xFEFF is the BOM.
042da322 759
c349b1b9 760The trick is that if you read a BOM, you will know the byte order,
761since if it was written on a big endian platform, you will read the
86bbd6d1 762bytes 0xFE 0xFF, but if it was written on a little endian platform,
763you will read the bytes 0xFF 0xFE. (And if the originating platform
764was writing in UTF-8, you will read the bytes 0xEF 0xBB 0xBF.)
042da322 765
86bbd6d1 766The way this trick works is that the character with the code point
7670xFFFE is guaranteed not to be a valid Unicode character, so the
768sequence of bytes 0xFF 0xFE is unambiguously "BOM, represented in
042da322 769little-endian format" and cannot be "0xFFFE, represented in big-endian
770format".
c349b1b9 771
772=item UTF-32, UTF-32BE, UTF32-LE
773
774The UTF-32 family is pretty much like the UTF-16 family, expect that
042da322 775the units are 32-bit, and therefore the surrogate scheme is not
776needed. The BOM signatures will be 0x00 0x00 0xFE 0xFF for BE and
7770xFF 0xFE 0x00 0x00 for LE.
c349b1b9 778
779=item UCS-2, UCS-4
780
86bbd6d1 781Encodings defined by the ISO 10646 standard. UCS-2 is a 16-bit
782encoding, UCS-4 is a 32-bit encoding. Unlike UTF-16, UCS-2
783is not extensible beyond 0xFFFF, because it does not use surrogates.
c349b1b9 784
785=item UTF-7
786
787A seven-bit safe (non-eight-bit) encoding, useful if the
788transport/storage is not eight-bit safe. Defined by RFC 2152.
789
95a1a48b 790=back
791
bf0fa0b2 792=head2 Security Implications of Malformed UTF-8
793
794Unfortunately, the specification of UTF-8 leaves some room for
795interpretation of how many bytes of encoded output one should generate
796from one input Unicode character. Strictly speaking, one is supposed
797to always generate the shortest possible sequence of UTF-8 bytes,
798because otherwise there is potential for input buffer overflow at the
799receiving end of a UTF-8 connection. Perl always generates the shortest
800length UTF-8, and with warnings on (C<-w> or C<use warnings;>) Perl will
801warn about non-shortest length UTF-8 (and other malformations, too,
802such as the surrogates, which are not real character code points.)
803
c349b1b9 804=head2 Unicode in Perl on EBCDIC
805
806The way Unicode is handled on EBCDIC platforms is still rather
86bbd6d1 807experimental. On such a platform, references to UTF-8 encoding in this
c349b1b9 808document and elsewhere should be read as meaning UTF-EBCDIC as
809specified in Unicode Technical Report 16 unless ASCII vs EBCDIC issues
810are specifically discussed. There is no C<utfebcdic> pragma or
86bbd6d1 811":utfebcdic" layer, rather, "utf8" and ":utf8" are re-used to mean
812the platform's "natural" 8-bit encoding of Unicode. See L<perlebcdic>
813for more discussion of the issues.
c349b1b9 814
95a1a48b 815=head2 Using Unicode in XS
816
817If you want to handle Perl Unicode in XS extensions, you may find
818the following C APIs useful:
819
820=over 4
821
822=item *
823
824DO_UTF8(sv) returns true if the UTF8 flag is on and the bytes
825pragma is not in effect. SvUTF8(sv) returns true is the UTF8
826flag is on, the bytes pragma is ignored. Remember that UTF8
827flag being on does not mean that there would be any characters
828of code points greater than 255 or 127 in the scalar, or that
829there even are any characters in the scalar. The UTF8 flag
830means that any characters added to the string will be encoded
831in UTF8 if the code points of the characters are greater than
832255. Not "if greater than 127", since Perl's Unicode model
833is not to use UTF-8 until it's really necessary.
834
835=item *
836
837uvuni_to_utf8(buf, chr) writes a Unicode character code point into a
838buffer encoding the code poinqt as UTF-8, and returns a pointer
839pointing after the UTF-8 bytes.
840
841=item *
842
843utf8_to_uvuni(buf, lenp) reads UTF-8 encoded bytes from a buffer and
844returns the Unicode character code point (and optionally the length of
845the UTF-8 byte sequence).
846
847=item *
848
849utf8_length(s, len) returns the length of the UTF-8 encoded buffer in
850characters. sv_len_utf8(sv) returns the length of the UTF-8 encoded
851scalar.
852
853=item *
854
855sv_utf8_upgrade(sv) converts the string of the scalar to its UTF-8
856encoded form. sv_utf8_downgrade(sv) does the opposite (if possible).
857sv_utf8_encode(sv) is like sv_utf8_upgrade but the UTF8 flag does not
858get turned on. sv_utf8_decode() does the opposite of sv_utf8_encode().
859
860=item *
861
862is_utf8_char(buf) returns true if the buffer points to valid UTF-8.
863
864=item *
865
866is_utf8_string(buf, len) returns true if the len bytes of the buffer
867are valid UTF-8.
868
869=item *
870
871UTF8SKIP(buf) will return the number of bytes in the UTF-8 encoded
872character in the buffer. UNISKIP(chr) will return the number of bytes
873required to UTF-8-encode the Unicode character code point.
874
875=item *
876
877utf8_distance(a, b) will tell the distance in characters between the
878two pointers pointing to the same UTF-8 encoded buffer.
879
880=item *
881
882utf8_hop(s, off) will return a pointer to an UTF-8 encoded buffer that
883is C<off> (positive or negative) Unicode characters displaced from the
884UTF-8 buffer C<s>.
885
d2cc3551 886=item *
887
888pv_uni_display(dsv, spv, len, pvlim, flags) and sv_uni_display(dsv,
889ssv, pvlim, flags) are useful for debug output of Unicode strings and
890scalars (only for debug: they display B<all> characters as hexadecimal
891code points).
892
893=item *
894
332ddc25 895ibcmp_utf8(s1, u1, len1, s2, u2, len2) can be used to compare two
896strings case-insensitively in Unicode. (For case-sensitive
897comparisons you can just use memEQ() and memNE() as usual.)
d2cc3551 898
c349b1b9 899=back
900
95a1a48b 901For more information, see L<perlapi>, and F<utf8.c> and F<utf8.h>
902in the Perl source code distribution.
903
393fec97 904=head1 SEE ALSO
905
72ff2908 906L<perluniintro>, L<encoding>, L<Encode>, L<open>, L<utf8>, L<bytes>,
907L<perlretut>, L<perlvar/"${^WIDE_SYSTEM_CALLS}">
393fec97 908
909=cut