ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/CBOR-XS/XS.pm
Revision: 1.51
Committed: Sun Apr 24 19:16:15 2016 UTC (8 years ago) by root
Branch: MAIN
Changes since 1.50: +4 -4 lines
Log Message:
spelling patch by Nick Morrott

File Contents

# Content
1 =head1 NAME
2
3 CBOR::XS - Concise Binary Object Representation (CBOR, RFC7049)
4
5 =encoding utf-8
6
7 =head1 SYNOPSIS
8
9 use CBOR::XS;
10
11 $binary_cbor_data = encode_cbor $perl_value;
12 $perl_value = decode_cbor $binary_cbor_data;
13
14 # OO-interface
15
16 $coder = CBOR::XS->new;
17 $binary_cbor_data = $coder->encode ($perl_value);
18 $perl_value = $coder->decode ($binary_cbor_data);
19
20 # prefix decoding
21
22 my $many_cbor_strings = ...;
23 while (length $many_cbor_strings) {
24 my ($data, $length) = $cbor->decode_prefix ($many_cbor_strings);
25 # data was decoded
26 substr $many_cbor_strings, 0, $length, ""; # remove decoded cbor string
27 }
28
29 =head1 DESCRIPTION
30
31 This module converts Perl data structures to the Concise Binary Object
32 Representation (CBOR) and vice versa. CBOR is a fast binary serialisation
33 format that aims to use an (almost) superset of the JSON data model, i.e.
34 when you can represent something useful in JSON, you should be able to
35 represent it in CBOR.
36
37 In short, CBOR is a faster and quite compact binary alternative to JSON,
38 with the added ability of supporting serialisation of Perl objects. (JSON
39 often compresses better than CBOR though, so if you plan to compress the
40 data later and speed is less important you might want to compare both
41 formats first).
42
43 To give you a general idea about speed, with texts in the megabyte range,
44 C<CBOR::XS> usually encodes roughly twice as fast as L<Storable> or
45 L<JSON::XS> and decodes about 15%-30% faster than those. The shorter the
46 data, the worse L<Storable> performs in comparison.
47
48 Regarding compactness, C<CBOR::XS>-encoded data structures are usually
49 about 20% smaller than the same data encoded as (compact) JSON or
50 L<Storable>.
51
52 In addition to the core CBOR data format, this module implements a
53 number of extensions, to support cyclic and shared data structures
54 (see C<allow_sharing> and C<allow_cycles>), string deduplication (see
55 C<pack_strings>) and scalar references (always enabled).
56
57 The primary goal of this module is to be I<correct> and the secondary goal
58 is to be I<fast>. To reach the latter goal it was written in C.
59
60 See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and
61 vice versa.
62
63 =cut
64
65 package CBOR::XS;
66
67 use common::sense;
68
69 our $VERSION = 1.41;
70 our @ISA = qw(Exporter);
71
72 our @EXPORT = qw(encode_cbor decode_cbor);
73
74 use Exporter;
75 use XSLoader;
76
77 use Types::Serialiser;
78
79 our $MAGIC = "\xd9\xd9\xf7";
80
81 =head1 FUNCTIONAL INTERFACE
82
83 The following convenience methods are provided by this module. They are
84 exported by default:
85
86 =over 4
87
88 =item $cbor_data = encode_cbor $perl_scalar
89
90 Converts the given Perl data structure to CBOR representation. Croaks on
91 error.
92
93 =item $perl_scalar = decode_cbor $cbor_data
94
95 The opposite of C<encode_cbor>: expects a valid CBOR string to parse,
96 returning the resulting perl scalar. Croaks on error.
97
98 =back
99
100
101 =head1 OBJECT-ORIENTED INTERFACE
102
103 The object oriented interface lets you configure your own encoding or
104 decoding style, within the limits of supported formats.
105
106 =over 4
107
108 =item $cbor = new CBOR::XS
109
110 Creates a new CBOR::XS object that can be used to de/encode CBOR
111 strings. All boolean flags described below are by default I<disabled>.
112
113 The mutators for flags all return the CBOR object again and thus calls can
114 be chained:
115
116 my $cbor = CBOR::XS->new->encode ({a => [1,2]});
117
118 =item $cbor = $cbor->max_depth ([$maximum_nesting_depth])
119
120 =item $max_depth = $cbor->get_max_depth
121
122 Sets the maximum nesting level (default C<512>) accepted while encoding
123 or decoding. If a higher nesting level is detected in CBOR data or a Perl
124 data structure, then the encoder and decoder will stop and croak at that
125 point.
126
127 Nesting level is defined by number of hash- or arrayrefs that the encoder
128 needs to traverse to reach a given point or the number of C<{> or C<[>
129 characters without their matching closing parenthesis crossed to reach a
130 given character in a string.
131
132 Setting the maximum depth to one disallows any nesting, so that ensures
133 that the object is only a single hash/object or array.
134
135 If no argument is given, the highest possible setting will be used, which
136 is rarely useful.
137
138 Note that nesting is implemented by recursion in C. The default value has
139 been chosen to be as large as typical operating systems allow without
140 crashing.
141
142 See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
143
144 =item $cbor = $cbor->max_size ([$maximum_string_size])
145
146 =item $max_size = $cbor->get_max_size
147
148 Set the maximum length a CBOR string may have (in bytes) where decoding
149 is being attempted. The default is C<0>, meaning no limit. When C<decode>
150 is called on a string that is longer then this many bytes, it will not
151 attempt to decode the string but throw an exception. This setting has no
152 effect on C<encode> (yet).
153
154 If no argument is given, the limit check will be deactivated (same as when
155 C<0> is specified).
156
157 See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
158
159 =item $cbor = $cbor->allow_unknown ([$enable])
160
161 =item $enabled = $cbor->get_allow_unknown
162
163 If C<$enable> is true (or missing), then C<encode> will I<not> throw an
164 exception when it encounters values it cannot represent in CBOR (for
165 example, filehandles) but instead will encode a CBOR C<error> value.
166
167 If C<$enable> is false (the default), then C<encode> will throw an
168 exception when it encounters anything it cannot encode as CBOR.
169
170 This option does not affect C<decode> in any way, and it is recommended to
171 leave it off unless you know your communications partner.
172
173 =item $cbor = $cbor->allow_sharing ([$enable])
174
175 =item $enabled = $cbor->get_allow_sharing
176
177 If C<$enable> is true (or missing), then C<encode> will not double-encode
178 values that have been referenced before (e.g. when the same object, such
179 as an array, is referenced multiple times), but instead will emit a
180 reference to the earlier value.
181
182 This means that such values will only be encoded once, and will not result
183 in a deep cloning of the value on decode, in decoders supporting the value
184 sharing extension. This also makes it possible to encode cyclic data
185 structures (which need C<allow_cycles> to ne enabled to be decoded by this
186 module).
187
188 It is recommended to leave it off unless you know your
189 communication partner supports the value sharing extensions to CBOR
190 (L<http://cbor.schmorp.de/value-sharing>), as without decoder support, the
191 resulting data structure might be unusable.
192
193 Detecting shared values incurs a runtime overhead when values are encoded
194 that have a reference counter large than one, and might unnecessarily
195 increase the encoded size, as potentially shared values are encode as
196 shareable whether or not they are actually shared.
197
198 At the moment, only targets of references can be shared (e.g. scalars,
199 arrays or hashes pointed to by a reference). Weirder constructs, such as
200 an array with multiple "copies" of the I<same> string, which are hard but
201 not impossible to create in Perl, are not supported (this is the same as
202 with L<Storable>).
203
204 If C<$enable> is false (the default), then C<encode> will encode shared
205 data structures repeatedly, unsharing them in the process. Cyclic data
206 structures cannot be encoded in this mode.
207
208 This option does not affect C<decode> in any way - shared values and
209 references will always be decoded properly if present.
210
211 =item $cbor = $cbor->allow_cycles ([$enable])
212
213 =item $enabled = $cbor->get_allow_cycles
214
215 If C<$enable> is true (or missing), then C<decode> will happily decode
216 self-referential (cyclic) data structures. By default these will not be
217 decoded, as they need manual cleanup to avoid memory leaks, so code that
218 isn't prepared for this will not leak memory.
219
220 If C<$enable> is false (the default), then C<decode> will throw an error
221 when it encounters a self-referential/cyclic data structure.
222
223 FUTURE DIRECTION: the motivation behind this option is to avoid I<real>
224 cycles - future versions of this module might chose to decode cyclic data
225 structures using weak references when this option is off, instead of
226 throwing an error.
227
228 This option does not affect C<encode> in any way - shared values and
229 references will always be encoded properly if present.
230
231 =item $cbor = $cbor->pack_strings ([$enable])
232
233 =item $enabled = $cbor->get_pack_strings
234
235 If C<$enable> is true (or missing), then C<encode> will try not to encode
236 the same string twice, but will instead encode a reference to the string
237 instead. Depending on your data format, this can save a lot of space, but
238 also results in a very large runtime overhead (expect encoding times to be
239 2-4 times as high as without).
240
241 It is recommended to leave it off unless you know your
242 communications partner supports the stringref extension to CBOR
243 (L<http://cbor.schmorp.de/stringref>), as without decoder support, the
244 resulting data structure might not be usable.
245
246 If C<$enable> is false (the default), then C<encode> will encode strings
247 the standard CBOR way.
248
249 This option does not affect C<decode> in any way - string references will
250 always be decoded properly if present.
251
252 =item $cbor = $cbor->validate_utf8 ([$enable])
253
254 =item $enabled = $cbor->get_validate_utf8
255
256 If C<$enable> is true (or missing), then C<decode> will validate that
257 elements (text strings) containing UTF-8 data in fact contain valid UTF-8
258 data (instead of blindly accepting it). This validation obviously takes
259 extra time during decoding.
260
261 The concept of "valid UTF-8" used is perl's concept, which is a superset
262 of the official UTF-8.
263
264 If C<$enable> is false (the default), then C<decode> will blindly accept
265 UTF-8 data, marking them as valid UTF-8 in the resulting data structure
266 regardless of whether that's true or not.
267
268 Perl isn't too happy about corrupted UTF-8 in strings, but should
269 generally not crash or do similarly evil things. Extensions might be not
270 so forgiving, so it's recommended to turn on this setting if you receive
271 untrusted CBOR.
272
273 This option does not affect C<encode> in any way - strings that are
274 supposedly valid UTF-8 will simply be dumped into the resulting CBOR
275 string without checking whether that is, in fact, true or not.
276
277 =item $cbor = $cbor->filter ([$cb->($tag, $value)])
278
279 =item $cb_or_undef = $cbor->get_filter
280
281 Sets or replaces the tagged value decoding filter (when C<$cb> is
282 specified) or clears the filter (if no argument or C<undef> is provided).
283
284 The filter callback is called only during decoding, when a non-enforced
285 tagged value has been decoded (see L<TAG HANDLING AND EXTENSIONS> for a
286 list of enforced tags). For specific tags, it's often better to provide a
287 default converter using the C<%CBOR::XS::FILTER> hash (see below).
288
289 The first argument is the numerical tag, the second is the (decoded) value
290 that has been tagged.
291
292 The filter function should return either exactly one value, which will
293 replace the tagged value in the decoded data structure, or no values,
294 which will result in default handling, which currently means the decoder
295 creates a C<CBOR::XS::Tagged> object to hold the tag and the value.
296
297 When the filter is cleared (the default state), the default filter
298 function, C<CBOR::XS::default_filter>, is used. This function simply looks
299 up the tag in the C<%CBOR::XS::FILTER> hash. If an entry exists it must be
300 a code reference that is called with tag and value, and is responsible for
301 decoding the value. If no entry exists, it returns no values.
302
303 Example: decode all tags not handled internally into C<CBOR::XS::Tagged>
304 objects, with no other special handling (useful when working with
305 potentially "unsafe" CBOR data).
306
307 CBOR::XS->new->filter (sub { })->decode ($cbor_data);
308
309 Example: provide a global filter for tag 1347375694, converting the value
310 into some string form.
311
312 $CBOR::XS::FILTER{1347375694} = sub {
313 my ($tag, $value);
314
315 "tag 1347375694 value $value"
316 };
317
318 =item $cbor_data = $cbor->encode ($perl_scalar)
319
320 Converts the given Perl data structure (a scalar value) to its CBOR
321 representation.
322
323 =item $perl_scalar = $cbor->decode ($cbor_data)
324
325 The opposite of C<encode>: expects CBOR data and tries to parse it,
326 returning the resulting simple scalar or reference. Croaks on error.
327
328 =item ($perl_scalar, $octets) = $cbor->decode_prefix ($cbor_data)
329
330 This works like the C<decode> method, but instead of raising an exception
331 when there is trailing garbage after the CBOR string, it will silently
332 stop parsing there and return the number of characters consumed so far.
333
334 This is useful if your CBOR texts are not delimited by an outer protocol
335 and you need to know where the first CBOR string ends amd the next one
336 starts.
337
338 CBOR::XS->new->decode_prefix ("......")
339 => ("...", 3)
340
341 =back
342
343 =head2 INCREMENTAL PARSING
344
345 In some cases, there is the need for incremental parsing of JSON
346 texts. While this module always has to keep both CBOR text and resulting
347 Perl data structure in memory at one time, it does allow you to parse a
348 CBOR stream incrementally, using a similar to using "decode_prefix" to see
349 if a full CBOR object is available, but is much more efficient.
350
351 It basically works by parsing as much of a CBOR string as possible - if
352 the CBOR data is not complete yet, the pasrer will remember where it was,
353 to be able to restart when more data has been accumulated. Once enough
354 data is available to either decode a complete CBOR value or raise an
355 error, a real decode will be attempted.
356
357 A typical use case would be a network protocol that consists of sending
358 and receiving CBOR-encoded messages. The solution that works with CBOR and
359 about anything else is by prepending a length to every CBOR value, so the
360 receiver knows how many octets to read. More compact (and slightly slower)
361 would be to just send CBOR values back-to-back, as C<CBOR::XS> knows where
362 a CBOR value ends, and doesn't need an explicit length.
363
364 The following methods help with this:
365
366 =over 4
367
368 =item @decoded = $cbor->incr_parse ($buffer)
369
370 This method attempts to decode exactly one CBOR value from the beginning
371 of the given C<$buffer>. The value is removed from the C<$buffer> on
372 success. When C<$buffer> doesn't contain a complete value yet, it returns
373 nothing. Finally, when the C<$buffer> doesn't start with something
374 that could ever be a valid CBOR value, it raises an exception, just as
375 C<decode> would. In the latter case the decoder state is undefined and
376 must be reset before being able to parse further.
377
378 This method modifies the C<$buffer> in place. When no CBOR value can be
379 decoded, the decoder stores the current string offset. On the next call,
380 continues decoding at the place where it stopped before. For this to make
381 sense, the C<$buffer> must begin with the same octets as on previous
382 unsuccessful calls.
383
384 You can call this method in scalar context, in which case it either
385 returns a decoded value or C<undef>. This makes it impossible to
386 distinguish between CBOR null values (which decode to C<undef>) and an
387 unsuccessful decode, which is often acceptable.
388
389 =item @decoded = $cbor->incr_parse_multiple ($buffer)
390
391 Same as C<incr_parse>, but attempts to decode as many CBOR values as
392 possible in one go, instead of at most one. Calls to C<incr_parse> and
393 C<incr_parse_multiple> can be interleaved.
394
395 =item $cbor->incr_reset
396
397 Resets the incremental decoder. This throws away any saved state, so that
398 subsequent calls to C<incr_parse> or C<incr_parse_multiple> start to parse
399 a new CBOR value from the beginning of the C<$buffer> again.
400
401 This method can be caled at any time, but it I<must> be called if you want
402 to change your C<$buffer> or there was a decoding error and you want to
403 reuse the C<$cbor> object for future incremental parsings.
404
405 =back
406
407
408 =head1 MAPPING
409
410 This section describes how CBOR::XS maps Perl values to CBOR values and
411 vice versa. These mappings are designed to "do the right thing" in most
412 circumstances automatically, preserving round-tripping characteristics
413 (what you put in comes out as something equivalent).
414
415 For the more enlightened: note that in the following descriptions,
416 lowercase I<perl> refers to the Perl interpreter, while uppercase I<Perl>
417 refers to the abstract Perl language itself.
418
419
420 =head2 CBOR -> PERL
421
422 =over 4
423
424 =item integers
425
426 CBOR integers become (numeric) perl scalars. On perls without 64 bit
427 support, 64 bit integers will be truncated or otherwise corrupted.
428
429 =item byte strings
430
431 Byte strings will become octet strings in Perl (the Byte values 0..255
432 will simply become characters of the same value in Perl).
433
434 =item UTF-8 strings
435
436 UTF-8 strings in CBOR will be decoded, i.e. the UTF-8 octets will be
437 decoded into proper Unicode code points. At the moment, the validity of
438 the UTF-8 octets will not be validated - corrupt input will result in
439 corrupted Perl strings.
440
441 =item arrays, maps
442
443 CBOR arrays and CBOR maps will be converted into references to a Perl
444 array or hash, respectively. The keys of the map will be stringified
445 during this process.
446
447 =item null
448
449 CBOR null becomes C<undef> in Perl.
450
451 =item true, false, undefined
452
453 These CBOR values become C<Types:Serialiser::true>,
454 C<Types:Serialiser::false> and C<Types::Serialiser::error>,
455 respectively. They are overloaded to act almost exactly like the numbers
456 C<1> and C<0> (for true and false) or to throw an exception on access (for
457 error). See the L<Types::Serialiser> manpage for details.
458
459 =item tagged values
460
461 Tagged items consists of a numeric tag and another CBOR value.
462
463 See L<TAG HANDLING AND EXTENSIONS> and the description of C<< ->filter >>
464 for details on which tags are handled how.
465
466 =item anything else
467
468 Anything else (e.g. unsupported simple values) will raise a decoding
469 error.
470
471 =back
472
473
474 =head2 PERL -> CBOR
475
476 The mapping from Perl to CBOR is slightly more difficult, as Perl is a
477 typeless language. That means this module can only guess which CBOR type
478 is meant by a perl value.
479
480 =over 4
481
482 =item hash references
483
484 Perl hash references become CBOR maps. As there is no inherent ordering in
485 hash keys (or CBOR maps), they will usually be encoded in a pseudo-random
486 order. This order can be different each time a hash is encoded.
487
488 Currently, tied hashes will use the indefinite-length format, while normal
489 hashes will use the fixed-length format.
490
491 =item array references
492
493 Perl array references become fixed-length CBOR arrays.
494
495 =item other references
496
497 Other unblessed references will be represented using
498 the indirection tag extension (tag value C<22098>,
499 L<http://cbor.schmorp.de/indirection>). CBOR decoders are guaranteed
500 to be able to decode these values somehow, by either "doing the right
501 thing", decoding into a generic tagged object, simply ignoring the tag, or
502 something else.
503
504 =item CBOR::XS::Tagged objects
505
506 Objects of this type must be arrays consisting of a single C<[tag, value]>
507 pair. The (numerical) tag will be encoded as a CBOR tag, the value will
508 be encoded as appropriate for the value. You must use C<CBOR::XS::tag> to
509 create such objects.
510
511 =item Types::Serialiser::true, Types::Serialiser::false, Types::Serialiser::error
512
513 These special values become CBOR true, CBOR false and CBOR undefined
514 values, respectively. You can also use C<\1>, C<\0> and C<\undef> directly
515 if you want.
516
517 =item other blessed objects
518
519 Other blessed objects are serialised via C<TO_CBOR> or C<FREEZE>. See
520 L<TAG HANDLING AND EXTENSIONS> for specific classes handled by this
521 module, and L<OBJECT SERIALISATION> for generic object serialisation.
522
523 =item simple scalars
524
525 Simple Perl scalars (any scalar that is not a reference) are the most
526 difficult objects to encode: CBOR::XS will encode undefined scalars as
527 CBOR null values, scalars that have last been used in a string context
528 before encoding as CBOR strings, and anything else as number value:
529
530 # dump as number
531 encode_cbor [2] # yields [2]
532 encode_cbor [-3.0e17] # yields [-3e+17]
533 my $value = 5; encode_cbor [$value] # yields [5]
534
535 # used as string, so dump as string (either byte or text)
536 print $value;
537 encode_cbor [$value] # yields ["5"]
538
539 # undef becomes null
540 encode_cbor [undef] # yields [null]
541
542 You can force the type to be a CBOR string by stringifying it:
543
544 my $x = 3.1; # some variable containing a number
545 "$x"; # stringified
546 $x .= ""; # another, more awkward way to stringify
547 print $x; # perl does it for you, too, quite often
548
549 You can force whether a string ie encoded as byte or text string by using
550 C<utf8::upgrade> and C<utf8::downgrade>):
551
552 utf8::upgrade $x; # encode $x as text string
553 utf8::downgrade $x; # encode $x as byte string
554
555 Perl doesn't define what operations up- and downgrade strings, so if the
556 difference between byte and text is important, you should up- or downgrade
557 your string as late as possible before encoding.
558
559 You can force the type to be a CBOR number by numifying it:
560
561 my $x = "3"; # some variable containing a string
562 $x += 0; # numify it, ensuring it will be dumped as a number
563 $x *= 1; # same thing, the choice is yours.
564
565 You can not currently force the type in other, less obscure, ways. Tell me
566 if you need this capability (but don't forget to explain why it's needed
567 :).
568
569 Perl values that seem to be integers generally use the shortest possible
570 representation. Floating-point values will use either the IEEE single
571 format if possible without loss of precision, otherwise the IEEE double
572 format will be used. Perls that use formats other than IEEE double to
573 represent numerical values are supported, but might suffer loss of
574 precision.
575
576 =back
577
578 =head2 OBJECT SERIALISATION
579
580 This module implements both a CBOR-specific and the generic
581 L<Types::Serialier> object serialisation protocol. The following
582 subsections explain both methods.
583
584 =head3 ENCODING
585
586 This module knows two way to serialise a Perl object: The CBOR-specific
587 way, and the generic way.
588
589 Whenever the encoder encounters a Perl object that it cannot serialise
590 directly (most of them), it will first look up the C<TO_CBOR> method on
591 it.
592
593 If it has a C<TO_CBOR> method, it will call it with the object as only
594 argument, and expects exactly one return value, which it will then
595 substitute and encode it in the place of the object.
596
597 Otherwise, it will look up the C<FREEZE> method. If it exists, it will
598 call it with the object as first argument, and the constant string C<CBOR>
599 as the second argument, to distinguish it from other serialisers.
600
601 The C<FREEZE> method can return any number of values (i.e. zero or
602 more). These will be encoded as CBOR perl object, together with the
603 classname.
604
605 These methods I<MUST NOT> change the data structure that is being
606 serialised. Failure to comply to this can result in memory corruption -
607 and worse.
608
609 If an object supports neither C<TO_CBOR> nor C<FREEZE>, encoding will fail
610 with an error.
611
612 =head3 DECODING
613
614 Objects encoded via C<TO_CBOR> cannot (normally) be automatically decoded,
615 but objects encoded via C<FREEZE> can be decoded using the following
616 protocol:
617
618 When an encoded CBOR perl object is encountered by the decoder, it will
619 look up the C<THAW> method, by using the stored classname, and will fail
620 if the method cannot be found.
621
622 After the lookup it will call the C<THAW> method with the stored classname
623 as first argument, the constant string C<CBOR> as second argument, and all
624 values returned by C<FREEZE> as remaining arguments.
625
626 =head3 EXAMPLES
627
628 Here is an example C<TO_CBOR> method:
629
630 sub My::Object::TO_CBOR {
631 my ($obj) = @_;
632
633 ["this is a serialised My::Object object", $obj->{id}]
634 }
635
636 When a C<My::Object> is encoded to CBOR, it will instead encode a simple
637 array with two members: a string, and the "object id". Decoding this CBOR
638 string will yield a normal perl array reference in place of the object.
639
640 A more useful and practical example would be a serialisation method for
641 the URI module. CBOR has a custom tag value for URIs, namely 32:
642
643 sub URI::TO_CBOR {
644 my ($self) = @_;
645 my $uri = "$self"; # stringify uri
646 utf8::upgrade $uri; # make sure it will be encoded as UTF-8 string
647 CBOR::XS::tag 32, "$_[0]"
648 }
649
650 This will encode URIs as a UTF-8 string with tag 32, which indicates an
651 URI.
652
653 Decoding such an URI will not (currently) give you an URI object, but
654 instead a CBOR::XS::Tagged object with tag number 32 and the string -
655 exactly what was returned by C<TO_CBOR>.
656
657 To serialise an object so it can automatically be deserialised, you need
658 to use C<FREEZE> and C<THAW>. To take the URI module as example, this
659 would be a possible implementation:
660
661 sub URI::FREEZE {
662 my ($self, $serialiser) = @_;
663 "$self" # encode url string
664 }
665
666 sub URI::THAW {
667 my ($class, $serialiser, $uri) = @_;
668
669 $class->new ($uri)
670 }
671
672 Unlike C<TO_CBOR>, multiple values can be returned by C<FREEZE>. For
673 example, a C<FREEZE> method that returns "type", "id" and "variant" values
674 would cause an invocation of C<THAW> with 5 arguments:
675
676 sub My::Object::FREEZE {
677 my ($self, $serialiser) = @_;
678
679 ($self->{type}, $self->{id}, $self->{variant})
680 }
681
682 sub My::Object::THAW {
683 my ($class, $serialiser, $type, $id, $variant) = @_;
684
685 $class-<new (type => $type, id => $id, variant => $variant)
686 }
687
688
689 =head1 MAGIC HEADER
690
691 There is no way to distinguish CBOR from other formats
692 programmatically. To make it easier to distinguish CBOR from other
693 formats, the CBOR specification has a special "magic string" that can be
694 prepended to any CBOR string without changing its meaning.
695
696 This string is available as C<$CBOR::XS::MAGIC>. This module does not
697 prepend this string to the CBOR data it generates, but it will ignore it
698 if present, so users can prepend this string as a "file type" indicator as
699 required.
700
701
702 =head1 THE CBOR::XS::Tagged CLASS
703
704 CBOR has the concept of tagged values - any CBOR value can be tagged with
705 a numeric 64 bit number, which are centrally administered.
706
707 C<CBOR::XS> handles a few tags internally when en- or decoding. You can
708 also create tags yourself by encoding C<CBOR::XS::Tagged> objects, and the
709 decoder will create C<CBOR::XS::Tagged> objects itself when it hits an
710 unknown tag.
711
712 These objects are simply blessed array references - the first member of
713 the array being the numerical tag, the second being the value.
714
715 You can interact with C<CBOR::XS::Tagged> objects in the following ways:
716
717 =over 4
718
719 =item $tagged = CBOR::XS::tag $tag, $value
720
721 This function(!) creates a new C<CBOR::XS::Tagged> object using the given
722 C<$tag> (0..2**64-1) to tag the given C<$value> (which can be any Perl
723 value that can be encoded in CBOR, including serialisable Perl objects and
724 C<CBOR::XS::Tagged> objects).
725
726 =item $tagged->[0]
727
728 =item $tagged->[0] = $new_tag
729
730 =item $tag = $tagged->tag
731
732 =item $new_tag = $tagged->tag ($new_tag)
733
734 Access/mutate the tag.
735
736 =item $tagged->[1]
737
738 =item $tagged->[1] = $new_value
739
740 =item $value = $tagged->value
741
742 =item $new_value = $tagged->value ($new_value)
743
744 Access/mutate the tagged value.
745
746 =back
747
748 =cut
749
750 sub tag($$) {
751 bless [@_], CBOR::XS::Tagged::;
752 }
753
754 sub CBOR::XS::Tagged::tag {
755 $_[0][0] = $_[1] if $#_;
756 $_[0][0]
757 }
758
759 sub CBOR::XS::Tagged::value {
760 $_[0][1] = $_[1] if $#_;
761 $_[0][1]
762 }
763
764 =head2 EXAMPLES
765
766 Here are some examples of C<CBOR::XS::Tagged> uses to tag objects.
767
768 You can look up CBOR tag value and emanings in the IANA registry at
769 L<http://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml>.
770
771 Prepend a magic header (C<$CBOR::XS::MAGIC>):
772
773 my $cbor = encode_cbor CBOR::XS::tag 55799, $value;
774 # same as:
775 my $cbor = $CBOR::XS::MAGIC . encode_cbor $value;
776
777 Serialise some URIs and a regex in an array:
778
779 my $cbor = encode_cbor [
780 (CBOR::XS::tag 32, "http://www.nethype.de/"),
781 (CBOR::XS::tag 32, "http://software.schmorp.de/"),
782 (CBOR::XS::tag 35, "^[Pp][Ee][Rr][lL]\$"),
783 ];
784
785 Wrap CBOR data in CBOR:
786
787 my $cbor_cbor = encode_cbor
788 CBOR::XS::tag 24,
789 encode_cbor [1, 2, 3];
790
791 =head1 TAG HANDLING AND EXTENSIONS
792
793 This section describes how this module handles specific tagged values
794 and extensions. If a tag is not mentioned here and no additional filters
795 are provided for it, then the default handling applies (creating a
796 CBOR::XS::Tagged object on decoding, and only encoding the tag when
797 explicitly requested).
798
799 Tags not handled specifically are currently converted into a
800 L<CBOR::XS::Tagged> object, which is simply a blessed array reference
801 consisting of the numeric tag value followed by the (decoded) CBOR value.
802
803 Future versions of this module reserve the right to special case
804 additional tags (such as base64url).
805
806 =head2 ENFORCED TAGS
807
808 These tags are always handled when decoding, and their handling cannot be
809 overridden by the user.
810
811 =over 4
812
813 =item 26 (perl-object, L<http://cbor.schmorp.de/perl-object>)
814
815 These tags are automatically created (and decoded) for serialisable
816 objects using the C<FREEZE/THAW> methods (the L<Types::Serialier> object
817 serialisation protocol). See L<OBJECT SERIALISATION> for details.
818
819 =item 28, 29 (shareable, sharedref, L<http://cbor.schmorp.de/value-sharing>)
820
821 These tags are automatically decoded when encountered (and they do not
822 result in a cyclic data structure, see C<allow_cycles>), resulting in
823 shared values in the decoded object. They are only encoded, however, when
824 C<allow_sharing> is enabled.
825
826 Not all shared values can be successfully decoded: values that reference
827 themselves will I<currently> decode as C<undef> (this is not the same
828 as a reference pointing to itself, which will be represented as a value
829 that contains an indirect reference to itself - these will be decoded
830 properly).
831
832 Note that considerably more shared value data structures can be decoded
833 than will be encoded - currently, only values pointed to by references
834 will be shared, others will not. While non-reference shared values can be
835 generated in Perl with some effort, they were considered too unimportant
836 to be supported in the encoder. The decoder, however, will decode these
837 values as shared values.
838
839 =item 256, 25 (stringref-namespace, stringref, L<http://cbor.schmorp.de/stringref>)
840
841 These tags are automatically decoded when encountered. They are only
842 encoded, however, when C<pack_strings> is enabled.
843
844 =item 22098 (indirection, L<http://cbor.schmorp.de/indirection>)
845
846 This tag is automatically generated when a reference are encountered (with
847 the exception of hash and array references). It is converted to a reference
848 when decoding.
849
850 =item 55799 (self-describe CBOR, RFC 7049)
851
852 This value is not generated on encoding (unless explicitly requested by
853 the user), and is simply ignored when decoding.
854
855 =back
856
857 =head2 NON-ENFORCED TAGS
858
859 These tags have default filters provided when decoding. Their handling can
860 be overridden by changing the C<%CBOR::XS::FILTER> entry for the tag, or by
861 providing a custom C<filter> callback when decoding.
862
863 When they result in decoding into a specific Perl class, the module
864 usually provides a corresponding C<TO_CBOR> method as well.
865
866 When any of these need to load additional modules that are not part of the
867 perl core distribution (e.g. L<URI>), it is (currently) up to the user to
868 provide these modules. The decoding usually fails with an exception if the
869 required module cannot be loaded.
870
871 =over 4
872
873 =item 0, 1 (date/time string, seconds since the epoch)
874
875 These tags are decoded into L<Time::Piece> objects. The corresponding
876 C<Time::Piece::TO_CBOR> method always encodes into tag 1 values currently.
877
878 The L<Time::Piece> API is generally surprisingly bad, and fractional
879 seconds are only accidentally kept intact, so watch out. On the plus side,
880 the module comes with perl since 5.10, which has to count for something.
881
882 =item 2, 3 (positive/negative bignum)
883
884 These tags are decoded into L<Math::BigInt> objects. The corresponding
885 C<Math::BigInt::TO_CBOR> method encodes "small" bigints into normal CBOR
886 integers, and others into positive/negative CBOR bignums.
887
888 =item 4, 5 (decimal fraction/bigfloat)
889
890 Both decimal fractions and bigfloats are decoded into L<Math::BigFloat>
891 objects. The corresponding C<Math::BigFloat::TO_CBOR> method I<always>
892 encodes into a decimal fraction.
893
894 CBOR cannot represent bigfloats with I<very> large exponents - conversion
895 of such big float objects is undefined.
896
897 Also, NaN and infinities are not encoded properly.
898
899 =item 21, 22, 23 (expected later JSON conversion)
900
901 CBOR::XS is not a CBOR-to-JSON converter, and will simply ignore these
902 tags.
903
904 =item 32 (URI)
905
906 These objects decode into L<URI> objects. The corresponding
907 C<URI::TO_CBOR> method again results in a CBOR URI value.
908
909 =back
910
911 =cut
912
913 =head1 CBOR and JSON
914
915 CBOR is supposed to implement a superset of the JSON data model, and is,
916 with some coercion, able to represent all JSON texts (something that other
917 "binary JSON" formats such as BSON generally do not support).
918
919 CBOR implements some extra hints and support for JSON interoperability,
920 and the spec offers further guidance for conversion between CBOR and
921 JSON. None of this is currently implemented in CBOR, and the guidelines
922 in the spec do not result in correct round-tripping of data. If JSON
923 interoperability is improved in the future, then the goal will be to
924 ensure that decoded JSON data will round-trip encoding and decoding to
925 CBOR intact.
926
927
928 =head1 SECURITY CONSIDERATIONS
929
930 When you are using CBOR in a protocol, talking to untrusted potentially
931 hostile creatures requires relatively few measures.
932
933 First of all, your CBOR decoder should be secure, that is, should not have
934 any buffer overflows. Obviously, this module should ensure that and I am
935 trying hard on making that true, but you never know.
936
937 Second, you need to avoid resource-starving attacks. That means you should
938 limit the size of CBOR data you accept, or make sure then when your
939 resources run out, that's just fine (e.g. by using a separate process that
940 can crash safely). The size of a CBOR string in octets is usually a good
941 indication of the size of the resources required to decode it into a Perl
942 structure. While CBOR::XS can check the size of the CBOR text, it might be
943 too late when you already have it in memory, so you might want to check
944 the size before you accept the string.
945
946 Third, CBOR::XS recurses using the C stack when decoding objects and
947 arrays. The C stack is a limited resource: for instance, on my amd64
948 machine with 8MB of stack size I can decode around 180k nested arrays but
949 only 14k nested CBOR objects (due to perl itself recursing deeply on croak
950 to free the temporary). If that is exceeded, the program crashes. To be
951 conservative, the default nesting limit is set to 512. If your process
952 has a smaller stack, you should adjust this setting accordingly with the
953 C<max_depth> method.
954
955 Something else could bomb you, too, that I forgot to think of. In that
956 case, you get to keep the pieces. I am always open for hints, though...
957
958 Also keep in mind that CBOR::XS might leak contents of your Perl data
959 structures in its error messages, so when you serialise sensitive
960 information you might want to make sure that exceptions thrown by CBOR::XS
961 will not end up in front of untrusted eyes.
962
963 =head1 CBOR IMPLEMENTATION NOTES
964
965 This section contains some random implementation notes. They do not
966 describe guaranteed behaviour, but merely behaviour as-is implemented
967 right now.
968
969 64 bit integers are only properly decoded when Perl was built with 64 bit
970 support.
971
972 Strings and arrays are encoded with a definite length. Hashes as well,
973 unless they are tied (or otherwise magical).
974
975 Only the double data type is supported for NV data types - when Perl uses
976 long double to represent floating point values, they might not be encoded
977 properly. Half precision types are accepted, but not encoded.
978
979 Strict mode and canonical mode are not implemented.
980
981
982 =head1 LIMITATIONS ON PERLS WITHOUT 64-BIT INTEGER SUPPORT
983
984 On perls that were built without 64 bit integer support (these are rare
985 nowadays, even on 32 bit architectures, as all major Perl distributions
986 are built with 64 bit integer support), support for any kind of 64 bit
987 integer in CBOR is very limited - most likely, these 64 bit values will
988 be truncated, corrupted, or otherwise not decoded correctly. This also
989 includes string, array and map sizes that are stored as 64 bit integers.
990
991
992 =head1 THREADS
993
994 This module is I<not> guaranteed to be thread safe and there are no
995 plans to change this until Perl gets thread support (as opposed to the
996 horribly slow so-called "threads" which are simply slow and bloated
997 process simulations - use fork, it's I<much> faster, cheaper, better).
998
999 (It might actually work, but you have been warned).
1000
1001
1002 =head1 BUGS
1003
1004 While the goal of this module is to be correct, that unfortunately does
1005 not mean it's bug-free, only that I think its design is bug-free. If you
1006 keep reporting bugs they will be fixed swiftly, though.
1007
1008 Please refrain from using rt.cpan.org or any other bug reporting
1009 service. I put the contact address into my modules for a reason.
1010
1011 =cut
1012
1013 our %FILTER = (
1014 0 => sub { # rfc4287 datetime, utf-8
1015 require Time::Piece;
1016 # Time::Piece::Strptime uses the "incredibly flexible date parsing routine"
1017 # from FreeBSD, which can't parse ISO 8601, RFC3339, RFC4287 or much of anything
1018 # else either. Whats incredibe over standard strptime totally escapes me.
1019 # doesn't do fractional times, either. sigh.
1020 # In fact, it's all a lie, it uses whatever strptime it wants, and of course,
1021 # they are all incompatible. The openbsd one simply ignores %z (but according to the
1022 # docs, it would be much more incredibly flexible indeed. If it worked, that is.).
1023 scalar eval {
1024 my $s = $_[1];
1025
1026 $s =~ s/Z$/+00:00/;
1027 $s =~ s/(\.[0-9]+)?([+-][0-9][0-9]):([0-9][0-9])$//
1028 or die;
1029
1030 my $b = $1 - ($2 * 60 + $3) * 60; # fractional part + offset. hopefully
1031 my $d = Time::Piece->strptime ($s, "%Y-%m-%dT%H:%M:%S");
1032
1033 Time::Piece::gmtime ($d->epoch + $b)
1034 } || die "corrupted CBOR date/time string ($_[0])";
1035 },
1036
1037 1 => sub { # seconds since the epoch, possibly fractional
1038 require Time::Piece;
1039 scalar Time::Piece::gmtime (pop)
1040 },
1041
1042 2 => sub { # pos bigint
1043 require Math::BigInt;
1044 Math::BigInt->new ("0x" . unpack "H*", pop)
1045 },
1046
1047 3 => sub { # neg bigint
1048 require Math::BigInt;
1049 -Math::BigInt->new ("0x" . unpack "H*", pop)
1050 },
1051
1052 4 => sub { # decimal fraction, array
1053 require Math::BigFloat;
1054 Math::BigFloat->new ($_[1][1] . "E" . $_[1][0])
1055 },
1056
1057 5 => sub { # bigfloat, array
1058 require Math::BigFloat;
1059 scalar Math::BigFloat->new ($_[1][1]) * Math::BigFloat->new (2)->bpow ($_[1][0])
1060 },
1061
1062 21 => sub { pop }, # expected conversion to base64url encoding
1063 22 => sub { pop }, # expected conversion to base64 encoding
1064 23 => sub { pop }, # expected conversion to base16 encoding
1065
1066 # 24 # embedded cbor, byte string
1067
1068 32 => sub {
1069 require URI;
1070 URI->new (pop)
1071 },
1072
1073 # 33 # base64url rfc4648, utf-8
1074 # 34 # base64 rfc46484, utf-8
1075 # 35 # regex pcre/ecma262, utf-8
1076 # 36 # mime message rfc2045, utf-8
1077 );
1078
1079 sub CBOR::XS::default_filter {
1080 &{ $FILTER{$_[0]} or return }
1081 }
1082
1083 sub URI::TO_CBOR {
1084 my $uri = $_[0]->as_string;
1085 utf8::upgrade $uri;
1086 tag 32, $uri
1087 }
1088
1089 sub Math::BigInt::TO_CBOR {
1090 if ($_[0] >= -2147483648 && $_[0] <= 2147483647) {
1091 $_[0]->numify
1092 } else {
1093 my $hex = substr $_[0]->as_hex, 2;
1094 $hex = "0$hex" if 1 & length $hex; # sigh
1095 tag $_[0] >= 0 ? 2 : 3, pack "H*", $hex
1096 }
1097 }
1098
1099 sub Math::BigFloat::TO_CBOR {
1100 my ($m, $e) = $_[0]->parts;
1101 tag 4, [$e->numify, $m]
1102 }
1103
1104 sub Time::Piece::TO_CBOR {
1105 tag 1, 0 + $_[0]->epoch
1106 }
1107
1108 XSLoader::load "CBOR::XS", $VERSION;
1109
1110 =head1 SEE ALSO
1111
1112 The L<JSON> and L<JSON::XS> modules that do similar, but human-readable,
1113 serialisation.
1114
1115 The L<Types::Serialiser> module provides the data model for true, false
1116 and error values.
1117
1118 =head1 AUTHOR
1119
1120 Marc Lehmann <schmorp@schmorp.de>
1121 http://home.schmorp.de/
1122
1123 =cut
1124
1125 1
1126