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.107 by root, Tue Jun 3 06:43:45 2008 UTC vs.
Revision 1.133 by root, Tue Aug 17 23:27:36 2010 UTC

49to write yet another JSON module? While it seems there are many JSON 49to write yet another JSON module? While it seems there are many JSON
50modules, none of them correctly handle all corner cases, and in most cases 50modules, none of them correctly handle all corner cases, and in most cases
51their maintainers are unresponsive, gone missing, or not listening to bug 51their maintainers are unresponsive, gone missing, or not listening to bug
52reports for other reasons. 52reports for other reasons.
53 53
54See COMPARISON, below, for a comparison to some other JSON modules.
55
56See MAPPING, below, on how JSON::XS maps perl values to JSON values and 54See MAPPING, below, on how JSON::XS maps perl values to JSON values and
57vice versa. 55vice versa.
58 56
59=head2 FEATURES 57=head2 FEATURES
60 58
66so, and even documents what "correct" means. 64so, and even documents what "correct" means.
67 65
68=item * round-trip integrity 66=item * round-trip integrity
69 67
70When you serialise a perl data structure using only data types supported 68When you serialise a perl data structure using only data types supported
71by JSON, the deserialised data structure is identical on the Perl level. 69by JSON and Perl, the deserialised data structure is identical on the Perl
72(e.g. the string "2.0" doesn't suddenly become "2" just because it looks 70level. (e.g. the string "2.0" doesn't suddenly become "2" just because
73like a number). There minor I<are> exceptions to this, read the MAPPING 71it looks like a number). There I<are> minor exceptions to this, read the
74section below to learn about those. 72MAPPING section below to learn about those.
75 73
76=item * strict checking of JSON correctness 74=item * strict checking of JSON correctness
77 75
78There is no guessing, no generating of illegal JSON texts by default, 76There is no guessing, no generating of illegal JSON texts by default,
79and only JSON is accepted as input by default (the latter is a security 77and only JSON is accepted as input by default (the latter is a security
101 99
102=cut 100=cut
103 101
104package JSON::XS; 102package JSON::XS;
105 103
106use strict; 104use common::sense;
107 105
108our $VERSION = '2.21'; 106our $VERSION = '2.3';
109our @ISA = qw(Exporter); 107our @ISA = qw(Exporter);
110 108
111our @EXPORT = qw(encode_json decode_json to_json from_json); 109our @EXPORT = qw(encode_json decode_json to_json from_json);
112 110
113sub to_json($) { 111sub to_json($) {
442the same JSON text (given the same overall settings). If it is disabled, 440the same JSON text (given the same overall settings). If it is disabled,
443the same hash might be encoded differently even if contains the same data, 441the same hash might be encoded differently even if contains the same data,
444as key-value pairs have no inherent ordering in Perl. 442as key-value pairs have no inherent ordering in Perl.
445 443
446This setting has no effect when decoding JSON texts. 444This setting has no effect when decoding JSON texts.
445
446This setting has currently no effect on tied hashes.
447 447
448=item $json = $json->allow_nonref ([$enable]) 448=item $json = $json->allow_nonref ([$enable])
449 449
450=item $enabled = $json->get_allow_nonref 450=item $enabled = $json->get_allow_nonref
451 451
706In some cases, there is the need for incremental parsing of JSON 706In some cases, there is the need for incremental parsing of JSON
707texts. While this module always has to keep both JSON text and resulting 707texts. While this module always has to keep both JSON text and resulting
708Perl data structure in memory at one time, it does allow you to parse a 708Perl data structure in memory at one time, it does allow you to parse a
709JSON stream incrementally. It does so by accumulating text until it has 709JSON stream incrementally. It does so by accumulating text until it has
710a full JSON object, which it then can decode. This process is similar to 710a full JSON object, which it then can decode. This process is similar to
711using C<decode_prefix> to see if a full JSON object is available, but is 711using C<decode_prefix> to see if a full JSON object is available, but
712much more efficient (JSON::XS will only attempt to parse the JSON text 712is much more efficient (and can be implemented with a minimum of method
713calls).
714
715JSON::XS will only attempt to parse the JSON text once it is sure it
713once it is sure it has enough text to get a decisive result, using a very 716has enough text to get a decisive result, using a very simple but
714simple but truly incremental parser). 717truly incremental parser. This means that it sometimes won't stop as
718early as the full parser, for example, it doesn't detect parenthese
719mismatches. The only thing it guarantees is that it starts decoding as
720soon as a syntactically valid JSON text has been seen. This means you need
721to set resource limits (e.g. C<max_size>) to ensure the parser will stop
722parsing in the presence if syntax errors.
715 723
716The following two methods deal with this. 724The following methods implement this incremental parser.
717 725
718=over 4 726=over 4
719 727
720=item [void, scalar or list context] = $json->incr_parse ([$string]) 728=item [void, scalar or list context] = $json->incr_parse ([$string])
721 729
743objects or arrays, instead they must be concatenated back-to-back. If 751objects or arrays, instead they must be concatenated back-to-back. If
744an error occurs, an exception will be raised as in the scalar context 752an error occurs, an exception will be raised as in the scalar context
745case. Note that in this case, any previously-parsed JSON texts will be 753case. Note that in this case, any previously-parsed JSON texts will be
746lost. 754lost.
747 755
756Example: Parse some JSON arrays/objects in a given string and return
757them.
758
759 my @objs = JSON::XS->new->incr_parse ("[5][7][1,2]");
760
748=item $lvalue_string = $json->incr_text 761=item $lvalue_string = $json->incr_text
749 762
750This method returns the currently stored JSON fragment as an lvalue, that 763This method returns the currently stored JSON fragment as an lvalue, that
751is, you can manipulate it. This I<only> works when a preceding call to 764is, you can manipulate it. This I<only> works when a preceding call to
752C<incr_parse> in I<scalar context> successfully returned an object. Under 765C<incr_parse> in I<scalar context> successfully returned an object. Under
759JSON object or b) parsing multiple JSON objects separated by non-JSON text 772JSON object or b) parsing multiple JSON objects separated by non-JSON text
760(such as commas). 773(such as commas).
761 774
762=item $json->incr_skip 775=item $json->incr_skip
763 776
764This will reset the state of the incremental parser and will remove the 777This will reset the state of the incremental parser and will remove
765parsed text from the input buffer. This is useful after C<incr_parse> 778the parsed text from the input buffer so far. This is useful after
766died, in which case the input buffer and incremental parser state is left 779C<incr_parse> died, in which case the input buffer and incremental parser
767unchanged, to skip the text parsed so far and to reset the parse state. 780state is left unchanged, to skip the text parsed so far and to reset the
781parse state.
782
783The difference to C<incr_reset> is that only text until the parse error
784occured is removed.
768 785
769=item $json->incr_reset 786=item $json->incr_reset
770 787
771This completely resets the incremental parser, that is, after this call, 788This completely resets the incremental parser, that is, after this call,
772it will be as if the parser had never parsed anything. 789it will be as if the parser had never parsed anything.
773 790
774This is useful if you want ot repeatedly parse JSON objects and want to 791This is useful if you want to repeatedly parse JSON objects and want to
775ignore any trailing data, which means you have to reset the parser after 792ignore any trailing data, which means you have to reset the parser after
776each successful decode. 793each successful decode.
777 794
778=back 795=back
779 796
977Numbers containing a fractional or exponential part will always be 994Numbers containing a fractional or exponential part will always be
978represented as numeric (floating point) values, possibly at a loss of 995represented as numeric (floating point) values, possibly at a loss of
979precision (in which case you might lose perfect roundtripping ability, but 996precision (in which case you might lose perfect roundtripping ability, but
980the JSON number will still be re-encoded as a JSON number). 997the JSON number will still be re-encoded as a JSON number).
981 998
999Note that precision is not accuracy - binary floating point values cannot
1000represent most decimal fractions exactly, and when converting from and to
1001floating point, JSON::XS only guarantees precision up to but not including
1002the leats significant bit.
1003
982=item true, false 1004=item true, false
983 1005
984These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>, 1006These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>,
985respectively. They are overloaded to act almost exactly like the numbers 1007respectively. They are overloaded to act almost exactly like the numbers
986C<1> and C<0>. You can check whether a scalar is a JSON boolean by using 1008C<1> and C<0>. You can check whether a scalar is a JSON boolean by using
1073 1095
1074You can not currently force the type in other, less obscure, ways. Tell me 1096You can not currently force the type in other, less obscure, ways. Tell me
1075if you need this capability (but don't forget to explain why it's needed 1097if you need this capability (but don't forget to explain why it's needed
1076:). 1098:).
1077 1099
1100Note that numerical precision has the same meaning as under Perl (so
1101binary to decimal conversion follows the same rules as in Perl, which
1102can differ to other languages). Also, your perl interpreter might expose
1103extensions to the floating point numbers of your platform, such as
1104infinities or NaN's - these cannot be represented in JSON, and it is an
1105error to pass those in.
1106
1078=back 1107=back
1079 1108
1080 1109
1081=head1 ENCODING/CODESET FLAG NOTES 1110=head1 ENCODING/CODESET FLAG NOTES
1082 1111
1174proper subset of most 8-bit and multibyte encodings in use in the world. 1203proper subset of most 8-bit and multibyte encodings in use in the world.
1175 1204
1176=back 1205=back
1177 1206
1178 1207
1208=head2 JSON and ECMAscript
1209
1210JSON syntax is based on how literals are represented in javascript (the
1211not-standardised predecessor of ECMAscript) which is presumably why it is
1212called "JavaScript Object Notation".
1213
1214However, JSON is not a subset (and also not a superset of course) of
1215ECMAscript (the standard) or javascript (whatever browsers actually
1216implement).
1217
1218If you want to use javascript's C<eval> function to "parse" JSON, you
1219might run into parse errors for valid JSON texts, or the resulting data
1220structure might not be queryable:
1221
1222One of the problems is that U+2028 and U+2029 are valid characters inside
1223JSON strings, but are not allowed in ECMAscript string literals, so the
1224following Perl fragment will not output something that can be guaranteed
1225to be parsable by javascript's C<eval>:
1226
1227 use JSON::XS;
1228
1229 print encode_json [chr 0x2028];
1230
1231The right fix for this is to use a proper JSON parser in your javascript
1232programs, and not rely on C<eval> (see for example Douglas Crockford's
1233F<json2.js> parser).
1234
1235If this is not an option, you can, as a stop-gap measure, simply encode to
1236ASCII-only JSON:
1237
1238 use JSON::XS;
1239
1240 print JSON::XS->new->ascii->encode ([chr 0x2028]);
1241
1242Note that this will enlarge the resulting JSON text quite a bit if you
1243have many non-ASCII characters. You might be tempted to run some regexes
1244to only escape U+2028 and U+2029, e.g.:
1245
1246 # DO NOT USE THIS!
1247 my $json = JSON::XS->new->utf8->encode ([chr 0x2028]);
1248 $json =~ s/\xe2\x80\xa8/\\u2028/g; # escape U+2028
1249 $json =~ s/\xe2\x80\xa9/\\u2029/g; # escape U+2029
1250 print $json;
1251
1252Note that I<this is a bad idea>: the above only works for U+2028 and
1253U+2029 and thus only for fully ECMAscript-compliant parsers. Many existing
1254javascript implementations, however, have issues with other characters as
1255well - using C<eval> naively simply I<will> cause problems.
1256
1257Another problem is that some javascript implementations reserve
1258some property names for their own purposes (which probably makes
1259them non-ECMAscript-compliant). For example, Iceweasel reserves the
1260C<__proto__> property name for it's own purposes.
1261
1262If that is a problem, you could parse try to filter the resulting JSON
1263output for these property strings, e.g.:
1264
1265 $json =~ s/"__proto__"\s*:/"__proto__renamed":/g;
1266
1267This works because C<__proto__> is not valid outside of strings, so every
1268occurence of C<"__proto__"\s*:> must be a string used as property name.
1269
1270If you know of other incompatibilities, please let me know.
1271
1272
1179=head2 JSON and YAML 1273=head2 JSON and YAML
1180 1274
1181You often hear that JSON is a subset of YAML. This is, however, a mass 1275You often hear that JSON is a subset of YAML. This is, however, a mass
1182hysteria(*) and very far from the truth (as of the time of this writing), 1276hysteria(*) and very far from the truth (as of the time of this writing),
1183so let me state it clearly: I<in general, there is no way to configure 1277so let me state it clearly: I<in general, there is no way to configure
1191 my $yaml = $to_yaml->encode ($ref) . "\n"; 1285 my $yaml = $to_yaml->encode ($ref) . "\n";
1192 1286
1193This will I<usually> generate JSON texts that also parse as valid 1287This will I<usually> generate JSON texts that also parse as valid
1194YAML. Please note that YAML has hardcoded limits on (simple) object key 1288YAML. Please note that YAML has hardcoded limits on (simple) object key
1195lengths that JSON doesn't have and also has different and incompatible 1289lengths that JSON doesn't have and also has different and incompatible
1196unicode handling, so you should make sure that your hash keys are 1290unicode character escape syntax, so you should make sure that your hash
1197noticeably shorter than the 1024 "stream characters" YAML allows and that 1291keys are noticeably shorter than the 1024 "stream characters" YAML allows
1198you do not have characters with codepoint values outside the Unicode BMP 1292and that you do not have characters with codepoint values outside the
1199(basic multilingual page). YAML also does not allow C<\/> sequences in 1293Unicode BMP (basic multilingual page). YAML also does not allow C<\/>
1200strings (which JSON::XS does not I<currently> generate, but other JSON 1294sequences in strings (which JSON::XS does not I<currently> generate, but
1201generators might). 1295other JSON generators might).
1202 1296
1203There might be other incompatibilities that I am not aware of (or the YAML 1297There might be other incompatibilities that I am not aware of (or the YAML
1204specification has been changed yet again - it does so quite often). In 1298specification has been changed yet again - it does so quite often). In
1205general you should not try to generate YAML with a JSON generator or vice 1299general you should not try to generate YAML with a JSON generator or vice
1206versa, or try to parse JSON with a YAML parser or vice versa: chances are 1300versa, or try to parse JSON with a YAML parser or vice versa: chances are
1225that difficult or long) and finally make YAML compatible to it, and 1319that difficult or long) and finally make YAML compatible to it, and
1226educating users about the changes, instead of spreading lies about the 1320educating users about the changes, instead of spreading lies about the
1227real compatibility for many I<years> and trying to silence people who 1321real compatibility for many I<years> and trying to silence people who
1228point out that it isn't true. 1322point out that it isn't true.
1229 1323
1324Addendum/2009: the YAML 1.2 spec is still incomaptible with JSON, even
1325though the incompatibilities have been documented (and are known to
1326Brian) for many years and the spec makes explicit claims that YAML is a
1327superset of JSON. It would be so easy to fix, but apparently, bullying and
1328corrupting userdata is so much easier.
1329
1230=back 1330=back
1231 1331
1232 1332
1233=head2 SPEED 1333=head2 SPEED
1234 1334
1241a very short single-line JSON string (also available at 1341a very short single-line JSON string (also available at
1242L<http://dist.schmorp.de/misc/json/short.json>). 1342L<http://dist.schmorp.de/misc/json/short.json>).
1243 1343
1244 {"method": "handleMessage", "params": ["user1", 1344 {"method": "handleMessage", "params": ["user1",
1245 "we were just talking"], "id": null, "array":[1,11,234,-5,1e5,1e7, 1345 "we were just talking"], "id": null, "array":[1,11,234,-5,1e5,1e7,
1246 true, false]} 1346 1, 0]}
1247 1347
1248It shows the number of encodes/decodes per second (JSON::XS uses 1348It shows the number of encodes/decodes per second (JSON::XS uses
1249the functional interface, while JSON::XS/2 uses the OO interface 1349the functional interface, while JSON::XS/2 uses the OO interface
1250with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables 1350with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables
1251shrink). Higher is better: 1351shrink. JSON::DWIW/DS uses the deserialise function, while JSON::DWIW::FJ
1352uses the from_json method). Higher is better:
1252 1353
1253 module | encode | decode | 1354 module | encode | decode |
1254 -----------|------------|------------| 1355 --------------|------------|------------|
1255 JSON 1.x | 4990.842 | 4088.813 | 1356 JSON::DWIW/DS | 86302.551 | 102300.098 |
1256 JSON::DWIW | 51653.990 | 71575.154 | 1357 JSON::DWIW/FJ | 86302.551 | 75983.768 |
1257 JSON::PC | 65948.176 | 74631.744 | 1358 JSON::PP | 15827.562 | 6638.658 |
1258 JSON::PP | 8931.652 | 3817.168 | 1359 JSON::Syck | 63358.066 | 47662.545 |
1259 JSON::Syck | 24877.248 | 27776.848 | 1360 JSON::XS | 511500.488 | 511500.488 |
1260 JSON::XS | 388361.481 | 227951.304 | 1361 JSON::XS/2 | 291271.111 | 388361.481 |
1261 JSON::XS/2 | 227951.304 | 218453.333 | 1362 JSON::XS/3 | 361577.931 | 361577.931 |
1262 JSON::XS/3 | 338250.323 | 218453.333 | 1363 Storable | 66788.280 | 265462.278 |
1263 Storable | 16500.016 | 135300.129 |
1264 -----------+------------+------------+ 1364 --------------+------------+------------+
1265 1365
1266That is, JSON::XS is about five times faster than JSON::DWIW on encoding, 1366That is, JSON::XS is almost six times faster than JSON::DWIW on encoding,
1267about three times faster on decoding, and over forty times faster 1367about five times faster on decoding, and over thirty to seventy times
1268than JSON, even with pretty-printing and key sorting. It also compares 1368faster than JSON's pure perl implementation. It also compares favourably
1269favourably to Storable for small amounts of data. 1369to Storable for small amounts of data.
1270 1370
1271Using a longer test string (roughly 18KB, generated from Yahoo! Locals 1371Using a longer test string (roughly 18KB, generated from Yahoo! Locals
1272search API (L<http://dist.schmorp.de/misc/json/long.json>). 1372search API (L<http://dist.schmorp.de/misc/json/long.json>).
1273 1373
1274 module | encode | decode | 1374 module | encode | decode |
1275 -----------|------------|------------| 1375 --------------|------------|------------|
1276 JSON 1.x | 55.260 | 34.971 | 1376 JSON::DWIW/DS | 1647.927 | 2673.916 |
1277 JSON::DWIW | 825.228 | 1082.513 | 1377 JSON::DWIW/FJ | 1630.249 | 2596.128 |
1278 JSON::PC | 3571.444 | 2394.829 |
1279 JSON::PP | 210.987 | 32.574 | 1378 JSON::PP | 400.640 | 62.311 |
1280 JSON::Syck | 552.551 | 787.544 | 1379 JSON::Syck | 1481.040 | 1524.869 |
1281 JSON::XS | 5780.463 | 4854.519 | 1380 JSON::XS | 20661.596 | 9541.183 |
1282 JSON::XS/2 | 3869.998 | 4798.975 | 1381 JSON::XS/2 | 10683.403 | 9416.938 |
1283 JSON::XS/3 | 5862.880 | 4798.975 | 1382 JSON::XS/3 | 20661.596 | 9400.054 |
1284 Storable | 4445.002 | 5235.027 | 1383 Storable | 19765.806 | 10000.725 |
1285 -----------+------------+------------+ 1384 --------------+------------+------------+
1286 1385
1287Again, JSON::XS leads by far (except for Storable which non-surprisingly 1386Again, JSON::XS leads by far (except for Storable which non-surprisingly
1288decodes faster). 1387decodes a bit faster).
1289 1388
1290On large strings containing lots of high Unicode characters, some modules 1389On large strings containing lots of high Unicode characters, some modules
1291(such as JSON::PC) seem to decode faster than JSON::XS, but the result 1390(such as JSON::PC) seem to decode faster than JSON::XS, but the result
1292will be broken due to missing (or wrong) Unicode handling. Others refuse 1391will be broken due to missing (or wrong) Unicode handling. Others refuse
1293to decode or encode properly, so it was impossible to prepare a fair 1392to decode or encode properly, so it was impossible to prepare a fair
1329information you might want to make sure that exceptions thrown by JSON::XS 1428information you might want to make sure that exceptions thrown by JSON::XS
1330will not end up in front of untrusted eyes. 1429will not end up in front of untrusted eyes.
1331 1430
1332If you are using JSON::XS to return packets to consumption 1431If you are using JSON::XS to return packets to consumption
1333by JavaScript scripts in a browser you should have a look at 1432by JavaScript scripts in a browser you should have a look at
1334L<http://jpsykes.com/47/practical-csrf-and-json-security> to see whether 1433L<http://blog.archive.jpsykes.com/47/practical-csrf-and-json-security/> to
1335you are vulnerable to some common attack vectors (which really are browser 1434see whether you are vulnerable to some common attack vectors (which really
1336design bugs, but it is still you who will have to deal with it, as major 1435are browser design bugs, but it is still you who will have to deal with
1337browser developers care only for features, not about getting security 1436it, as major browser developers care only for features, not about getting
1338right). 1437security right).
1339 1438
1340 1439
1341=head1 THREADS 1440=head1 THREADS
1342 1441
1343This module is I<not> guaranteed to be thread safe and there are no 1442This module is I<not> guaranteed to be thread safe and there are no

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines