This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Use the same name for the QP test as MIME::Base64 does.
[perl5.git] / pod / perlunicode.pod
CommitLineData
393fec97
GS
1=head1 NAME
2
3perlunicode - Unicode support in Perl
4
5=head1 DESCRIPTION
6
0a1f2d14 7=head2 Important Caveats
21bad921 8
376d9008 9Unicode support is an extensive requirement. While Perl does not
c349b1b9
JH
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
GS
14
15=item Input and Output Disciplines
16
376d9008 17Perl knows when a filehandle uses Perl's internal Unicode encodings
1bfb14c4
JH
18(UTF-8, or UTF-EBCDIC if in EBCDIC) if the filehandle is opened with
19the ":utf8" layer. Other encodings can be converted to Perl's
20encoding on input or from Perl's encoding on output by use of the
21":encoding(...)" layer. See L<open>.
c349b1b9 22
376d9008 23To indicate that Perl source itself is using a particular encoding,
c349b1b9 24see L<encoding>.
21bad921
GS
25
26=item Regular Expressions
27
c349b1b9 28The regular expression compiler produces polymorphic opcodes. That is,
376d9008
JB
29the pattern adapts to the data and automatically switches to the Unicode
30character scheme when presented with Unicode data--or instead uses
31a traditional byte 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
376d9008
JB
35As a compatibility measure, the C<use utf8> pragma must be explicitly
36included to enable recognition of UTF-8 in the Perl scripts themselves
1bfb14c4
JH
37(in string or regular expression literals, or in identifier names) on
38ASCII-based machines or to recognize UTF-EBCDIC on EBCDIC-based
376d9008 39machines. B<These are the only times when an explicit C<use utf8>
8f8cf39c 40is needed.> See L<utf8>.
21bad921 41
1768d7eb 42You can also use the C<encoding> pragma to change the default encoding
6ec9efec 43of the data in your script; see L<encoding>.
1768d7eb 44
21bad921
GS
45=back
46
376d9008 47=head2 Byte and Character Semantics
393fec97 48
376d9008 49Beginning with version 5.6, Perl uses logically-wide characters to
3e4dbfed 50represent strings internally.
393fec97 51
376d9008
JB
52In future, Perl-level operations will be expected to work with
53characters rather than bytes.
393fec97 54
376d9008 55However, as an interim compatibility measure, Perl aims to
75daf61c
JH
56provide a safe migration path from byte semantics to character
57semantics for programs. For operations where Perl can unambiguously
376d9008 58decide that the input data are characters, Perl switches to
75daf61c
JH
59character semantics. For operations where this determination cannot
60be made without additional information from the user, Perl decides in
376d9008 61favor of compatibility and chooses to use byte semantics.
8cbd9a7a
GS
62
63This behavior preserves compatibility with earlier versions of Perl,
376d9008
JB
64which allowed byte semantics in Perl operations only if
65none of the program's inputs were marked as being as source of Unicode
8cbd9a7a
GS
66character data. Such data may come from filehandles, from calls to
67external programs, from information provided by the system (such as %ENV),
21bad921 68or from literals and constants in the source text.
8cbd9a7a 69
376d9008
JB
70On Windows platforms, if the C<-C> command line switch is used or the
71${^WIDE_SYSTEM_CALLS} global flag is set to C<1>, all system calls
72will use the corresponding wide-character APIs. This feature is
73available only on Windows to conform to the API standard already
1bfb14c4
JH
74established for that platform--and there are very few non-Windows
75platforms that have Unicode-aware APIs.
8cbd9a7a 76
376d9008
JB
77The C<bytes> pragma will always, regardless of platform, force byte
78semantics in a particular lexical scope. See L<bytes>.
8cbd9a7a
GS
79
80The C<utf8> pragma is primarily a compatibility device that enables
75daf61c 81recognition of UTF-(8|EBCDIC) in literals encountered by the parser.
376d9008
JB
82Note that this pragma is only required while Perl defaults to byte
83semantics; when character semantics become the default, this pragma
84may become a no-op. See L<utf8>.
85
86Unless explicitly stated, Perl operators use character semantics
87for Unicode data and byte semantics for non-Unicode data.
88The decision to use character semantics is made transparently. If
89input data comes from a Unicode source--for example, if a character
90encoding discipline is added to a filehandle or a literal Unicode
91string constant appears in a program--character semantics apply.
92Otherwise, byte semantics are in effect. The C<bytes> pragma should
93be used to force byte semantics on Unicode data.
94
95If strings operating under byte semantics and strings with Unicode
96character data are concatenated, the new string will be upgraded to
97I<ISO 8859-1 (Latin-1)>, even if the old Unicode string used EBCDIC.
98This translation is done without regard to the system's native 8-bit
99encoding, so to change this for systems with non-Latin-1 and
100non-EBCDIC native encodings use the C<encoding> pragma. See
101L<encoding>.
7dedd01f 102
feda178f 103Under character semantics, many operations that formerly operated on
376d9008 104bytes now operate on characters. A character in Perl is
feda178f 105logically just a number ranging from 0 to 2**31 or so. Larger
376d9008
JB
106characters may encode into longer sequences of bytes internally, but
107this internal detail is mostly hidden for Perl code.
108See L<perluniintro> for more.
393fec97 109
376d9008 110=head2 Effects of Character Semantics
393fec97
GS
111
112Character semantics have the following effects:
113
114=over 4
115
116=item *
117
376d9008 118Strings--including hash keys--and regular expression patterns may
574c8022 119contain characters that have an ordinal value larger than 255.
393fec97 120
feda178f
JH
121If you use a Unicode editor to edit your program, Unicode characters
122may occur directly within the literal strings in one of the various
376d9008
JB
123Unicode encodings (UTF-8, UTF-EBCDIC, UCS-2, etc.), but will be recognized
124as such and converted to Perl's internal representation only if the
feda178f 125appropriate L<encoding> is specified.
3e4dbfed 126
1bfb14c4
JH
127Unicode characters can also be added to a string by using the
128C<\x{...}> notation. The Unicode code for the desired character, in
376d9008
JB
129hexadecimal, should be placed in the braces. For instance, a smiley
130face is C<\x{263A}>. This encoding scheme only works for characters
131with a code of 0x100 or above.
3e4dbfed
JF
132
133Additionally, if you
574c8022 134
3e4dbfed 135 use charnames ':full';
574c8022 136
1bfb14c4
JH
137you can use the C<\N{...}> notation and put the official Unicode
138character name within the braces, such as C<\N{WHITE SMILING FACE}>.
376d9008 139
393fec97
GS
140
141=item *
142
574c8022
JH
143If an appropriate L<encoding> is specified, identifiers within the
144Perl script may contain Unicode alphanumeric characters, including
376d9008
JB
145ideographs. Perl does not currently attempt to canonicalize variable
146names.
393fec97 147
393fec97
GS
148=item *
149
1bfb14c4
JH
150Regular expressions match characters instead of bytes. "." matches
151a character instead of a byte. The C<\C> pattern is provided to force
152a match a single byte--a C<char> in C, hence C<\C>.
393fec97 153
393fec97
GS
154=item *
155
156Character classes in regular expressions match characters instead of
376d9008 157bytes and match against the character properties specified in the
1bfb14c4 158Unicode properties database. C<\w> can be used to match a Japanese
75daf61c 159ideograph, for instance.
393fec97 160
393fec97
GS
161=item *
162
eb0cc9e3 163Named Unicode properties, scripts, and block ranges may be used like
376d9008
JB
164character classes via the C<\p{}> "matches property" construct and
165the C<\P{}> negation, "doesn't match property".
1bfb14c4
JH
166
167For instance, C<\p{Lu}> matches any character with the Unicode "Lu"
168(Letter, uppercase) property, while C<\p{M}> matches any character
169with an "M" (mark--accents and such) property. Brackets are not
170required for single letter properties, so C<\p{M}> is equivalent to
171C<\pM>. Many predefined properties are available, such as
172C<\p{Mirrored}> and C<\p{Tibetan}>.
4193bef7 173
cfc01aea 174The official Unicode script and block names have spaces and dashes as
376d9008 175separators, but for convenience you can use dashes, spaces, or
1bfb14c4
JH
176underbars, and case is unimportant. It is recommended, however, that
177for consistency you use the following naming: the official Unicode
178script, property, or block name (see below for the additional rules
179that apply to block names) with whitespace and dashes removed, and the
180words "uppercase-first-lowercase-rest". C<Latin-1 Supplement> thus
181becomes C<Latin1Supplement>.
4193bef7 182
376d9008
JB
183You can also use negation in both C<\p{}> and C<\P{}> by introducing a caret
184(^) between the first brace and the property name: C<\p{^Tamil}> is
eb0cc9e3 185equal to C<\P{Tamil}>.
4193bef7 186
eb0cc9e3 187Here are the basic Unicode General Category properties, followed by their
376d9008
JB
188long form. You can use either; C<\p{Lu}> and C<\p{LowercaseLetter}>,
189for instance, are identical.
393fec97 190
d73e5302
JH
191 Short Long
192
193 L Letter
eb0cc9e3
JH
194 Lu UppercaseLetter
195 Ll LowercaseLetter
196 Lt TitlecaseLetter
197 Lm ModifierLetter
198 Lo OtherLetter
d73e5302
JH
199
200 M Mark
eb0cc9e3
JH
201 Mn NonspacingMark
202 Mc SpacingMark
203 Me EnclosingMark
d73e5302
JH
204
205 N Number
eb0cc9e3
JH
206 Nd DecimalNumber
207 Nl LetterNumber
208 No OtherNumber
d73e5302
JH
209
210 P Punctuation
eb0cc9e3
JH
211 Pc ConnectorPunctuation
212 Pd DashPunctuation
213 Ps OpenPunctuation
214 Pe ClosePunctuation
215 Pi InitialPunctuation
d73e5302 216 (may behave like Ps or Pe depending on usage)
eb0cc9e3 217 Pf FinalPunctuation
d73e5302 218 (may behave like Ps or Pe depending on usage)
eb0cc9e3 219 Po OtherPunctuation
d73e5302
JH
220
221 S Symbol
eb0cc9e3
JH
222 Sm MathSymbol
223 Sc CurrencySymbol
224 Sk ModifierSymbol
225 So OtherSymbol
d73e5302
JH
226
227 Z Separator
eb0cc9e3
JH
228 Zs SpaceSeparator
229 Zl LineSeparator
230 Zp ParagraphSeparator
d73e5302
JH
231
232 C Other
e150c829
JH
233 Cc Control
234 Cf Format
eb0cc9e3
JH
235 Cs Surrogate (not usable)
236 Co PrivateUse
e150c829 237 Cn Unassigned
1ac13f9a 238
376d9008 239Single-letter properties match all characters in any of the
3e4dbfed 240two-letter sub-properties starting with the same letter.
376d9008 241C<L&> is a special case, which is an alias for C<Ll>, C<Lu>, and C<Lt>.
32293815 242
eb0cc9e3 243Because Perl hides the need for the user to understand the internal
1bfb14c4
JH
244representation of Unicode characters, there is no need to implement
245the somewhat messy concept of surrogates. C<Cs> is therefore not
eb0cc9e3 246supported.
d73e5302 247
376d9008
JB
248Because scripts differ in their directionality--Hebrew is
249written right to left, for example--Unicode supplies these properties:
32293815 250
eb0cc9e3 251 Property Meaning
92e830a9 252
d73e5302
JH
253 BidiL Left-to-Right
254 BidiLRE Left-to-Right Embedding
255 BidiLRO Left-to-Right Override
256 BidiR Right-to-Left
257 BidiAL Right-to-Left Arabic
258 BidiRLE Right-to-Left Embedding
259 BidiRLO Right-to-Left Override
260 BidiPDF Pop Directional Format
261 BidiEN European Number
262 BidiES European Number Separator
263 BidiET European Number Terminator
264 BidiAN Arabic Number
265 BidiCS Common Number Separator
266 BidiNSM Non-Spacing Mark
267 BidiBN Boundary Neutral
268 BidiB Paragraph Separator
269 BidiS Segment Separator
270 BidiWS Whitespace
271 BidiON Other Neutrals
32293815 272
376d9008 273For example, C<\p{BidiR}> matches characters that are normally
eb0cc9e3
JH
274written right to left.
275
210b36aa
AMS
276=back
277
2796c109
JH
278=head2 Scripts
279
376d9008
JB
280The script names which can be used by C<\p{...}> and C<\P{...}>,
281such as in C<\p{Latin}> or C<\p{Cyrillic}>, are as follows:
2796c109 282
1ac13f9a 283 Arabic
e9ad1727 284 Armenian
1ac13f9a 285 Bengali
e9ad1727 286 Bopomofo
1d81abf3 287 Buhid
eb0cc9e3 288 CanadianAboriginal
e9ad1727
JH
289 Cherokee
290 Cyrillic
291 Deseret
292 Devanagari
293 Ethiopic
294 Georgian
295 Gothic
296 Greek
1ac13f9a 297 Gujarati
e9ad1727
JH
298 Gurmukhi
299 Han
300 Hangul
1d81abf3 301 Hanunoo
e9ad1727
JH
302 Hebrew
303 Hiragana
304 Inherited
1ac13f9a 305 Kannada
e9ad1727
JH
306 Katakana
307 Khmer
1ac13f9a 308 Lao
e9ad1727
JH
309 Latin
310 Malayalam
311 Mongolian
1ac13f9a 312 Myanmar
1ac13f9a 313 Ogham
eb0cc9e3 314 OldItalic
e9ad1727 315 Oriya
1ac13f9a 316 Runic
e9ad1727
JH
317 Sinhala
318 Syriac
1d81abf3
JH
319 Tagalog
320 Tagbanwa
e9ad1727
JH
321 Tamil
322 Telugu
323 Thaana
324 Thai
325 Tibetan
1ac13f9a 326 Yi
1ac13f9a 327
376d9008 328Extended property classes can supplement the basic
1ac13f9a
JH
329properties, defined by the F<PropList> Unicode database:
330
1d81abf3 331 ASCIIHexDigit
eb0cc9e3 332 BidiControl
1ac13f9a 333 Dash
1d81abf3 334 Deprecated
1ac13f9a
JH
335 Diacritic
336 Extender
1d81abf3 337 GraphemeLink
eb0cc9e3 338 HexDigit
e9ad1727
JH
339 Hyphen
340 Ideographic
1d81abf3
JH
341 IDSBinaryOperator
342 IDSTrinaryOperator
eb0cc9e3 343 JoinControl
1d81abf3 344 LogicalOrderException
eb0cc9e3
JH
345 NoncharacterCodePoint
346 OtherAlphabetic
1d81abf3
JH
347 OtherDefaultIgnorableCodePoint
348 OtherGraphemeExtend
eb0cc9e3
JH
349 OtherLowercase
350 OtherMath
351 OtherUppercase
352 QuotationMark
1d81abf3
JH
353 Radical
354 SoftDotted
355 TerminalPunctuation
356 UnifiedIdeograph
eb0cc9e3 357 WhiteSpace
1ac13f9a 358
376d9008 359and there are further derived properties:
1ac13f9a 360
eb0cc9e3
JH
361 Alphabetic Lu + Ll + Lt + Lm + Lo + OtherAlphabetic
362 Lowercase Ll + OtherLowercase
363 Uppercase Lu + OtherUppercase
364 Math Sm + OtherMath
1ac13f9a
JH
365
366 ID_Start Lu + Ll + Lt + Lm + Lo + Nl
367 ID_Continue ID_Start + Mn + Mc + Nd + Pc
368
369 Any Any character
66b79f27
RGS
370 Assigned Any non-Cn character (i.e. synonym for \P{Cn})
371 Unassigned Synonym for \p{Cn}
1ac13f9a 372 Common Any character (or unassigned code point)
e150c829 373 not explicitly assigned to a script
2796c109 374
1bfb14c4
JH
375For backward compatibility (with Perl 5.6), all properties mentioned
376so far may have C<Is> prepended to their name, so C<\P{IsLu}>, for
377example, is equal to C<\P{Lu}>.
eb0cc9e3 378
2796c109
JH
379=head2 Blocks
380
1bfb14c4
JH
381In addition to B<scripts>, Unicode also defines B<blocks> of
382characters. The difference between scripts and blocks is that the
383concept of scripts is closer to natural languages, while the concept
384of blocks is more of an artificial grouping based on groups of 256
376d9008 385Unicode characters. For example, the C<Latin> script contains letters
1bfb14c4 386from many blocks but does not contain all the characters from those
376d9008
JB
387blocks. It does not, for example, contain digits, because digits are
388shared across many scripts. Digits and similar groups, like
389punctuation, are in a category called C<Common>.
2796c109 390
cfc01aea
JF
391For more about scripts, see the UTR #24:
392
393 http://www.unicode.org/unicode/reports/tr24/
394
395For more about blocks, see:
396
397 http://www.unicode.org/Public/UNIDATA/Blocks.txt
2796c109 398
376d9008
JB
399Block names are given with the C<In> prefix. For example, the
400Katakana block is referenced via C<\p{InKatakana}>. The C<In>
7eabb34d 401prefix may be omitted if there is no naming conflict with a script
eb0cc9e3 402or any other property, but it is recommended that C<In> always be used
1bfb14c4 403for block tests to avoid confusion.
eb0cc9e3
JH
404
405These block names are supported:
406
1d81abf3
JH
407 InAlphabeticPresentationForms
408 InArabic
409 InArabicPresentationFormsA
410 InArabicPresentationFormsB
411 InArmenian
412 InArrows
413 InBasicLatin
414 InBengali
415 InBlockElements
416 InBopomofo
417 InBopomofoExtended
418 InBoxDrawing
419 InBraillePatterns
420 InBuhid
421 InByzantineMusicalSymbols
422 InCJKCompatibility
423 InCJKCompatibilityForms
424 InCJKCompatibilityIdeographs
425 InCJKCompatibilityIdeographsSupplement
426 InCJKRadicalsSupplement
427 InCJKSymbolsAndPunctuation
428 InCJKUnifiedIdeographs
429 InCJKUnifiedIdeographsExtensionA
430 InCJKUnifiedIdeographsExtensionB
431 InCherokee
432 InCombiningDiacriticalMarks
433 InCombiningDiacriticalMarksforSymbols
434 InCombiningHalfMarks
435 InControlPictures
436 InCurrencySymbols
437 InCyrillic
438 InCyrillicSupplementary
439 InDeseret
440 InDevanagari
441 InDingbats
442 InEnclosedAlphanumerics
443 InEnclosedCJKLettersAndMonths
444 InEthiopic
445 InGeneralPunctuation
446 InGeometricShapes
447 InGeorgian
448 InGothic
449 InGreekExtended
450 InGreekAndCoptic
451 InGujarati
452 InGurmukhi
453 InHalfwidthAndFullwidthForms
454 InHangulCompatibilityJamo
455 InHangulJamo
456 InHangulSyllables
457 InHanunoo
458 InHebrew
459 InHighPrivateUseSurrogates
460 InHighSurrogates
461 InHiragana
462 InIPAExtensions
463 InIdeographicDescriptionCharacters
464 InKanbun
465 InKangxiRadicals
466 InKannada
467 InKatakana
468 InKatakanaPhoneticExtensions
469 InKhmer
470 InLao
471 InLatin1Supplement
472 InLatinExtendedA
473 InLatinExtendedAdditional
474 InLatinExtendedB
475 InLetterlikeSymbols
476 InLowSurrogates
477 InMalayalam
478 InMathematicalAlphanumericSymbols
479 InMathematicalOperators
480 InMiscellaneousMathematicalSymbolsA
481 InMiscellaneousMathematicalSymbolsB
482 InMiscellaneousSymbols
483 InMiscellaneousTechnical
484 InMongolian
485 InMusicalSymbols
486 InMyanmar
487 InNumberForms
488 InOgham
489 InOldItalic
490 InOpticalCharacterRecognition
491 InOriya
492 InPrivateUseArea
493 InRunic
494 InSinhala
495 InSmallFormVariants
496 InSpacingModifierLetters
497 InSpecials
498 InSuperscriptsAndSubscripts
499 InSupplementalArrowsA
500 InSupplementalArrowsB
501 InSupplementalMathematicalOperators
502 InSupplementaryPrivateUseAreaA
503 InSupplementaryPrivateUseAreaB
504 InSyriac
505 InTagalog
506 InTagbanwa
507 InTags
508 InTamil
509 InTelugu
510 InThaana
511 InThai
512 InTibetan
513 InUnifiedCanadianAboriginalSyllabics
514 InVariationSelectors
515 InYiRadicals
516 InYiSyllables
32293815 517
210b36aa
AMS
518=over 4
519
393fec97
GS
520=item *
521
376d9008
JB
522The special pattern C<\X> matches any extended Unicode
523sequence--"a combining character sequence" in Standardese--where the
524first character is a base character and subsequent characters are mark
525characters that apply to the base character. C<\X> is equivalent to
393fec97
GS
526C<(?:\PM\pM*)>.
527
393fec97
GS
528=item *
529
383e7cdd 530The C<tr///> operator translates characters instead of bytes. Note
376d9008
JB
531that the C<tr///CU> functionality has been removed. For similar
532functionality see pack('U0', ...) and pack('C0', ...).
393fec97 533
393fec97
GS
534=item *
535
536Case translation operators use the Unicode case translation tables
376d9008
JB
537when character input is provided. Note that C<uc()>, or C<\U> in
538interpolated strings, translates to uppercase, while C<ucfirst>,
539or C<\u> in interpolated strings, translates to titlecase in languages
540that make the distinction.
393fec97
GS
541
542=item *
543
376d9008 544Most operators that deal with positions or lengths in a string will
75daf61c
JH
545automatically switch to using character positions, including
546C<chop()>, C<substr()>, C<pos()>, C<index()>, C<rindex()>,
547C<sprintf()>, C<write()>, and C<length()>. Operators that
376d9008
JB
548specifically do not switch include C<vec()>, C<pack()>, and
549C<unpack()>. Operators that really don't care include C<chomp()>,
550operators that treats strings as a bucket of bits such as C<sort()>,
551and operators dealing with filenames.
393fec97
GS
552
553=item *
554
1bfb14c4 555The C<pack()>/C<unpack()> letters C<c> and C<C> do I<not> change,
376d9008 556since they are often used for byte-oriented formats. Again, think
1bfb14c4
JH
557C<char> in the C language.
558
559There is a new C<U> specifier that converts between Unicode characters
560and code points.
393fec97
GS
561
562=item *
563
376d9008
JB
564The C<chr()> and C<ord()> functions work on characters, similar to
565C<pack("U")> and C<unpack("U")>, I<not> C<pack("C")> and
566C<unpack("C")>. C<pack("C")> and C<unpack("C")> are methods for
567emulating byte-oriented C<chr()> and C<ord()> on Unicode strings.
568While these methods reveal the internal encoding of Unicode strings,
569that is not something one normally needs to care about at all.
393fec97
GS
570
571=item *
572
376d9008
JB
573The bit string operators, C<& | ^ ~>, can operate on character data.
574However, for backward compatibility, such as when using bit string
575operations when characters are all less than 256 in ordinal value, one
576should not use C<~> (the bit complement) with characters of both
577values less than 256 and values greater than 256. Most importantly,
578DeMorgan's laws (C<~($x|$y) eq ~$x&~$y> and C<~($x&$y) eq ~$x|~$y>)
579will not hold. The reason for this mathematical I<faux pas> is that
580the complement cannot return B<both> the 8-bit (byte-wide) bit
581complement B<and> the full character-wide bit complement.
a1ca4561
YST
582
583=item *
584
983ffd37
JH
585lc(), uc(), lcfirst(), and ucfirst() work for the following cases:
586
587=over 8
588
589=item *
590
591the case mapping is from a single Unicode character to another
376d9008 592single Unicode character, or
983ffd37
JH
593
594=item *
595
596the case mapping is from a single Unicode character to more
376d9008 597than one Unicode character.
983ffd37
JH
598
599=back
600
376d9008 601The following cases do not yet work:
983ffd37
JH
602
603=over 8
604
605=item *
606
376d9008 607the "final sigma" (Greek), and
983ffd37
JH
608
609=item *
610
376d9008 611anything to with locales (Lithuanian, Turkish, Azeri).
983ffd37
JH
612
613=back
614
615See the Unicode Technical Report #21, Case Mappings, for more details.
ac1256e8
JH
616
617=item *
618
393fec97
GS
619And finally, C<scalar reverse()> reverses by character rather than by byte.
620
621=back
622
376d9008 623=head2 User-Defined Character Properties
491fd90a
JH
624
625You can define your own character properties by defining subroutines
376d9008 626whose names begin with "In" or "Is". The subroutines must be
491fd90a
JH
627visible in the package that uses the properties. The user-defined
628properties can be used in the regular expression C<\p> and C<\P>
629constructs.
630
376d9008
JB
631The subroutines must return a specially-formatted string, with one
632or more newline-separated lines. Each line must be one of the following:
491fd90a
JH
633
634=over 4
635
636=item *
637
99a6b1f0 638Two hexadecimal numbers separated by horizontal whitespace (space or
376d9008 639tabular characters) denoting a range of Unicode code points to include.
491fd90a
JH
640
641=item *
642
376d9008
JB
643Something to include, prefixed by "+": a built-in character
644property (prefixed by "utf8::"), to represent all the characters in that
645property; two hexadecimal code points for a range; or a single
646hexadecimal code point.
491fd90a
JH
647
648=item *
649
376d9008 650Something to exclude, prefixed by "-": an existing character
11ef8fdd 651property (prefixed by "utf8::"), for all the characters in that
376d9008
JB
652property; two hexadecimal code points for a range; or a single
653hexadecimal code point.
491fd90a
JH
654
655=item *
656
376d9008 657Something to negate, prefixed "!": an existing character
11ef8fdd 658property (prefixed by "utf8::") for all the characters except the
376d9008
JB
659characters in the property; two hexadecimal code points for a range;
660or a single hexadecimal code point.
491fd90a
JH
661
662=back
663
664For example, to define a property that covers both the Japanese
665syllabaries (hiragana and katakana), you can define
666
667 sub InKana {
d5822f25
A
668 return <<END;
669 3040\t309F
670 30A0\t30FF
491fd90a
JH
671 END
672 }
673
d5822f25
A
674Imagine that the here-doc end marker is at the beginning of the line.
675Now you can use C<\p{InKana}> and C<\P{InKana}>.
491fd90a
JH
676
677You could also have used the existing block property names:
678
679 sub InKana {
680 return <<'END';
681 +utf8::InHiragana
682 +utf8::InKatakana
683 END
684 }
685
686Suppose you wanted to match only the allocated characters,
d5822f25 687not the raw block ranges: in other words, you want to remove
491fd90a
JH
688the non-characters:
689
690 sub InKana {
691 return <<'END';
692 +utf8::InHiragana
693 +utf8::InKatakana
694 -utf8::IsCn
695 END
696 }
697
698The negation is useful for defining (surprise!) negated classes.
699
700 sub InNotKana {
701 return <<'END';
702 !utf8::InHiragana
703 -utf8::InKatakana
704 +utf8::IsCn
705 END
706 }
707
376d9008 708=head2 Character Encodings for Input and Output
8cbd9a7a 709
7221edc9 710See L<Encode>.
8cbd9a7a 711
c29a771d 712=head2 Unicode Regular Expression Support Level
776f8809 713
376d9008
JB
714The following list of Unicode support for regular expressions describes
715all the features currently supported. The references to "Level N"
716and the section numbers refer to the Unicode Technical Report 18,
717"Unicode Regular Expression Guidelines".
776f8809
JH
718
719=over 4
720
721=item *
722
723Level 1 - Basic Unicode Support
724
725 2.1 Hex Notation - done [1]
3bfdc84c 726 Named Notation - done [2]
776f8809
JH
727 2.2 Categories - done [3][4]
728 2.3 Subtraction - MISSING [5][6]
729 2.4 Simple Word Boundaries - done [7]
78d3e1bf 730 2.5 Simple Loose Matches - done [8]
776f8809
JH
731 2.6 End of Line - MISSING [9][10]
732
733 [ 1] \x{...}
734 [ 2] \N{...}
eb0cc9e3 735 [ 3] . \p{...} \P{...}
29bdacb8 736 [ 4] now scripts (see UTR#24 Script Names) in addition to blocks
776f8809 737 [ 5] have negation
237bad5b
JH
738 [ 6] can use regular expression look-ahead [a]
739 or user-defined character properties [b] to emulate subtraction
776f8809 740 [ 7] include Letters in word characters
376d9008 741 [ 8] note that Perl does Full case-folding in matching, not Simple:
e0f9d4a8
JH
742 for example U+1F88 is equivalent with U+1F000 U+03B9,
743 not with 1F80. This difference matters for certain Greek
376d9008
JB
744 capital letters with certain modifiers: the Full case-folding
745 decomposes the letter, while the Simple case-folding would map
e0f9d4a8 746 it to a single character.
776f8809 747 [ 9] see UTR#13 Unicode Newline Guidelines
ec83e909
JH
748 [10] should do ^ and $ also on \x{85}, \x{2028} and \x{2029})
749 (should also affect <>, $., and script line numbers)
3bfdc84c 750 (the \x{85}, \x{2028} and \x{2029} do match \s)
7207e29d 751
237bad5b 752[a] You can mimic class subtraction using lookahead.
dbe420b4 753For example, what TR18 might write as
29bdacb8 754
dbe420b4
JH
755 [{Greek}-[{UNASSIGNED}]]
756
757in Perl can be written as:
758
1d81abf3
JH
759 (?!\p{Unassigned})\p{InGreekAndCoptic}
760 (?=\p{Assigned})\p{InGreekAndCoptic}
dbe420b4
JH
761
762But in this particular example, you probably really want
763
1bfb14c4 764 \p{GreekAndCoptic}
dbe420b4
JH
765
766which will match assigned characters known to be part of the Greek script.
29bdacb8 767
818c4caa 768[b] See L</"User-Defined Character Properties">.
237bad5b 769
776f8809
JH
770=item *
771
772Level 2 - Extended Unicode Support
773
774 3.1 Surrogates - MISSING
775 3.2 Canonical Equivalents - MISSING [11][12]
776 3.3 Locale-Independent Graphemes - MISSING [13]
777 3.4 Locale-Independent Words - MISSING [14]
778 3.5 Locale-Independent Loose Matches - MISSING [15]
779
780 [11] see UTR#15 Unicode Normalization
781 [12] have Unicode::Normalize but not integrated to regexes
782 [13] have \X but at this level . should equal that
783 [14] need three classes, not just \w and \W
784 [15] see UTR#21 Case Mappings
785
786=item *
787
788Level 3 - Locale-Sensitive Support
789
790 4.1 Locale-Dependent Categories - MISSING
791 4.2 Locale-Dependent Graphemes - MISSING [16][17]
792 4.3 Locale-Dependent Words - MISSING
793 4.4 Locale-Dependent Loose Matches - MISSING
794 4.5 Locale-Dependent Ranges - MISSING
795
796 [16] see UTR#10 Unicode Collation Algorithms
797 [17] have Unicode::Collate but not integrated to regexes
798
799=back
800
c349b1b9
JH
801=head2 Unicode Encodings
802
376d9008
JB
803Unicode characters are assigned to I<code points>, which are abstract
804numbers. To use these numbers, various encodings are needed.
c349b1b9
JH
805
806=over 4
807
c29a771d 808=item *
5cb3728c
RB
809
810UTF-8
c349b1b9 811
3e4dbfed 812UTF-8 is a variable-length (1 to 6 bytes, current character allocations
376d9008
JB
813require 4 bytes), byte-order independent encoding. For ASCII (and we
814really do mean 7-bit ASCII, not another 8-bit encoding), UTF-8 is
815transparent.
c349b1b9 816
8c007b5a 817The following table is from Unicode 3.2.
05632f9a
JH
818
819 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
820
8c007b5a
JH
821 U+0000..U+007F 00..7F
822 U+0080..U+07FF C2..DF 80..BF
ec90690f
TS
823 U+0800..U+0FFF E0 A0..BF 80..BF
824 U+1000..U+CFFF E1..EC 80..BF 80..BF
825 U+D000..U+D7FF ED 80..9F 80..BF
8c007b5a 826 U+D800..U+DFFF ******* ill-formed *******
ec90690f 827 U+E000..U+FFFF EE..EF 80..BF 80..BF
05632f9a
JH
828 U+10000..U+3FFFF F0 90..BF 80..BF 80..BF
829 U+40000..U+FFFFF F1..F3 80..BF 80..BF 80..BF
830 U+100000..U+10FFFF F4 80..8F 80..BF 80..BF
831
376d9008
JB
832Note the C<A0..BF> in C<U+0800..U+0FFF>, the C<80..9F> in
833C<U+D000...U+D7FF>, the C<90..B>F in C<U+10000..U+3FFFF>, and the
834C<80...8F> in C<U+100000..U+10FFFF>. The "gaps" are caused by legal
835UTF-8 avoiding non-shortest encodings: it is technically possible to
836UTF-8-encode a single code point in different ways, but that is
837explicitly forbidden, and the shortest possible encoding should always
838be used. So that's what Perl does.
37361303 839
376d9008 840Another way to look at it is via bits:
05632f9a
JH
841
842 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
843
844 0aaaaaaa 0aaaaaaa
845 00000bbbbbaaaaaa 110bbbbb 10aaaaaa
846 ccccbbbbbbaaaaaa 1110cccc 10bbbbbb 10aaaaaa
847 00000dddccccccbbbbbbaaaaaa 11110ddd 10cccccc 10bbbbbb 10aaaaaa
848
849As you can see, the continuation bytes all begin with C<10>, and the
8c007b5a 850leading bits of the start byte tell how many bytes the are in the
05632f9a
JH
851encoded character.
852
c29a771d 853=item *
5cb3728c
RB
854
855UTF-EBCDIC
dbe420b4 856
376d9008 857Like UTF-8 but EBCDIC-safe, in the way that UTF-8 is ASCII-safe.
dbe420b4 858
c29a771d 859=item *
5cb3728c
RB
860
861UTF-16, UTF-16BE, UTF16-LE, Surrogates, and BOMs (Byte Order Marks)
c349b1b9 862
1bfb14c4
JH
863The followings items are mostly for reference and general Unicode
864knowledge, Perl doesn't use these constructs internally.
dbe420b4 865
c349b1b9 866UTF-16 is a 2 or 4 byte encoding. The Unicode code points
1bfb14c4
JH
867C<U+0000..U+FFFF> are stored in a single 16-bit unit, and the code
868points C<U+10000..U+10FFFF> in two 16-bit units. The latter case is
c349b1b9
JH
869using I<surrogates>, the first 16-bit unit being the I<high
870surrogate>, and the second being the I<low surrogate>.
871
376d9008 872Surrogates are code points set aside to encode the C<U+10000..U+10FFFF>
c349b1b9 873range of Unicode code points in pairs of 16-bit units. The I<high
376d9008
JB
874surrogates> are the range C<U+D800..U+DBFF>, and the I<low surrogates>
875are the range C<U+DC00..U+DFFF>. The surrogate encoding is
c349b1b9
JH
876
877 $hi = ($uni - 0x10000) / 0x400 + 0xD800;
878 $lo = ($uni - 0x10000) % 0x400 + 0xDC00;
879
880and the decoding is
881
1a3fa709 882 $uni = 0x10000 + ($hi - 0xD800) * 0x400 + ($lo - 0xDC00);
c349b1b9 883
feda178f 884If you try to generate surrogates (for example by using chr()), you
376d9008
JB
885will get a warning if warnings are turned on, because those code
886points are not valid for a Unicode character.
9466bab6 887
376d9008 888Because of the 16-bitness, UTF-16 is byte-order dependent. UTF-16
c349b1b9 889itself can be used for in-memory computations, but if storage or
376d9008
JB
890transfer is required either UTF-16BE (big-endian) or UTF-16LE
891(little-endian) encodings must be chosen.
c349b1b9
JH
892
893This introduces another problem: what if you just know that your data
376d9008
JB
894is UTF-16, but you don't know which endianness? Byte Order Marks, or
895BOMs, are a solution to this. A special character has been reserved
86bbd6d1 896in Unicode to function as a byte order marker: the character with the
376d9008 897code point C<U+FEFF> is the BOM.
042da322 898
c349b1b9 899The trick is that if you read a BOM, you will know the byte order,
376d9008
JB
900since if it was written on a big-endian platform, you will read the
901bytes C<0xFE 0xFF>, but if it was written on a little-endian platform,
902you will read the bytes C<0xFF 0xFE>. (And if the originating platform
903was writing in UTF-8, you will read the bytes C<0xEF 0xBB 0xBF>.)
042da322 904
86bbd6d1 905The way this trick works is that the character with the code point
376d9008
JB
906C<U+FFFE> is guaranteed not to be a valid Unicode character, so the
907sequence of bytes C<0xFF 0xFE> is unambiguously "BOM, represented in
1bfb14c4 908little-endian format" and cannot be C<U+FFFE>, represented in big-endian
042da322 909format".
c349b1b9 910
c29a771d 911=item *
5cb3728c
RB
912
913UTF-32, UTF-32BE, UTF32-LE
c349b1b9
JH
914
915The UTF-32 family is pretty much like the UTF-16 family, expect that
042da322 916the units are 32-bit, and therefore the surrogate scheme is not
376d9008
JB
917needed. The BOM signatures will be C<0x00 0x00 0xFE 0xFF> for BE and
918C<0xFF 0xFE 0x00 0x00> for LE.
c349b1b9 919
c29a771d 920=item *
5cb3728c
RB
921
922UCS-2, UCS-4
c349b1b9 923
86bbd6d1 924Encodings defined by the ISO 10646 standard. UCS-2 is a 16-bit
376d9008 925encoding. Unlike UTF-16, UCS-2 is not extensible beyond C<U+FFFF>,
339cfa0e
JH
926because it does not use surrogates. UCS-4 is a 32-bit encoding,
927functionally identical to UTF-32.
c349b1b9 928
c29a771d 929=item *
5cb3728c
RB
930
931UTF-7
c349b1b9 932
376d9008
JB
933A seven-bit safe (non-eight-bit) encoding, which is useful if the
934transport or storage is not eight-bit safe. Defined by RFC 2152.
c349b1b9 935
95a1a48b
JH
936=back
937
0d7c09bb
JH
938=head2 Security Implications of Unicode
939
940=over 4
941
942=item *
943
944Malformed UTF-8
bf0fa0b2
JH
945
946Unfortunately, the specification of UTF-8 leaves some room for
947interpretation of how many bytes of encoded output one should generate
376d9008
JB
948from one input Unicode character. Strictly speaking, the shortest
949possible sequence of UTF-8 bytes should be generated,
950because otherwise there is potential for an input buffer overflow at
feda178f 951the receiving end of a UTF-8 connection. Perl always generates the
376d9008
JB
952shortest length UTF-8, and with warnings on Perl will warn about
953non-shortest length UTF-8 along with other malformations, such as the
954surrogates, which are not real Unicode code points.
bf0fa0b2 955
0d7c09bb
JH
956=item *
957
958Regular expressions behave slightly differently between byte data and
376d9008
JB
959character (Unicode) data. For example, the "word character" character
960class C<\w> will work differently depending on if data is eight-bit bytes
961or Unicode.
0d7c09bb 962
376d9008
JB
963In the first case, the set of C<\w> characters is either small--the
964default set of alphabetic characters, digits, and the "_"--or, if you
0d7c09bb
JH
965are using a locale (see L<perllocale>), the C<\w> might contain a few
966more letters according to your language and country.
967
376d9008 968In the second case, the C<\w> set of characters is much, much larger.
1bfb14c4
JH
969Most importantly, even in the set of the first 256 characters, it will
970probably match different characters: unlike most locales, which are
971specific to a language and country pair, Unicode classifies all the
972characters that are letters I<somewhere> as C<\w>. For example, your
973locale might not think that LATIN SMALL LETTER ETH is a letter (unless
974you happen to speak Icelandic), but Unicode does.
0d7c09bb 975
376d9008 976As discussed elsewhere, Perl has one foot (two hooves?) planted in
1bfb14c4
JH
977each of two worlds: the old world of bytes and the new world of
978characters, upgrading from bytes to characters when necessary.
376d9008
JB
979If your legacy code does not explicitly use Unicode, no automatic
980switch-over to characters should happen. Characters shouldn't get
1bfb14c4
JH
981downgraded to bytes, either. It is possible to accidentally mix bytes
982and characters, however (see L<perluniintro>), in which case C<\w> in
983regular expressions might start behaving differently. Review your
984code. Use warnings and the C<strict> pragma.
0d7c09bb
JH
985
986=back
987
c349b1b9
JH
988=head2 Unicode in Perl on EBCDIC
989
376d9008
JB
990The way Unicode is handled on EBCDIC platforms is still
991experimental. On such platforms, references to UTF-8 encoding in this
992document and elsewhere should be read as meaning the UTF-EBCDIC
993specified in Unicode Technical Report 16, unless ASCII vs. EBCDIC issues
c349b1b9 994are specifically discussed. There is no C<utfebcdic> pragma or
376d9008 995":utfebcdic" layer; rather, "utf8" and ":utf8" are reused to mean
86bbd6d1
PN
996the platform's "natural" 8-bit encoding of Unicode. See L<perlebcdic>
997for more discussion of the issues.
c349b1b9 998
b310b053
JH
999=head2 Locales
1000
4616122b 1001Usually locale settings and Unicode do not affect each other, but
b310b053
JH
1002there are a couple of exceptions:
1003
1004=over 4
1005
1006=item *
1007
1008If your locale environment variables (LANGUAGE, LC_ALL, LC_CTYPE, LANG)
1009contain the strings 'UTF-8' or 'UTF8' (case-insensitive matching),
376d9008
JB
1010the default encodings of your STDIN, STDOUT, and STDERR, and of
1011B<any subsequent file open>, are considered to be UTF-8.
b310b053
JH
1012
1013=item *
1014
376d9008
JB
1015Perl tries really hard to work both with Unicode and the old
1016byte-oriented world. Most often this is nice, but sometimes Perl's
1017straddling of the proverbial fence causes problems.
b310b053
JH
1018
1019=back
1020
95a1a48b
JH
1021=head2 Using Unicode in XS
1022
1023If you want to handle Perl Unicode in XS extensions, you may find
376d9008 1024the following C APIs useful. See L<perlapi> for details.
95a1a48b
JH
1025
1026=over 4
1027
1028=item *
1029
1bfb14c4
JH
1030C<DO_UTF8(sv)> returns true if the C<UTF8> flag is on and the bytes
1031pragma is not in effect. C<SvUTF8(sv)> returns true is the C<UTF8>
1032flag is on; the bytes pragma is ignored. The C<UTF8> flag being on
1033does B<not> mean that there are any characters of code points greater
1034than 255 (or 127) in the scalar or that there are even any characters
1035in the scalar. What the C<UTF8> flag means is that the sequence of
1036octets in the representation of the scalar is the sequence of UTF-8
1037encoded code points of the characters of a string. The C<UTF8> flag
1038being off means that each octet in this representation encodes a
1039single character with code point 0..255 within the string. Perl's
1040Unicode model is not to use UTF-8 until it is absolutely necessary.
95a1a48b
JH
1041
1042=item *
1043
1bfb14c4
JH
1044C<uvuni_to_utf8(buf, chr>) writes a Unicode character code point into
1045a buffer encoding the code point as UTF-8, and returns a pointer
95a1a48b
JH
1046pointing after the UTF-8 bytes.
1047
1048=item *
1049
376d9008
JB
1050C<utf8_to_uvuni(buf, lenp)> reads UTF-8 encoded bytes from a buffer and
1051returns the Unicode character code point and, optionally, the length of
1052the UTF-8 byte sequence.
95a1a48b
JH
1053
1054=item *
1055
376d9008
JB
1056C<utf8_length(start, end)> returns the length of the UTF-8 encoded buffer
1057in characters. C<sv_len_utf8(sv)> returns the length of the UTF-8 encoded
95a1a48b
JH
1058scalar.
1059
1060=item *
1061
376d9008
JB
1062C<sv_utf8_upgrade(sv)> converts the string of the scalar to its UTF-8
1063encoded form. C<sv_utf8_downgrade(sv)> does the opposite, if
1064possible. C<sv_utf8_encode(sv)> is like sv_utf8_upgrade except that
1065it does not set the C<UTF8> flag. C<sv_utf8_decode()> does the
1066opposite of C<sv_utf8_encode()>. Note that none of these are to be
1067used as general-purpose encoding or decoding interfaces: C<use Encode>
1068for that. C<sv_utf8_upgrade()> is affected by the encoding pragma
1069but C<sv_utf8_downgrade()> is not (since the encoding pragma is
1070designed to be a one-way street).
95a1a48b
JH
1071
1072=item *
1073
376d9008 1074C<is_utf8_char(s)> returns true if the pointer points to a valid UTF-8
90f968e0 1075character.
95a1a48b
JH
1076
1077=item *
1078
376d9008 1079C<is_utf8_string(buf, len)> returns true if C<len> bytes of the buffer
95a1a48b
JH
1080are valid UTF-8.
1081
1082=item *
1083
376d9008
JB
1084C<UTF8SKIP(buf)> will return the number of bytes in the UTF-8 encoded
1085character in the buffer. C<UNISKIP(chr)> will return the number of bytes
1086required to UTF-8-encode the Unicode character code point. C<UTF8SKIP()>
90f968e0 1087is useful for example for iterating over the characters of a UTF-8
376d9008 1088encoded buffer; C<UNISKIP()> is useful, for example, in computing
90f968e0 1089the size required for a UTF-8 encoded buffer.
95a1a48b
JH
1090
1091=item *
1092
376d9008 1093C<utf8_distance(a, b)> will tell the distance in characters between the
95a1a48b
JH
1094two pointers pointing to the same UTF-8 encoded buffer.
1095
1096=item *
1097
376d9008
JB
1098C<utf8_hop(s, off)> will return a pointer to an UTF-8 encoded buffer
1099that is C<off> (positive or negative) Unicode characters displaced
1100from the UTF-8 buffer C<s>. Be careful not to overstep the buffer:
1101C<utf8_hop()> will merrily run off the end or the beginning of the
1102buffer if told to do so.
95a1a48b 1103
d2cc3551
JH
1104=item *
1105
376d9008
JB
1106C<pv_uni_display(dsv, spv, len, pvlim, flags)> and
1107C<sv_uni_display(dsv, ssv, pvlim, flags)> are useful for debugging the
1108output of Unicode strings and scalars. By default they are useful
1109only for debugging--they display B<all> characters as hexadecimal code
1bfb14c4
JH
1110points--but with the flags C<UNI_DISPLAY_ISPRINT>,
1111C<UNI_DISPLAY_BACKSLASH>, and C<UNI_DISPLAY_QQ> you can make the
1112output more readable.
d2cc3551
JH
1113
1114=item *
1115
376d9008
JB
1116C<ibcmp_utf8(s1, pe1, u1, l1, u1, s2, pe2, l2, u2)> can be used to
1117compare two strings case-insensitively in Unicode. For case-sensitive
1118comparisons you can just use C<memEQ()> and C<memNE()> as usual.
d2cc3551 1119
c349b1b9
JH
1120=back
1121
95a1a48b
JH
1122For more information, see L<perlapi>, and F<utf8.c> and F<utf8.h>
1123in the Perl source code distribution.
1124
c29a771d
JH
1125=head1 BUGS
1126
376d9008 1127=head2 Interaction with Locales
7eabb34d 1128
376d9008
JB
1129Use of locales with Unicode data may lead to odd results. Currently,
1130Perl attempts to attach 8-bit locale info to characters in the range
11310..255, but this technique is demonstrably incorrect for locales that
1132use characters above that range when mapped into Unicode. Perl's
1133Unicode support will also tend to run slower. Use of locales with
1134Unicode is discouraged.
c29a771d 1135
376d9008 1136=head2 Interaction with Extensions
7eabb34d 1137
376d9008 1138When Perl exchanges data with an extension, the extension should be
7eabb34d 1139able to understand the UTF-8 flag and act accordingly. If the
376d9008
JB
1140extension doesn't know about the flag, it's likely that the extension
1141will return incorrectly-flagged data.
7eabb34d
A
1142
1143So if you're working with Unicode data, consult the documentation of
1144every module you're using if there are any issues with Unicode data
1145exchange. If the documentation does not talk about Unicode at all,
a73d23f6 1146suspect the worst and probably look at the source to learn how the
376d9008 1147module is implemented. Modules written completely in Perl shouldn't
a73d23f6
RGS
1148cause problems. Modules that directly or indirectly access code written
1149in other programming languages are at risk.
7eabb34d 1150
376d9008 1151For affected functions, the simple strategy to avoid data corruption is
7eabb34d 1152to always make the encoding of the exchanged data explicit. Choose an
376d9008 1153encoding that you know the extension can handle. Convert arguments passed
7eabb34d
A
1154to the extensions to that encoding and convert results back from that
1155encoding. Write wrapper functions that do the conversions for you, so
1156you can later change the functions when the extension catches up.
1157
376d9008 1158To provide an example, let's say the popular Foo::Bar::escape_html
7eabb34d
A
1159function doesn't deal with Unicode data yet. The wrapper function
1160would convert the argument to raw UTF-8 and convert the result back to
376d9008 1161Perl's internal representation like so:
7eabb34d
A
1162
1163 sub my_escape_html ($) {
1164 my($what) = shift;
1165 return unless defined $what;
1166 Encode::decode_utf8(Foo::Bar::escape_html(Encode::encode_utf8($what)));
1167 }
1168
1169Sometimes, when the extension does not convert data but just stores
1170and retrieves them, you will be in a position to use the otherwise
1171dangerous Encode::_utf8_on() function. Let's say the popular
66b79f27 1172C<Foo::Bar> extension, written in C, provides a C<param> method that
7eabb34d
A
1173lets you store and retrieve data according to these prototypes:
1174
1175 $self->param($name, $value); # set a scalar
1176 $value = $self->param($name); # retrieve a scalar
1177
1178If it does not yet provide support for any encoding, one could write a
1179derived class with such a C<param> method:
1180
1181 sub param {
1182 my($self,$name,$value) = @_;
1183 utf8::upgrade($name); # make sure it is UTF-8 encoded
1184 if (defined $value)
1185 utf8::upgrade($value); # make sure it is UTF-8 encoded
1186 return $self->SUPER::param($name,$value);
1187 } else {
1188 my $ret = $self->SUPER::param($name);
1189 Encode::_utf8_on($ret); # we know, it is UTF-8 encoded
1190 return $ret;
1191 }
1192 }
1193
a73d23f6
RGS
1194Some extensions provide filters on data entry/exit points, such as
1195DB_File::filter_store_key and family. Look out for such filters in
66b79f27 1196the documentation of your extensions, they can make the transition to
7eabb34d
A
1197Unicode data much easier.
1198
376d9008 1199=head2 Speed
7eabb34d 1200
c29a771d 1201Some functions are slower when working on UTF-8 encoded strings than
574c8022 1202on byte encoded strings. All functions that need to hop over
c29a771d
JH
1203characters such as length(), substr() or index() can work B<much>
1204faster when the underlying data are byte-encoded. Witness the
1205following benchmark:
666f95b9 1206
c29a771d
JH
1207 % perl -e '
1208 use Benchmark;
1209 use strict;
1210 our $l = 10000;
1211 our $u = our $b = "x" x $l;
1212 substr($u,0,1) = "\x{100}";
1213 timethese(-2,{
1214 LENGTH_B => q{ length($b) },
1215 LENGTH_U => q{ length($u) },
1216 SUBSTR_B => q{ substr($b, $l/4, $l/2) },
1217 SUBSTR_U => q{ substr($u, $l/4, $l/2) },
1218 });
1219 '
1220 Benchmark: running LENGTH_B, LENGTH_U, SUBSTR_B, SUBSTR_U for at least 2 CPU seconds...
1221 LENGTH_B: 2 wallclock secs ( 2.36 usr + 0.00 sys = 2.36 CPU) @ 5649983.05/s (n=13333960)
1222 LENGTH_U: 2 wallclock secs ( 2.11 usr + 0.00 sys = 2.11 CPU) @ 12155.45/s (n=25648)
1223 SUBSTR_B: 3 wallclock secs ( 2.16 usr + 0.00 sys = 2.16 CPU) @ 374480.09/s (n=808877)
1224 SUBSTR_U: 2 wallclock secs ( 2.11 usr + 0.00 sys = 2.11 CPU) @ 6791.00/s (n=14329)
666f95b9 1225
376d9008
JB
1226The numbers show an incredible slowness on long UTF-8 strings. You
1227should carefully avoid using these functions in tight loops. If you
1228want to iterate over characters, the superior coding technique would
1229split the characters into an array instead of using substr, as the following
c29a771d
JH
1230benchmark shows:
1231
1232 % perl -e '
1233 use Benchmark;
1234 use strict;
1235 our $l = 10000;
1236 our $u = our $b = "x" x $l;
1237 substr($u,0,1) = "\x{100}";
1238 timethese(-5,{
1239 SPLIT_B => q{ for my $c (split //, $b){} },
1240 SPLIT_U => q{ for my $c (split //, $u){} },
1241 SUBSTR_B => q{ for my $i (0..length($b)-1){my $c = substr($b,$i,1);} },
1242 SUBSTR_U => q{ for my $i (0..length($u)-1){my $c = substr($u,$i,1);} },
1243 });
1244 '
1245 Benchmark: running SPLIT_B, SPLIT_U, SUBSTR_B, SUBSTR_U for at least 5 CPU seconds...
1246 SPLIT_B: 6 wallclock secs ( 5.29 usr + 0.00 sys = 5.29 CPU) @ 56.14/s (n=297)
1247 SPLIT_U: 5 wallclock secs ( 5.17 usr + 0.01 sys = 5.18 CPU) @ 55.21/s (n=286)
1248 SUBSTR_B: 5 wallclock secs ( 5.34 usr + 0.00 sys = 5.34 CPU) @ 123.22/s (n=658)
1249 SUBSTR_U: 7 wallclock secs ( 6.20 usr + 0.00 sys = 6.20 CPU) @ 0.81/s (n=5)
1250
376d9008
JB
1251Even though the algorithm based on C<substr()> is faster than
1252C<split()> for byte-encoded data, it pales in comparison to the speed
1253of C<split()> when used with UTF-8 data.
666f95b9 1254
393fec97
GS
1255=head1 SEE ALSO
1256
72ff2908
JH
1257L<perluniintro>, L<encoding>, L<Encode>, L<open>, L<utf8>, L<bytes>,
1258L<perlretut>, L<perlvar/"${^WIDE_SYSTEM_CALLS}">
393fec97
GS
1259
1260=cut