ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/CBOR-XS/XS.pm
(Generate patch)

Comparing CBOR-XS/XS.pm (file contents):
Revision 1.5 by root, Sat Oct 26 23:02:55 2013 UTC vs.
Revision 1.27 by root, Thu Nov 28 15:43:24 2013 UTC

12 $perl_value = decode_cbor $binary_cbor_data; 12 $perl_value = decode_cbor $binary_cbor_data;
13 13
14 # OO-interface 14 # OO-interface
15 15
16 $coder = CBOR::XS->new; 16 $coder = CBOR::XS->new;
17 #TODO 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 }
18 28
19=head1 DESCRIPTION 29=head1 DESCRIPTION
20 30
21WARNING! THIS IS A PRE-ALPHA RELEASE! IT WILL CRASH, CORRUPT YOUR DATA 31WARNING! This module is very new, and not very well tested (that's up
22AND EAT YOUR CHILDREN! (Actually, apart from being untested and a bit 32to you to do). Furthermore, details of the implementation might change
23feature-limited, it might already be useful). 33freely before version 1.0. And lastly, most extensions depend on an IANA
34assignment, and until that assignment is official, this implementation is
35not interoperable with other implementations (even future versions of this
36module) until the assignment is done.
37
38You are still invited to try out CBOR, and this module.
24 39
25This module converts Perl data structures to the Concise Binary Object 40This module converts Perl data structures to the Concise Binary Object
26Representation (CBOR) and vice versa. CBOR is a fast binary serialisation 41Representation (CBOR) and vice versa. CBOR is a fast binary serialisation
27format that aims to use a superset of the JSON data model, i.e. when you 42format that aims to use a superset of the JSON data model, i.e. when you
28can represent something in JSON, you should be able to represent it in 43can represent something in JSON, you should be able to represent it in
29CBOR. 44CBOR.
30 45
31This makes it a faster and more compact binary alternative to JSON. 46In short, CBOR is a faster and very compact binary alternative to JSON,
47with the added ability of supporting serialisation of Perl objects. (JSON
48often compresses better than CBOR though, so if you plan to compress the
49data later you might want to compare both formats first).
50
51To give you a general idea about speed, with texts in the megabyte range,
52C<CBOR::XS> usually encodes roughly twice as fast as L<Storable> or
53L<JSON::XS> and decodes about 15%-30% faster than those. The shorter the
54data, the worse L<Storable> performs in comparison.
55
56As for compactness, C<CBOR::XS> encoded data structures are usually about
5720% smaller than the same data encoded as (compact) JSON or L<Storable>.
58
59In addition to the core CBOR data format, this module implements a number
60of extensions, to support cyclic and self-referencing data structures
61(see C<allow_sharing>), string deduplication (see C<pack_strings>) and
62scalar references (always enabled).
32 63
33The primary goal of this module is to be I<correct> and the secondary goal 64The primary goal of this module is to be I<correct> and the secondary goal
34is to be I<fast>. To reach the latter goal it was written in C. 65is to be I<fast>. To reach the latter goal it was written in C.
35 66
36See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and 67See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and
40 71
41package CBOR::XS; 72package CBOR::XS;
42 73
43use common::sense; 74use common::sense;
44 75
45our $VERSION = 0.03; 76our $VERSION = 0.09;
46our @ISA = qw(Exporter); 77our @ISA = qw(Exporter);
47 78
48our @EXPORT = qw(encode_cbor decode_cbor); 79our @EXPORT = qw(encode_cbor decode_cbor);
49 80
50use Exporter; 81use Exporter;
51use XSLoader; 82use XSLoader;
52 83
84use Types::Serialiser;
85
53our $MAGIC = "\xd9\xd9\xf7"; 86our $MAGIC = "\xd9\xd9\xf7";
54 87
55=head1 FUNCTIONAL INTERFACE 88=head1 FUNCTIONAL INTERFACE
56 89
57The following convenience methods are provided by this module. They are 90The following convenience methods are provided by this module. They are
85strings. All boolean flags described below are by default I<disabled>. 118strings. All boolean flags described below are by default I<disabled>.
86 119
87The mutators for flags all return the CBOR object again and thus calls can 120The mutators for flags all return the CBOR object again and thus calls can
88be chained: 121be chained:
89 122
90#TODO
91 my $cbor = CBOR::XS->new->encode ({a => [1,2]}); 123 my $cbor = CBOR::XS->new->encode ({a => [1,2]});
92 124
93=item $cbor = $cbor->max_depth ([$maximum_nesting_depth]) 125=item $cbor = $cbor->max_depth ([$maximum_nesting_depth])
94 126
95=item $max_depth = $cbor->get_max_depth 127=item $max_depth = $cbor->get_max_depth
129If no argument is given, the limit check will be deactivated (same as when 161If no argument is given, the limit check will be deactivated (same as when
130C<0> is specified). 162C<0> is specified).
131 163
132See SECURITY CONSIDERATIONS, below, for more info on why this is useful. 164See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
133 165
166=item $cbor = $cbor->allow_unknown ([$enable])
167
168=item $enabled = $cbor->get_allow_unknown
169
170If C<$enable> is true (or missing), then C<encode> will I<not> throw an
171exception when it encounters values it cannot represent in CBOR (for
172example, filehandles) but instead will encode a CBOR C<error> value.
173
174If C<$enable> is false (the default), then C<encode> will throw an
175exception when it encounters anything it cannot encode as CBOR.
176
177This option does not affect C<decode> in any way, and it is recommended to
178leave it off unless you know your communications partner.
179
180=item $cbor = $cbor->allow_sharing ([$enable])
181
182=item $enabled = $cbor->get_allow_sharing
183
184If C<$enable> is true (or missing), then C<encode> will not double-encode
185values that have been referenced before (e.g. when the same object, such
186as an array, is referenced multiple times), but instead will emit a
187reference to the earlier value.
188
189This means that such values will only be encoded once, and will not result
190in a deep cloning of the value on decode, in decoders supporting the value
191sharing extension. This also makes it possible to encode cyclic data
192structures.
193
194It is recommended to leave it off unless you know your
195communication partner supports the value sharing extensions to CBOR
196(L<http://cbor.schmorp.de/value-sharing>), as without decoder support, the
197resulting data structure might be unusable.
198
199Detecting shared values incurs a runtime overhead when values are encoded
200that have a reference counter large than one, and might unnecessarily
201increase the encoded size, as potentially shared values are encode as
202sharable whether or not they are actually shared.
203
204At the moment, only targets of references can be shared (e.g. scalars,
205arrays or hashes pointed to by a reference). Weirder constructs, such as
206an array with multiple "copies" of the I<same> string, which are hard but
207not impossible to create in Perl, are not supported (this is the same as
208with L<Storable>).
209
210If C<$enable> is false (the default), then C<encode> will encode shared
211data structures repeatedly, unsharing them in the process. Cyclic data
212structures cannot be encoded in this mode.
213
214This option does not affect C<decode> in any way - shared values and
215references will always be decoded properly if present.
216
217=item $cbor = $cbor->pack_strings ([$enable])
218
219=item $enabled = $cbor->get_pack_strings
220
221If C<$enable> is true (or missing), then C<encode> will try not to encode
222the same string twice, but will instead encode a reference to the string
223instead. Depending on your data format, this can save a lot of space, but
224also results in a very large runtime overhead (expect encoding times to be
2252-4 times as high as without).
226
227It is recommended to leave it off unless you know your
228communications partner supports the stringref extension to CBOR
229(L<http://cbor.schmorp.de/stringref>), as without decoder support, the
230resulting data structure might not be usable.
231
232If C<$enable> is false (the default), then C<encode> will encode strings
233the standard CBOR way.
234
235This option does not affect C<decode> in any way - string references will
236always be decoded properly if present.
237
238=item $cbor = $cbor->filter ([$cb->($tag, $value)])
239
240=item $cb_or_undef = $cbor->get_filter
241
242Sets or replaces the tagged value decoding filter (when C<$cb> is
243specified) or clears the filter (if no argument or C<undef> is provided).
244
245The filter callback is called only during decoding, when a non-enforced
246tagged value has been decoded (see L<TAG HANDLING AND EXTENSIONS> for a
247list of enforced tags). For specific tags, it's often better to provide a
248default converter using the C<%CBOR::XS::FILTER> hash (see below).
249
250The first argument is the numerical tag, the second is the (decoded) value
251that has been tagged.
252
253The filter function should return either exactly one value, which will
254replace the tagged value in the decoded data structure, or no values,
255which will result in default handling, which currently means the decoder
256creates a C<CBOR::XS::Tagged> object to hold the tag and the value.
257
258When the filter is cleared (the default state), the default filter
259function, C<CBOR::XS::default_filter>, is used. This function simply looks
260up the tag in the C<%CBOR::XS::FILTER> hash. If an entry exists it must be
261a code reference that is called with tag and value, and is responsible for
262decoding the value. If no entry exists, it returns no values.
263
264Example: decode all tags not handled internally into CBOR::XS::Tagged
265objects, with no other special handling (useful when working with
266potentially "unsafe" CBOR data).
267
268 CBOR::XS->new->filter (sub { })->decode ($cbor_data);
269
270Example: provide a global filter for tag 1347375694, converting the value
271into some string form.
272
273 $CBOR::XS::FILTER{1347375694} = sub {
274 my ($tag, $value);
275
276 "tag 1347375694 value $value"
277 };
278
134=item $cbor_data = $cbor->encode ($perl_scalar) 279=item $cbor_data = $cbor->encode ($perl_scalar)
135 280
136Converts the given Perl data structure (a scalar value) to its CBOR 281Converts the given Perl data structure (a scalar value) to its CBOR
137representation. 282representation.
138 283
178CBOR integers become (numeric) perl scalars. On perls without 64 bit 323CBOR integers become (numeric) perl scalars. On perls without 64 bit
179support, 64 bit integers will be truncated or otherwise corrupted. 324support, 64 bit integers will be truncated or otherwise corrupted.
180 325
181=item byte strings 326=item byte strings
182 327
183Byte strings will become octet strings in Perl (the byte values 0..255 328Byte strings will become octet strings in Perl (the Byte values 0..255
184will simply become characters of the same value in Perl). 329will simply become characters of the same value in Perl).
185 330
186=item UTF-8 strings 331=item UTF-8 strings
187 332
188UTF-8 strings in CBOR will be decoded, i.e. the UTF-8 octets will be 333UTF-8 strings in CBOR will be decoded, i.e. the UTF-8 octets will be
194 339
195CBOR arrays and CBOR maps will be converted into references to a Perl 340CBOR arrays and CBOR maps will be converted into references to a Perl
196array or hash, respectively. The keys of the map will be stringified 341array or hash, respectively. The keys of the map will be stringified
197during this process. 342during this process.
198 343
344=item null
345
346CBOR null becomes C<undef> in Perl.
347
199=item true, false 348=item true, false, undefined
200 349
201These CBOR values become C<CBOR::XS::true> and C<CBOR::XS::false>, 350These CBOR values become C<Types:Serialiser::true>,
351C<Types:Serialiser::false> and C<Types::Serialiser::error>,
202respectively. They are overloaded to act almost exactly like the numbers 352respectively. They are overloaded to act almost exactly like the numbers
203C<1> and C<0>. You can check whether a scalar is a CBOR boolean by using 353C<1> and C<0> (for true and false) or to throw an exception on access (for
204the C<CBOR::XS::is_bool> function. 354error). See the L<Types::Serialiser> manpage for details.
205 355
206=item null, undefined 356=item tagged values
207 357
208CBOR null and undefined values becomes C<undef> in Perl (in the future,
209Undefined may raise an exception or something else).
210
211=item tags
212
213Tagged items consists of a numeric tag and another CBOR value. The tag 358Tagged items consists of a numeric tag and another CBOR value.
21455799 is ignored (this tag implements the magic header).
215 359
216All other tags are currently converted into a L<CBOR::XS::Tagged> object, 360See L<TAG HANDLING AND EXTENSIONS> and the description of C<< ->filter >>
217which is simply a blessed array reference consistsing of the numeric tag 361for details.
218value followed by the (decoded) BOR value.
219 362
220=item anything else 363=item anything else
221 364
222Anything else (e.g. unsupported simple values) will raise a decoding 365Anything else (e.g. unsupported simple values) will raise a decoding
223error. 366error.
253C<1>, which get turned into false and true in CBOR. 396C<1>, which get turned into false and true in CBOR.
254 397
255=item CBOR::XS::Tagged objects 398=item CBOR::XS::Tagged objects
256 399
257Objects of this type must be arrays consisting of a single C<[tag, value]> 400Objects of this type must be arrays consisting of a single C<[tag, value]>
258pair. The (numerical) tag will be encoded as a CBOR tag, the value will be 401pair. The (numerical) tag will be encoded as a CBOR tag, the value will
259encoded as appropriate for the value. 402be encoded as appropriate for the value. You cna use C<CBOR::XS::tag> to
403create such objects.
260 404
261=item CBOR::XS::true, CBOR::XS::false 405=item Types::Serialiser::true, Types::Serialiser::false, Types::Serialiser::error
262 406
263These special values become CBOR true and CBOR false values, 407These special values become CBOR true, CBOR false and CBOR undefined
264respectively. You can also use C<\1> and C<\0> directly if you want. 408values, respectively. You can also use C<\1>, C<\0> and C<\undef> directly
409if you want.
265 410
266=item blessed objects 411=item other blessed objects
267 412
268Other blessed objects currently need to have a C<TO_CBOR> method. It 413Other blessed objects are serialised via C<TO_CBOR> or C<FREEZE>. See
269will be called on every object that is being serialised, and must return 414L<TAG HANDLING AND EXTENSIONS> for specific classes handled by this
270something that can be encoded in CBOR. 415module, and L<OBJECT SERIALISATION> for generic object serialisation.
271 416
272=item simple scalars 417=item simple scalars
273 418
274TODO
275Simple Perl scalars (any scalar that is not a reference) are the most 419Simple Perl scalars (any scalar that is not a reference) are the most
276difficult objects to encode: CBOR::XS will encode undefined scalars as 420difficult objects to encode: CBOR::XS will encode undefined scalars as
277CBOR null values, scalars that have last been used in a string context 421CBOR null values, scalars that have last been used in a string context
278before encoding as CBOR strings, and anything else as number value: 422before encoding as CBOR strings, and anything else as number value:
279 423
280 # dump as number 424 # dump as number
281 encode_cbor [2] # yields [2] 425 encode_cbor [2] # yields [2]
282 encode_cbor [-3.0e17] # yields [-3e+17] 426 encode_cbor [-3.0e17] # yields [-3e+17]
283 my $value = 5; encode_cbor [$value] # yields [5] 427 my $value = 5; encode_cbor [$value] # yields [5]
284 428
285 # used as string, so dump as string 429 # used as string, so dump as string (either byte or text)
286 print $value; 430 print $value;
287 encode_cbor [$value] # yields ["5"] 431 encode_cbor [$value] # yields ["5"]
288 432
289 # undef becomes null 433 # undef becomes null
290 encode_cbor [undef] # yields [null] 434 encode_cbor [undef] # yields [null]
293 437
294 my $x = 3.1; # some variable containing a number 438 my $x = 3.1; # some variable containing a number
295 "$x"; # stringified 439 "$x"; # stringified
296 $x .= ""; # another, more awkward way to stringify 440 $x .= ""; # another, more awkward way to stringify
297 print $x; # perl does it for you, too, quite often 441 print $x; # perl does it for you, too, quite often
442
443You can force whether a string ie encoded as byte or text string by using
444C<utf8::upgrade> and C<utf8::downgrade>):
445
446 utf8::upgrade $x; # encode $x as text string
447 utf8::downgrade $x; # encode $x as byte string
448
449Perl doesn't define what operations up- and downgrade strings, so if the
450difference between byte and text is important, you should up- or downgrade
451your string as late as possible before encoding.
298 452
299You can force the type to be a CBOR number by numifying it: 453You can force the type to be a CBOR number by numifying it:
300 454
301 my $x = "3"; # some variable containing a string 455 my $x = "3"; # some variable containing a string
302 $x += 0; # numify it, ensuring it will be dumped as a number 456 $x += 0; # numify it, ensuring it will be dumped as a number
313represent numerical values are supported, but might suffer loss of 467represent numerical values are supported, but might suffer loss of
314precision. 468precision.
315 469
316=back 470=back
317 471
472=head2 OBJECT SERIALISATION
318 473
474This module knows two way to serialise a Perl object: The CBOR-specific
475way, and the generic way.
476
477Whenever the encoder encounters a Perl object that it cnanot serialise
478directly (most of them), it will first look up the C<TO_CBOR> method on
479it.
480
481If it has a C<TO_CBOR> method, it will call it with the object as only
482argument, and expects exactly one return value, which it will then
483substitute and encode it in the place of the object.
484
485Otherwise, it will look up the C<FREEZE> method. If it exists, it will
486call it with the object as first argument, and the constant string C<CBOR>
487as the second argument, to distinguish it from other serialisers.
488
489The C<FREEZE> method can return any number of values (i.e. zero or
490more). These will be encoded as CBOR perl object, together with the
491classname.
492
493If an object supports neither C<TO_CBOR> nor C<FREEZE>, encoding will fail
494with an error.
495
496Objects encoded via C<TO_CBOR> cannot be automatically decoded, but
497objects encoded via C<FREEZE> can be decoded using the following protocol:
498
499When an encoded CBOR perl object is encountered by the decoder, it will
500look up the C<THAW> method, by using the stored classname, and will fail
501if the method cannot be found.
502
503After the lookup it will call the C<THAW> method with the stored classname
504as first argument, the constant string C<CBOR> as second argument, and all
505values returned by C<FREEZE> as remaining arguments.
506
507=head4 EXAMPLES
508
509Here is an example C<TO_CBOR> method:
510
511 sub My::Object::TO_CBOR {
512 my ($obj) = @_;
513
514 ["this is a serialised My::Object object", $obj->{id}]
515 }
516
517When a C<My::Object> is encoded to CBOR, it will instead encode a simple
518array with two members: a string, and the "object id". Decoding this CBOR
519string will yield a normal perl array reference in place of the object.
520
521A more useful and practical example would be a serialisation method for
522the URI module. CBOR has a custom tag value for URIs, namely 32:
523
524 sub URI::TO_CBOR {
525 my ($self) = @_;
526 my $uri = "$self"; # stringify uri
527 utf8::upgrade $uri; # make sure it will be encoded as UTF-8 string
528 CBOR::XS::tagged 32, "$_[0]"
529 }
530
531This will encode URIs as a UTF-8 string with tag 32, which indicates an
532URI.
533
534Decoding such an URI will not (currently) give you an URI object, but
535instead a CBOR::XS::Tagged object with tag number 32 and the string -
536exactly what was returned by C<TO_CBOR>.
537
538To serialise an object so it can automatically be deserialised, you need
539to use C<FREEZE> and C<THAW>. To take the URI module as example, this
540would be a possible implementation:
541
542 sub URI::FREEZE {
543 my ($self, $serialiser) = @_;
544 "$self" # encode url string
545 }
546
547 sub URI::THAW {
548 my ($class, $serialiser, $uri) = @_;
549
550 $class->new ($uri)
551 }
552
553Unlike C<TO_CBOR>, multiple values can be returned by C<FREEZE>. For
554example, a C<FREEZE> method that returns "type", "id" and "variant" values
555would cause an invocation of C<THAW> with 5 arguments:
556
557 sub My::Object::FREEZE {
558 my ($self, $serialiser) = @_;
559
560 ($self->{type}, $self->{id}, $self->{variant})
561 }
562
563 sub My::Object::THAW {
564 my ($class, $serialiser, $type, $id, $variant) = @_;
565
566 $class-<new (type => $type, id => $id, variant => $variant)
567 }
568
569
319=head2 MAGIC HEADER 570=head1 MAGIC HEADER
320 571
321There is no way to distinguish CBOR from other formats 572There is no way to distinguish CBOR from other formats
322programmatically. To make it easier to distinguish CBOR from other 573programmatically. To make it easier to distinguish CBOR from other
323formats, the CBOR specification has a special "magic string" that can be 574formats, the CBOR specification has a special "magic string" that can be
324prepended to any CBOR string without changing it's meaning. 575prepended to any CBOR string without changing its meaning.
325 576
326This string is available as C<$CBOR::XS::MAGIC>. This module does not 577This string is available as C<$CBOR::XS::MAGIC>. This module does not
327prepend this string tot he CBOR data it generates, but it will ignroe it 578prepend this string to the CBOR data it generates, but it will ignore it
328if present, so users can prepend this string as a "file type" indicator as 579if present, so users can prepend this string as a "file type" indicator as
329required. 580required.
330 581
331 582
583=head1 THE CBOR::XS::Tagged CLASS
584
585CBOR has the concept of tagged values - any CBOR value can be tagged with
586a numeric 64 bit number, which are centrally administered.
587
588C<CBOR::XS> handles a few tags internally when en- or decoding. You can
589also create tags yourself by encoding C<CBOR::XS::Tagged> objects, and the
590decoder will create C<CBOR::XS::Tagged> objects itself when it hits an
591unknown tag.
592
593These objects are simply blessed array references - the first member of
594the array being the numerical tag, the second being the value.
595
596You can interact with C<CBOR::XS::Tagged> objects in the following ways:
597
598=over 4
599
600=item $tagged = CBOR::XS::tag $tag, $value
601
602This function(!) creates a new C<CBOR::XS::Tagged> object using the given
603C<$tag> (0..2**64-1) to tag the given C<$value> (which can be any Perl
604value that can be encoded in CBOR, including serialisable Perl objects and
605C<CBOR::XS::Tagged> objects).
606
607=item $tagged->[0]
608
609=item $tagged->[0] = $new_tag
610
611=item $tag = $tagged->tag
612
613=item $new_tag = $tagged->tag ($new_tag)
614
615Access/mutate the tag.
616
617=item $tagged->[1]
618
619=item $tagged->[1] = $new_value
620
621=item $value = $tagged->value
622
623=item $new_value = $tagged->value ($new_value)
624
625Access/mutate the tagged value.
626
627=back
628
629=cut
630
631sub tag($$) {
632 bless [@_], CBOR::XS::Tagged::;
633}
634
635sub CBOR::XS::Tagged::tag {
636 $_[0][0] = $_[1] if $#_;
637 $_[0][0]
638}
639
640sub CBOR::XS::Tagged::value {
641 $_[0][1] = $_[1] if $#_;
642 $_[0][1]
643}
644
645=head2 EXAMPLES
646
647Here are some examples of C<CBOR::XS::Tagged> uses to tag objects.
648
649You can look up CBOR tag value and emanings in the IANA registry at
650L<http://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml>.
651
652Prepend a magic header (C<$CBOR::XS::MAGIC>):
653
654 my $cbor = encode_cbor CBOR::XS::tag 55799, $value;
655 # same as:
656 my $cbor = $CBOR::XS::MAGIC . encode_cbor $value;
657
658Serialise some URIs and a regex in an array:
659
660 my $cbor = encode_cbor [
661 (CBOR::XS::tag 32, "http://www.nethype.de/"),
662 (CBOR::XS::tag 32, "http://software.schmorp.de/"),
663 (CBOR::XS::tag 35, "^[Pp][Ee][Rr][lL]\$"),
664 ];
665
666Wrap CBOR data in CBOR:
667
668 my $cbor_cbor = encode_cbor
669 CBOR::XS::tag 24,
670 encode_cbor [1, 2, 3];
671
672=head1 TAG HANDLING AND EXTENSIONS
673
674This section describes how this module handles specific tagged values
675and extensions. If a tag is not mentioned here and no additional filters
676are provided for it, then the default handling applies (creating a
677CBOR::XS::Tagged object on decoding, and only encoding the tag when
678explicitly requested).
679
680Tags not handled specifically are currently converted into a
681L<CBOR::XS::Tagged> object, which is simply a blessed array reference
682consisting of the numeric tag value followed by the (decoded) CBOR value.
683
684Future versions of this module reserve the right to special case
685additional tags (such as base64url).
686
687=head2 ENFORCED TAGS
688
689These tags are always handled when decoding, and their handling cannot be
690overriden by the user.
691
692=over 4
693
694=item 26 (perl-object, L<http://cbor.schmorp.de/perl-object>)
695
696These tags are automatically created (and decoded) for serialisable
697objects using the C<FREEZE/THAW> methods (the L<Types::Serialier> object
698serialisation protocol). See L<OBJECT SERIALISATION> for details.
699
700=item 28, 29 (sharable, sharedref, L <http://cbor.schmorp.de/value-sharing>)
701
702These tags are automatically decoded when encountered, resulting in
703shared values in the decoded object. They are only encoded, however, when
704C<allow_sharable> is enabled.
705
706=item 256, 25 (stringref-namespace, stringref, L <http://cbor.schmorp.de/stringref>)
707
708These tags are automatically decoded when encountered. They are only
709encoded, however, when C<pack_strings> is enabled.
710
711=item 22098 (indirection, L<http://cbor.schmorp.de/indirection>)
712
713This tag is automatically generated when a reference are encountered (with
714the exception of hash and array refernces). It is converted to a reference
715when decoding.
716
717=item 55799 (self-describe CBOR, RFC 7049)
718
719This value is not generated on encoding (unless explicitly requested by
720the user), and is simply ignored when decoding.
721
722=back
723
724=head2 NON-ENFORCED TAGS
725
726These tags have default filters provided when decoding. Their handling can
727be overriden by changing the C<%CBOR::XS::FILTER> entry for the tag, or by
728providing a custom C<filter> callback when decoding.
729
730When they result in decoding into a specific Perl class, the module
731usually provides a corresponding C<TO_CBOR> method as well.
732
733When any of these need to load additional modules that are not part of the
734perl core distribution (e.g. L<URI>), it is (currently) up to the user to
735provide these modules. The decoding usually fails with an exception if the
736required module cannot be loaded.
737
738=over 4
739
740=item 2, 3 (positive/negative bignum)
741
742These tags are decoded into L<Math::BigInt> objects. The corresponding
743C<Math::BigInt::TO_CBOR> method encodes "small" bigints into normal CBOR
744integers, and others into positive/negative CBOR bignums.
745
746=item 4, 5 (decimal fraction/bigfloat)
747
748Both decimal fractions and bigfloats are decoded into L<Math::BigFloat>
749objects. The corresponding C<Math::BigFloat::TO_CBOR> method I<always>
750encodes into a decimal fraction.
751
752CBOR cannot represent bigfloats with I<very> large exponents - conversion
753of such big float objects is undefined.
754
755Also, NaN and infinities are not encoded properly.
756
757=item 21, 22, 23 (expected later JSON conversion)
758
759CBOR::XS is not a CBOR-to-JSON converter, and will simply ignore these
760tags.
761
762=item 32 (URI)
763
764These objects decode into L<URI> objects. The corresponding
765C<URI::TO_CBOR> method again results in a CBOR URI value.
766
767=back
768
769=cut
770
771our %FILTER = (
772 # 0 # rfc4287 datetime, utf-8
773 # 1 # unix timestamp, any
774
775 2 => sub { # pos bigint
776 require Math::BigInt;
777 Math::BigInt->new ("0x" . unpack "H*", pop)
778 },
779
780 3 => sub { # neg bigint
781 require Math::BigInt;
782 -Math::BigInt->new ("0x" . unpack "H*", pop)
783 },
784
785 4 => sub { # decimal fraction, array
786 require Math::BigFloat;
787 Math::BigFloat->new ($_[1][1] . "E" . $_[1][0])
788 },
789
790 5 => sub { # bigfloat, array
791 require Math::BigFloat;
792 scalar Math::BigFloat->new ($_[1][1])->blsft ($_[1][0], 2)
793 },
794
795 21 => sub { pop }, # expected conversion to base64url encoding
796 22 => sub { pop }, # expected conversion to base64 encoding
797 23 => sub { pop }, # expected conversion to base16 encoding
798
799 # 24 # embedded cbor, byte string
800
801 32 => sub {
802 require URI;
803 URI->new (pop)
804 },
805
806 # 33 # base64url rfc4648, utf-8
807 # 34 # base64 rfc46484, utf-8
808 # 35 # regex pcre/ecma262, utf-8
809 # 36 # mime message rfc2045, utf-8
810);
811
812
332=head2 CBOR and JSON 813=head1 CBOR and JSON
333 814
334CBOR is supposed to implement a superset of the JSON data model, and is, 815CBOR is supposed to implement a superset of the JSON data model, and is,
335with some coercion, able to represent all JSON texts (something that other 816with some coercion, able to represent all JSON texts (something that other
336"binary JSON" formats such as BSON generally do not support). 817"binary JSON" formats such as BSON generally do not support).
337 818
417Please refrain from using rt.cpan.org or any other bug reporting 898Please refrain from using rt.cpan.org or any other bug reporting
418service. I put the contact address into my modules for a reason. 899service. I put the contact address into my modules for a reason.
419 900
420=cut 901=cut
421 902
422our $true = do { bless \(my $dummy = 1), "CBOR::XS::Boolean" }; 903our %FILTER = (
423our $false = do { bless \(my $dummy = 0), "CBOR::XS::Boolean" }; 904 # 0 # rfc4287 datetime, utf-8
905 # 1 # unix timestamp, any
424 906
425sub true() { $true } 907 2 => sub { # pos bigint
426sub false() { $false } 908 require Math::BigInt;
909 Math::BigInt->new ("0x" . unpack "H*", pop)
910 },
427 911
428sub is_bool($) { 912 3 => sub { # neg bigint
429 UNIVERSAL::isa $_[0], "CBOR::XS::Boolean" 913 require Math::BigInt;
430# or UNIVERSAL::isa $_[0], "CBOR::Literal" 914 -Math::BigInt->new ("0x" . unpack "H*", pop)
915 },
916
917 4 => sub { # decimal fraction, array
918 require Math::BigFloat;
919 Math::BigFloat->new ($_[1][1] . "E" . $_[1][0])
920 },
921
922 5 => sub { # bigfloat, array
923 require Math::BigFloat;
924 scalar Math::BigFloat->new ($_[1][1])->blsft ($_[1][0], 2)
925 },
926
927 21 => sub { pop }, # expected conversion to base64url encoding
928 22 => sub { pop }, # expected conversion to base64 encoding
929 23 => sub { pop }, # expected conversion to base16 encoding
930
931 # 24 # embedded cbor, byte string
932
933 32 => sub {
934 require URI;
935 URI->new (pop)
936 },
937
938 # 33 # base64url rfc4648, utf-8
939 # 34 # base64 rfc46484, utf-8
940 # 35 # regex pcre/ecma262, utf-8
941 # 36 # mime message rfc2045, utf-8
942);
943
944sub CBOR::XS::default_filter {
945 &{ $FILTER{$_[0]} or return }
431} 946}
432 947
948sub URI::TO_CBOR {
949 my $uri = $_[0]->as_string;
950 utf8::upgrade $uri;
951 CBOR::XS::tag 32, $uri
952}
953
954sub Math::BigInt::TO_CBOR {
955 if ($_[0] >= -2147483648 && $_[0] <= 2147483647) {
956 $_[0]->numify
957 } else {
958 my $hex = substr $_[0]->as_hex, 2;
959 $hex = "0$hex" if 1 & length $hex; # sigh
960 CBOR::XS::tag $_[0] >= 0 ? 2 : 3, pack "H*", $hex
961 }
962}
963
964sub Math::BigFloat::TO_CBOR {
965 my ($m, $e) = $_[0]->parts;
966 CBOR::XS::tag 4, [$e->numify, $m]
967}
968
433XSLoader::load "CBOR::XS", $VERSION; 969XSLoader::load "CBOR::XS", $VERSION;
434
435package CBOR::XS::Boolean;
436
437use overload
438 "0+" => sub { ${$_[0]} },
439 "++" => sub { $_[0] = ${$_[0]} + 1 },
440 "--" => sub { $_[0] = ${$_[0]} - 1 },
441 fallback => 1;
442
4431;
444 970
445=head1 SEE ALSO 971=head1 SEE ALSO
446 972
447The L<JSON> and L<JSON::XS> modules that do similar, but human-readable, 973The L<JSON> and L<JSON::XS> modules that do similar, but human-readable,
448serialisation. 974serialisation.
449 975
976The L<Types::Serialiser> module provides the data model for true, false
977and error values.
978
450=head1 AUTHOR 979=head1 AUTHOR
451 980
452 Marc Lehmann <schmorp@schmorp.de> 981 Marc Lehmann <schmorp@schmorp.de>
453 http://home.schmorp.de/ 982 http://home.schmorp.de/
454 983
455=cut 984=cut
456 985
9861
987

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines