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

Comparing JSON-XS/XS.pm (file contents):
Revision 1.143 by root, Fri Oct 25 20:02:54 2013 UTC vs.
Revision 1.149 by root, Tue Oct 29 00:21:10 2013 UTC

101 101
102package JSON::XS; 102package JSON::XS;
103 103
104use common::sense; 104use common::sense;
105 105
106our $VERSION = 2.34; 106our $VERSION = '3.0';
107our @ISA = qw(Exporter); 107our @ISA = qw(Exporter);
108 108
109our @EXPORT = qw(encode_json decode_json); 109our @EXPORT = qw(encode_json decode_json);
110 110
111use Exporter; 111use Exporter;
112use XSLoader; 112use XSLoader;
113
114use Types::Serialiser ();
113 115
114=head1 FUNCTIONAL INTERFACE 116=head1 FUNCTIONAL INTERFACE
115 117
116The following convenience methods are provided by this module. They are 118The following convenience methods are provided by this module. They are
117exported by default: 119exported by default:
138This function call is functionally identical to: 140This function call is functionally identical to:
139 141
140 $perl_scalar = JSON::XS->new->utf8->decode ($json_text) 142 $perl_scalar = JSON::XS->new->utf8->decode ($json_text)
141 143
142Except being faster. 144Except being faster.
143
144=item $is_boolean = JSON::XS::is_bool $scalar
145
146Returns true if the passed scalar represents either JSON::XS::true or
147JSON::XS::false, two constants that act like C<1> and C<0>, respectively
148and are used to represent JSON C<true> and C<false> values in Perl.
149
150See MAPPING, below, for more information on how JSON values are mapped to
151Perl.
152 145
153=back 146=back
154 147
155 148
156=head1 A FEW NOTES ON UNICODE AND PERL 149=head1 A FEW NOTES ON UNICODE AND PERL
474 467
475=item $json = $json->allow_blessed ([$enable]) 468=item $json = $json->allow_blessed ([$enable])
476 469
477=item $enabled = $json->get_allow_blessed 470=item $enabled = $json->get_allow_blessed
478 471
472See L<OBJECT SERIALISATION> for details.
473
479If C<$enable> is true (or missing), then the C<encode> method will not 474If C<$enable> is true (or missing), then the C<encode> method will not
480barf when it encounters a blessed reference. Instead, the value of the 475barf when it encounters a blessed reference that it cannot convert
481B<convert_blessed> option will decide whether C<null> (C<convert_blessed> 476otherwise. Instead, a JSON C<null> value is encoded instead of the object.
482disabled or no C<TO_JSON> method found) or a representation of the
483object (C<convert_blessed> enabled and C<TO_JSON> method found) is being
484encoded. Has no effect on C<decode>.
485 477
486If C<$enable> is false (the default), then C<encode> will throw an 478If C<$enable> is false (the default), then C<encode> will throw an
487exception when it encounters a blessed object. 479exception when it encounters a blessed object that it cannot convert
480otherwise.
481
482This setting has no effect on C<decode>.
488 483
489=item $json = $json->convert_blessed ([$enable]) 484=item $json = $json->convert_blessed ([$enable])
490 485
491=item $enabled = $json->get_convert_blessed 486=item $enabled = $json->get_convert_blessed
487
488See L<OBJECT SERIALISATION> for details.
492 489
493If C<$enable> is true (or missing), then C<encode>, upon encountering a 490If C<$enable> is true (or missing), then C<encode>, upon encountering a
494blessed object, will check for the availability of the C<TO_JSON> method 491blessed object, will check for the availability of the C<TO_JSON> method
495on the object's class. If found, it will be called in scalar context 492on the object's class. If found, it will be called in scalar context and
496and the resulting scalar will be encoded instead of the object. If no 493the resulting scalar will be encoded instead of the object.
497C<TO_JSON> method is found, the value of C<allow_blessed> will decide what
498to do.
499 494
500The C<TO_JSON> method may safely call die if it wants. If C<TO_JSON> 495The C<TO_JSON> method may safely call die if it wants. If C<TO_JSON>
501returns other blessed objects, those will be handled in the same 496returns other blessed objects, those will be handled in the same
502way. C<TO_JSON> must take care of not causing an endless recursion cycle 497way. C<TO_JSON> must take care of not causing an endless recursion cycle
503(== crash) in this case. The name of C<TO_JSON> was chosen because other 498(== crash) in this case. The name of C<TO_JSON> was chosen because other
504methods called by the Perl core (== not by the user of the object) are 499methods called by the Perl core (== not by the user of the object) are
505usually in upper case letters and to avoid collisions with any C<to_json> 500usually in upper case letters and to avoid collisions with any C<to_json>
506function or method. 501function or method.
507 502
508This setting does not yet influence C<decode> in any way, but in the 503If C<$enable> is false (the default), then C<encode> will not consider
509future, global hooks might get installed that influence C<decode> and are 504this type of conversion.
510enabled by this setting.
511 505
512If C<$enable> is false, then the C<allow_blessed> setting will decide what 506This setting has no effect on C<decode>.
513to do when a blessed object is found. 507
508=item $json = $json->allow_tags ([$enable])
509
510=item $enabled = $json->allow_tags
511
512See L<OBJECT SERIALISATION> for details.
513
514If C<$enable> is true (or missing), then C<encode>, upon encountering a
515blessed object, will check for the availability of the C<FREEZE> method on
516the object's class. If found, it will be used to serialise the object into
517a nonstandard tagged JSON value (that JSON decoders cannot decode).
518
519It also causes C<decode> to parse such tagged JSON values and deserialise
520them via a call to the C<THAW> method.
521
522If C<$enable> is false (the default), then C<encode> will not consider
523this type of conversion, and tagged JSON values will cause a parse error
524in C<decode>, as if tags were not part of the grammar.
514 525
515=item $json = $json->filter_json_object ([$coderef->($hashref)]) 526=item $json = $json->filter_json_object ([$coderef->($hashref)])
516 527
517When C<$coderef> is specified, it will be called from C<decode> each 528When C<$coderef> is specified, it will be called from C<decode> each
518time it decodes a JSON object. The only argument is a reference to the 529time it decodes a JSON object. The only argument is a reference to the
983floating point, JSON::XS only guarantees precision up to but not including 994floating point, JSON::XS only guarantees precision up to but not including
984the least significant bit. 995the least significant bit.
985 996
986=item true, false 997=item true, false
987 998
988These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>, 999These JSON atoms become C<Types::Serialiser::true> and
989respectively. They are overloaded to act almost exactly like the numbers 1000C<Types::Serialiser::false>, respectively. They are overloaded to act
990C<1> and C<0>. You can check whether a scalar is a JSON boolean by using 1001almost exactly like the numbers C<1> and C<0>. You can check whether
991the C<JSON::XS::is_bool> function. 1002a scalar is a JSON boolean by using the C<Types::Serialiser::is_bool>
1003function (after C<use Types::Serialier>, of course).
992 1004
993=item null 1005=item null
994 1006
995A JSON null atom becomes C<undef> in Perl. 1007A JSON null atom becomes C<undef> in Perl.
1008
1009=item shell-style comments (C<< # I<text> >>)
1010
1011As a nonstandard extension to the JSON syntax that is enabled by the
1012C<relaxed> setting, shell-style comments are allowed. They can start
1013anywhere outside strings and go till the end of the line.
1014
1015=item tagged values (C<< (I<tag>)I<value> >>).
1016
1017Another nonstandard extension to the JSON syntax, enabled with the
1018C<allow_tags> setting, are tagged values. In this implementation, the
1019I<tag> must be a perl package/class name encoded as a JSON string, and the
1020I<value> must be a JSON array encoding optional constructor arguments.
1021
1022See L<OBJECT SERIALISATION>, below, for details.
996 1023
997=back 1024=back
998 1025
999 1026
1000=head2 PERL -> JSON 1027=head2 PERL -> JSON
1021 1048
1022=item other references 1049=item other references
1023 1050
1024Other unblessed references are generally not allowed and will cause an 1051Other unblessed references are generally not allowed and will cause an
1025exception to be thrown, except for references to the integers C<0> and 1052exception to be thrown, except for references to the integers C<0> and
1026C<1>, which get turned into C<false> and C<true> atoms in JSON. You can 1053C<1>, which get turned into C<false> and C<true> atoms in JSON.
1027also use C<JSON::XS::false> and C<JSON::XS::true> to improve readability.
1028 1054
1055Since C<JSON::XS> uses the boolean model from L<Types::Serialiser>, you
1056can also C<use Types::Serialiser> and then use C<Types::Serialiser::false>
1057and C<Types::Serialiser::true> to improve readability.
1058
1059 use Types::Serialiser;
1029 encode_json [\0, JSON::XS::true] # yields [false,true] 1060 encode_json [\0, Types::Serialiser::true] # yields [false,true]
1030 1061
1031=item JSON::XS::true, JSON::XS::false 1062=item Types::Serialiser::true, Types::Serialiser::false
1032 1063
1033These special values become JSON true and JSON false values, 1064These special values from the L<Types::Serialiser> module become JSON true
1034respectively. You can also use C<\1> and C<\0> directly if you want. 1065and JSON false values, respectively. You can also use C<\1> and C<\0>
1066directly if you want.
1035 1067
1036=item blessed objects 1068=item blessed objects
1037 1069
1038Blessed objects are not directly representable in JSON. See the 1070Blessed objects are not directly representable in JSON, but C<JSON::XS>
1039C<allow_blessed> and C<convert_blessed> methods on various options on 1071allows various ways of handling objects. See L<OBJECT SERIALISATION>,
1040how to deal with this: basically, you can choose between throwing an 1072below, for details.
1041exception, encoding the reference as if it weren't blessed, or provide
1042your own serialiser method.
1043 1073
1044=item simple scalars 1074=item simple scalars
1045 1075
1046Simple Perl scalars (any scalar that is not a reference) are the most 1076Simple Perl scalars (any scalar that is not a reference) are the most
1047difficult objects to encode: JSON::XS will encode undefined scalars as 1077difficult objects to encode: JSON::XS will encode undefined scalars as
1083extensions to the floating point numbers of your platform, such as 1113extensions to the floating point numbers of your platform, such as
1084infinities or NaN's - these cannot be represented in JSON, and it is an 1114infinities or NaN's - these cannot be represented in JSON, and it is an
1085error to pass those in. 1115error to pass those in.
1086 1116
1087=back 1117=back
1118
1119=head2 OBJECT SERIALISATION
1120
1121As JSON cannot directly represent Perl objects, you have to choose between
1122a pure JSON representation (without the ability to deserialise the object
1123automatically again), and a nonstandard extension to the JSON syntax,
1124tagged values.
1125
1126=head3 SERIALISATION
1127
1128What happens when C<JSON::XS> encounters a Perl object depends on the
1129C<allow_blessed>, C<convert_blessed> and C<allow_tags> settings, which are
1130used in this order:
1131
1132=over 4
1133
1134=item 1. C<allow_tags> is enabled and the object has a C<FREEZE> method.
1135
1136In this case, C<JSON::XS> uses the L<Types::Serialiser> object
1137serialisation protocol to create a tagged JSON value, using a nonstandard
1138extension to the JSON syntax.
1139
1140This works by invoking the C<FREEZE> method on the object, with the first
1141argument being the object to serialise, and the second argument being the
1142constant string C<JSON> to distinguish it from other serialisers.
1143
1144The C<FREEZE> method can return any number of values (i.e. zero or
1145more). These values and the paclkage/classname of the object will then be
1146encoded as a tagged JSON value in the following format:
1147
1148 ("classname")[FREEZE return values...]
1149
1150For example, the hypothetical C<My::Object> C<FREEZE> method might use the
1151objects C<type> and C<id> members to encode the object:
1152
1153 sub My::Object::FREEZE {
1154 my ($self, $serialiser) = @_;
1155
1156 ($self->{type}, $self->{id})
1157 }
1158
1159=item 2. C<convert_blessed> is enabled and the object has a C<TO_JSON> method.
1160
1161In this case, the C<TO_JSON> method of the object is invoked in scalar
1162context. It must return a single scalar that can be directly encoded into
1163JSON. This scalar replaces the object in the JSON text.
1164
1165For example, the following C<TO_JSON> method will convert all L<URI>
1166objects to JSON strings when serialised. The fatc that these values
1167originally were L<URI> objects is lost.
1168
1169 sub URI::TO_JSON {
1170 my ($uri) = @_;
1171 $uri->as_string
1172 }
1173
1174=item 3. C<allow_blessed> is enabled.
1175
1176The object will be serialised as a JSON null value.
1177
1178=item 4. none of the above
1179
1180If none of the settings are enabled or the respective methods are missing,
1181C<JSON::XS> throws an exception.
1182
1183=back
1184
1185=head3 DESERIALISATION
1186
1187For deserialisation there are only two cases to consider: either
1188nonstandard tagging was used, in which case C<allow_tags> decides,
1189or objects cannot be automatically be deserialised, in which
1190case you can use postprocessing or the C<filter_json_object> or
1191C<filter_json_single_key_object> callbacks to get some real objects our of
1192your JSON.
1193
1194This section only considers the tagged value case: I a tagged JSON object
1195is encountered during decoding and C<allow_tags> is disabled, a parse
1196error will result (as if tagged values were not part of the grammar).
1197
1198If C<allow_tags> is enabled, C<JSON::XS> will look up the C<THAW> method
1199of the package/classname used during serialisation (it will not attempt
1200to load the package as a Perl module). If there is no such method, the
1201decoding will fail with an error.
1202
1203Otherwise, the C<THAW> method is invoked with the classname as first
1204argument, the constant string C<JSON> as second argument, and all the
1205values from the JSON array (the values originally returned by the
1206C<FREEZE> method) as remaining arguments.
1207
1208The method must then return the object. While technically you can return
1209any Perl scalar, you might have to enable the C<enable_nonref> setting to
1210make that work in all cases, so better return an actual blessed reference.
1211
1212As an example, let's implement a C<THAW> function that regenerates the
1213C<My::Object> from the C<FREEZE> example earlier:
1214
1215 sub My::Object::THAW {
1216 my ($class, $serialiser, $type, $id) = @_;
1217
1218 $class->new (type => $type, id => $id)
1219 }
1088 1220
1089 1221
1090=head1 ENCODING/CODESET FLAG NOTES 1222=head1 ENCODING/CODESET FLAG NOTES
1091 1223
1092The interested reader might have seen a number of flags that signify 1224The interested reader might have seen a number of flags that signify
1415are browser design bugs, but it is still you who will have to deal with 1547are browser design bugs, but it is still you who will have to deal with
1416it, as major browser developers care only for features, not about getting 1548it, as major browser developers care only for features, not about getting
1417security right). 1549security right).
1418 1550
1419 1551
1552=head1 INTEROPERABILITY WITH OTHER MODULES
1553
1554C<JSON::XS> uses the L<Types::Serialiser> module to provide boolean
1555constants. That means that the JSON true and false values will be
1556comaptible to true and false values of iother modules that do the same,
1557such as L<JSON::PP> and L<CBOR::XS>.
1558
1559
1420=head1 THREADS 1560=head1 THREADS
1421 1561
1422This module is I<not> guaranteed to be thread safe and there are no 1562This module is I<not> guaranteed to be thread safe and there are no
1423plans to change this until Perl gets thread support (as opposed to the 1563plans to change this until Perl gets thread support (as opposed to the
1424horribly slow so-called "threads" which are simply slow and bloated 1564horribly slow so-called "threads" which are simply slow and bloated
1454Please refrain from using rt.cpan.org or any other bug reporting 1594Please refrain from using rt.cpan.org or any other bug reporting
1455service. I put the contact address into my modules for a reason. 1595service. I put the contact address into my modules for a reason.
1456 1596
1457=cut 1597=cut
1458 1598
1459our $true = do { bless \(my $dummy = 1), "JSON::XS::Boolean" }; 1599BEGIN {
1460our $false = do { bless \(my $dummy = 0), "JSON::XS::Boolean" }; 1600 *true = \$Types::Serialiser::true;
1601 *true = \&Types::Serialiser::true;
1602 *false = \$Types::Serialiser::false;
1603 *false = \&Types::Serialiser::false;
1604 *is_bool = \&Types::Serialiser::is_bool;
1461 1605
1462sub true() { $true } 1606 *JSON::XS::Boolean:: = *Types::Serialiser::Boolean::;
1463sub false() { $false }
1464
1465sub is_bool($) {
1466 UNIVERSAL::isa $_[0], "JSON::XS::Boolean"
1467# or UNIVERSAL::isa $_[0], "JSON::Literal"
1468} 1607}
1469 1608
1470XSLoader::load "JSON::XS", $VERSION; 1609XSLoader::load "JSON::XS", $VERSION;
1471
1472package JSON::XS::Boolean;
1473
1474use overload
1475 "0+" => sub { ${$_[0]} },
1476 "++" => sub { $_[0] = ${$_[0]} + 1 },
1477 "--" => sub { $_[0] = ${$_[0]} - 1 },
1478 fallback => 1;
1479
14801;
1481 1610
1482=head1 SEE ALSO 1611=head1 SEE ALSO
1483 1612
1484The F<json_xs> command line utility for quick experiments. 1613The F<json_xs> command line utility for quick experiments.
1485 1614
1488 Marc Lehmann <schmorp@schmorp.de> 1617 Marc Lehmann <schmorp@schmorp.de>
1489 http://home.schmorp.de/ 1618 http://home.schmorp.de/
1490 1619
1491=cut 1620=cut
1492 1621
16221
1623

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines