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.121 by root, Mon Jul 13 22:13:17 2009 UTC vs.
Revision 1.140 by root, Thu Jun 27 11:45:17 2013 UTC

64so, and even documents what "correct" means. 64so, and even documents what "correct" means.
65 65
66=item * round-trip integrity 66=item * round-trip integrity
67 67
68When you serialise a perl data structure using only data types supported 68When you serialise a perl data structure using only data types supported
69by JSON, the deserialised data structure is identical on the Perl level. 69by JSON and Perl, the deserialised data structure is identical on the Perl
70(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
71like 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
72section below to learn about those. 72MAPPING section below to learn about those.
73 73
74=item * strict checking of JSON correctness 74=item * strict checking of JSON correctness
75 75
76There is no guessing, no generating of illegal JSON texts by default, 76There is no guessing, no generating of illegal JSON texts by default,
77and 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
83this module usually compares favourably in terms of speed, too. 83this module usually compares favourably in terms of speed, too.
84 84
85=item * simple to use 85=item * simple to use
86 86
87This module has both a simple functional interface as well as an object 87This module has both a simple functional interface as well as an object
88oriented interface interface. 88oriented interface.
89 89
90=item * reasonably versatile output formats 90=item * reasonably versatile output formats
91 91
92You can choose between the most compact guaranteed-single-line format 92You can choose between the most compact guaranteed-single-line format
93possible (nice for simple line-based protocols), a pure-ASCII format 93possible (nice for simple line-based protocols), a pure-ASCII format
101 101
102package JSON::XS; 102package JSON::XS;
103 103
104use common::sense; 104use common::sense;
105 105
106our $VERSION = '2.24'; 106our $VERSION = 2.34;
107our @ISA = qw(Exporter); 107our @ISA = qw(Exporter);
108 108
109our @EXPORT = qw(encode_json decode_json to_json from_json); 109our @EXPORT = qw(encode_json decode_json to_json from_json);
110 110
111sub to_json($) { 111sub to_json($) {
432If C<$enable> is true (or missing), then the C<encode> method will output JSON objects 432If C<$enable> is true (or missing), then the C<encode> method will output JSON objects
433by sorting their keys. This is adding a comparatively high overhead. 433by sorting their keys. This is adding a comparatively high overhead.
434 434
435If C<$enable> is false, then the C<encode> method will output key-value 435If C<$enable> is false, then the C<encode> method will output key-value
436pairs in the order Perl stores them (which will likely change between runs 436pairs in the order Perl stores them (which will likely change between runs
437of the same script). 437of the same script, and can change even within the same run from 5.18
438onwards).
438 439
439This option is useful if you want the same data structure to be encoded as 440This option is useful if you want the same data structure to be encoded as
440the same JSON text (given the same overall settings). If it is disabled, 441the same JSON text (given the same overall settings). If it is disabled,
441the same hash might be encoded differently even if contains the same data, 442the same hash might be encoded differently even if contains the same data,
442as key-value pairs have no inherent ordering in Perl. 443as key-value pairs have no inherent ordering in Perl.
443 444
444This setting has no effect when decoding JSON texts. 445This setting has no effect when decoding JSON texts.
446
447This setting has currently no effect on tied hashes.
445 448
446=item $json = $json->allow_nonref ([$enable]) 449=item $json = $json->allow_nonref ([$enable])
447 450
448=item $enabled = $json->get_allow_nonref 451=item $enabled = $json->get_allow_nonref
449 452
711calls). 714calls).
712 715
713JSON::XS will only attempt to parse the JSON text once it is sure it 716JSON::XS will only attempt to parse the JSON text once it is sure it
714has enough text to get a decisive result, using a very simple but 717has enough text to get a decisive result, using a very simple but
715truly incremental parser. This means that it sometimes won't stop as 718truly incremental parser. This means that it sometimes won't stop as
716early as the full parser, for example, it doesn't detect parenthese 719early as the full parser, for example, it doesn't detect mismatched
717mismatches. The only thing it guarantees is that it starts decoding as 720parentheses. The only thing it guarantees is that it starts decoding as
718soon as a syntactically valid JSON text has been seen. This means you need 721soon as a syntactically valid JSON text has been seen. This means you need
719to set resource limits (e.g. C<max_size>) to ensure the parser will stop 722to set resource limits (e.g. C<max_size>) to ensure the parser will stop
720parsing in the presence if syntax errors. 723parsing in the presence if syntax errors.
721 724
722The following methods implement this incremental parser. 725The following methods implement this incremental parser.
738 741
739If the method is called in scalar context, then it will try to extract 742If the method is called in scalar context, then it will try to extract
740exactly I<one> JSON object. If that is successful, it will return this 743exactly I<one> JSON object. If that is successful, it will return this
741object, otherwise it will return C<undef>. If there is a parse error, 744object, otherwise it will return C<undef>. If there is a parse error,
742this method will croak just as C<decode> would do (one can then use 745this method will croak just as C<decode> would do (one can then use
743C<incr_skip> to skip the errornous part). This is the most common way of 746C<incr_skip> to skip the erroneous part). This is the most common way of
744using the method. 747using the method.
745 748
746And finally, in list context, it will try to extract as many objects 749And finally, in list context, it will try to extract as many objects
747from the stream as it can find and return them, or the empty list 750from the stream as it can find and return them, or the empty list
748otherwise. For this to work, there must be no separators between the JSON 751otherwise. For this to work, there must be no separators between the JSON
749objects or arrays, instead they must be concatenated back-to-back. If 752objects or arrays, instead they must be concatenated back-to-back. If
750an error occurs, an exception will be raised as in the scalar context 753an error occurs, an exception will be raised as in the scalar context
751case. Note that in this case, any previously-parsed JSON texts will be 754case. Note that in this case, any previously-parsed JSON texts will be
752lost. 755lost.
753 756
757Example: Parse some JSON arrays/objects in a given string and return
758them.
759
760 my @objs = JSON::XS->new->incr_parse ("[5][7][1,2]");
761
754=item $lvalue_string = $json->incr_text 762=item $lvalue_string = $json->incr_text
755 763
756This method returns the currently stored JSON fragment as an lvalue, that 764This method returns the currently stored JSON fragment as an lvalue, that
757is, you can manipulate it. This I<only> works when a preceding call to 765is, you can manipulate it. This I<only> works when a preceding call to
758C<incr_parse> in I<scalar context> successfully returned an object. Under 766C<incr_parse> in I<scalar context> successfully returned an object. Under
772C<incr_parse> died, in which case the input buffer and incremental parser 780C<incr_parse> died, in which case the input buffer and incremental parser
773state is left unchanged, to skip the text parsed so far and to reset the 781state is left unchanged, to skip the text parsed so far and to reset the
774parse state. 782parse state.
775 783
776The difference to C<incr_reset> is that only text until the parse error 784The difference to C<incr_reset> is that only text until the parse error
777occured is removed. 785occurred is removed.
778 786
779=item $json->incr_reset 787=item $json->incr_reset
780 788
781This completely resets the incremental parser, that is, after this call, 789This completely resets the incremental parser, that is, after this call,
782it will be as if the parser had never parsed anything. 790it will be as if the parser had never parsed anything.
980If the number consists of digits only, JSON::XS will try to represent 988If the number consists of digits only, JSON::XS will try to represent
981it as an integer value. If that fails, it will try to represent it as 989it as an integer value. If that fails, it will try to represent it as
982a numeric (floating point) value if that is possible without loss of 990a numeric (floating point) value if that is possible without loss of
983precision. Otherwise it will preserve the number as a string value (in 991precision. Otherwise it will preserve the number as a string value (in
984which case you lose roundtripping ability, as the JSON number will be 992which case you lose roundtripping ability, as the JSON number will be
985re-encoded toa JSON string). 993re-encoded to a JSON string).
986 994
987Numbers containing a fractional or exponential part will always be 995Numbers containing a fractional or exponential part will always be
988represented as numeric (floating point) values, possibly at a loss of 996represented as numeric (floating point) values, possibly at a loss of
989precision (in which case you might lose perfect roundtripping ability, but 997precision (in which case you might lose perfect roundtripping ability, but
990the JSON number will still be re-encoded as a JSON number). 998the JSON number will still be re-encoded as a JSON number).
999
1000Note that precision is not accuracy - binary floating point values cannot
1001represent most decimal fractions exactly, and when converting from and to
1002floating point, JSON::XS only guarantees precision up to but not including
1003the least significant bit.
991 1004
992=item true, false 1005=item true, false
993 1006
994These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>, 1007These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>,
995respectively. They are overloaded to act almost exactly like the numbers 1008respectively. They are overloaded to act almost exactly like the numbers
1083 1096
1084You can not currently force the type in other, less obscure, ways. Tell me 1097You can not currently force the type in other, less obscure, ways. Tell me
1085if you need this capability (but don't forget to explain why it's needed 1098if you need this capability (but don't forget to explain why it's needed
1086:). 1099:).
1087 1100
1101Note that numerical precision has the same meaning as under Perl (so
1102binary to decimal conversion follows the same rules as in Perl, which
1103can differ to other languages). Also, your perl interpreter might expose
1104extensions to the floating point numbers of your platform, such as
1105infinities or NaN's - these cannot be represented in JSON, and it is an
1106error to pass those in.
1107
1088=back 1108=back
1089 1109
1090 1110
1091=head1 ENCODING/CODESET FLAG NOTES 1111=head1 ENCODING/CODESET FLAG NOTES
1092 1112
1118=item C<utf8> flag disabled 1138=item C<utf8> flag disabled
1119 1139
1120When C<utf8> is disabled (the default), then C<encode>/C<decode> generate 1140When C<utf8> is disabled (the default), then C<encode>/C<decode> generate
1121and expect Unicode strings, that is, characters with high ordinal Unicode 1141and expect Unicode strings, that is, characters with high ordinal Unicode
1122values (> 255) will be encoded as such characters, and likewise such 1142values (> 255) will be encoded as such characters, and likewise such
1123characters are decoded as-is, no canges to them will be done, except 1143characters are decoded as-is, no changes to them will be done, except
1124"(re-)interpreting" them as Unicode codepoints or Unicode characters, 1144"(re-)interpreting" them as Unicode codepoints or Unicode characters,
1125respectively (to Perl, these are the same thing in strings unless you do 1145respectively (to Perl, these are the same thing in strings unless you do
1126funny/weird/dumb stuff). 1146funny/weird/dumb stuff).
1127 1147
1128This is useful when you want to do the encoding yourself (e.g. when you 1148This is useful when you want to do the encoding yourself (e.g. when you
1236well - using C<eval> naively simply I<will> cause problems. 1256well - using C<eval> naively simply I<will> cause problems.
1237 1257
1238Another problem is that some javascript implementations reserve 1258Another problem is that some javascript implementations reserve
1239some property names for their own purposes (which probably makes 1259some property names for their own purposes (which probably makes
1240them non-ECMAscript-compliant). For example, Iceweasel reserves the 1260them non-ECMAscript-compliant). For example, Iceweasel reserves the
1241C<__proto__> property name for it's own purposes. 1261C<__proto__> property name for its own purposes.
1242 1262
1243If that is a problem, you could parse try to filter the resulting JSON 1263If that is a problem, you could parse try to filter the resulting JSON
1244output for these property strings, e.g.: 1264output for these property strings, e.g.:
1245 1265
1246 $json =~ s/"__proto__"\s*:/"__proto__renamed":/g; 1266 $json =~ s/"__proto__"\s*:/"__proto__renamed":/g;
1247 1267
1248This works because C<__proto__> is not valid outside of strings, so every 1268This works because C<__proto__> is not valid outside of strings, so every
1249occurence of C<"__proto__"\s*:> must be a string used as property name. 1269occurrence of C<"__proto__"\s*:> must be a string used as property name.
1250 1270
1251If you know of other incompatibilities, please let me know. 1271If you know of other incompatibilities, please let me know.
1252 1272
1253 1273
1254=head2 JSON and YAML 1274=head2 JSON and YAML
1266 my $yaml = $to_yaml->encode ($ref) . "\n"; 1286 my $yaml = $to_yaml->encode ($ref) . "\n";
1267 1287
1268This will I<usually> generate JSON texts that also parse as valid 1288This will I<usually> generate JSON texts that also parse as valid
1269YAML. Please note that YAML has hardcoded limits on (simple) object key 1289YAML. Please note that YAML has hardcoded limits on (simple) object key
1270lengths that JSON doesn't have and also has different and incompatible 1290lengths that JSON doesn't have and also has different and incompatible
1271unicode handling, so you should make sure that your hash keys are 1291unicode character escape syntax, so you should make sure that your hash
1272noticeably shorter than the 1024 "stream characters" YAML allows and that 1292keys are noticeably shorter than the 1024 "stream characters" YAML allows
1273you do not have characters with codepoint values outside the Unicode BMP 1293and that you do not have characters with codepoint values outside the
1274(basic multilingual page). YAML also does not allow C<\/> sequences in 1294Unicode BMP (basic multilingual page). YAML also does not allow C<\/>
1275strings (which JSON::XS does not I<currently> generate, but other JSON 1295sequences in strings (which JSON::XS does not I<currently> generate, but
1276generators might). 1296other JSON generators might).
1277 1297
1278There might be other incompatibilities that I am not aware of (or the YAML 1298There might be other incompatibilities that I am not aware of (or the YAML
1279specification has been changed yet again - it does so quite often). In 1299specification has been changed yet again - it does so quite often). In
1280general you should not try to generate YAML with a JSON generator or vice 1300general you should not try to generate YAML with a JSON generator or vice
1281versa, or try to parse JSON with a YAML parser or vice versa: chances are 1301versa, or try to parse JSON with a YAML parser or vice versa: chances are
1300that difficult or long) and finally make YAML compatible to it, and 1320that difficult or long) and finally make YAML compatible to it, and
1301educating users about the changes, instead of spreading lies about the 1321educating users about the changes, instead of spreading lies about the
1302real compatibility for many I<years> and trying to silence people who 1322real compatibility for many I<years> and trying to silence people who
1303point out that it isn't true. 1323point out that it isn't true.
1304 1324
1325Addendum/2009: the YAML 1.2 spec is still incompatible with JSON, even
1326though the incompatibilities have been documented (and are known to Brian)
1327for many years and the spec makes explicit claims that YAML is a superset
1328of JSON. It would be so easy to fix, but apparently, bullying people and
1329corrupting userdata is so much easier.
1330
1305=back 1331=back
1306 1332
1307 1333
1308=head2 SPEED 1334=head2 SPEED
1309 1335
1316a very short single-line JSON string (also available at 1342a very short single-line JSON string (also available at
1317L<http://dist.schmorp.de/misc/json/short.json>). 1343L<http://dist.schmorp.de/misc/json/short.json>).
1318 1344
1319 {"method": "handleMessage", "params": ["user1", 1345 {"method": "handleMessage", "params": ["user1",
1320 "we were just talking"], "id": null, "array":[1,11,234,-5,1e5,1e7, 1346 "we were just talking"], "id": null, "array":[1,11,234,-5,1e5,1e7,
1321 true, false]} 1347 1, 0]}
1322 1348
1323It shows the number of encodes/decodes per second (JSON::XS uses 1349It shows the number of encodes/decodes per second (JSON::XS uses
1324the functional interface, while JSON::XS/2 uses the OO interface 1350the functional interface, while JSON::XS/2 uses the OO interface
1325with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables 1351with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables
1326shrink). Higher is better: 1352shrink. JSON::DWIW/DS uses the deserialise function, while JSON::DWIW::FJ
1353uses the from_json method). Higher is better:
1327 1354
1328 module | encode | decode | 1355 module | encode | decode |
1329 -----------|------------|------------| 1356 --------------|------------|------------|
1330 JSON 1.x | 4990.842 | 4088.813 | 1357 JSON::DWIW/DS | 86302.551 | 102300.098 |
1331 JSON::DWIW | 51653.990 | 71575.154 | 1358 JSON::DWIW/FJ | 86302.551 | 75983.768 |
1332 JSON::PC | 65948.176 | 74631.744 | 1359 JSON::PP | 15827.562 | 6638.658 |
1333 JSON::PP | 8931.652 | 3817.168 | 1360 JSON::Syck | 63358.066 | 47662.545 |
1334 JSON::Syck | 24877.248 | 27776.848 | 1361 JSON::XS | 511500.488 | 511500.488 |
1335 JSON::XS | 388361.481 | 227951.304 | 1362 JSON::XS/2 | 291271.111 | 388361.481 |
1336 JSON::XS/2 | 227951.304 | 218453.333 | 1363 JSON::XS/3 | 361577.931 | 361577.931 |
1337 JSON::XS/3 | 338250.323 | 218453.333 | 1364 Storable | 66788.280 | 265462.278 |
1338 Storable | 16500.016 | 135300.129 |
1339 -----------+------------+------------+ 1365 --------------+------------+------------+
1340 1366
1341That is, JSON::XS is about five times faster than JSON::DWIW on encoding, 1367That is, JSON::XS is almost six times faster than JSON::DWIW on encoding,
1342about three times faster on decoding, and over forty times faster 1368about five times faster on decoding, and over thirty to seventy times
1343than JSON, even with pretty-printing and key sorting. It also compares 1369faster than JSON's pure perl implementation. It also compares favourably
1344favourably to Storable for small amounts of data. 1370to Storable for small amounts of data.
1345 1371
1346Using a longer test string (roughly 18KB, generated from Yahoo! Locals 1372Using a longer test string (roughly 18KB, generated from Yahoo! Locals
1347search API (L<http://dist.schmorp.de/misc/json/long.json>). 1373search API (L<http://dist.schmorp.de/misc/json/long.json>).
1348 1374
1349 module | encode | decode | 1375 module | encode | decode |
1350 -----------|------------|------------| 1376 --------------|------------|------------|
1351 JSON 1.x | 55.260 | 34.971 | 1377 JSON::DWIW/DS | 1647.927 | 2673.916 |
1352 JSON::DWIW | 825.228 | 1082.513 | 1378 JSON::DWIW/FJ | 1630.249 | 2596.128 |
1353 JSON::PC | 3571.444 | 2394.829 |
1354 JSON::PP | 210.987 | 32.574 | 1379 JSON::PP | 400.640 | 62.311 |
1355 JSON::Syck | 552.551 | 787.544 | 1380 JSON::Syck | 1481.040 | 1524.869 |
1356 JSON::XS | 5780.463 | 4854.519 | 1381 JSON::XS | 20661.596 | 9541.183 |
1357 JSON::XS/2 | 3869.998 | 4798.975 | 1382 JSON::XS/2 | 10683.403 | 9416.938 |
1358 JSON::XS/3 | 5862.880 | 4798.975 | 1383 JSON::XS/3 | 20661.596 | 9400.054 |
1359 Storable | 4445.002 | 5235.027 | 1384 Storable | 19765.806 | 10000.725 |
1360 -----------+------------+------------+ 1385 --------------+------------+------------+
1361 1386
1362Again, JSON::XS leads by far (except for Storable which non-surprisingly 1387Again, JSON::XS leads by far (except for Storable which non-surprisingly
1363decodes faster). 1388decodes a bit faster).
1364 1389
1365On large strings containing lots of high Unicode characters, some modules 1390On large strings containing lots of high Unicode characters, some modules
1366(such as JSON::PC) seem to decode faster than JSON::XS, but the result 1391(such as JSON::PC) seem to decode faster than JSON::XS, but the result
1367will be broken due to missing (or wrong) Unicode handling. Others refuse 1392will be broken due to missing (or wrong) Unicode handling. Others refuse
1368to decode or encode properly, so it was impossible to prepare a fair 1393to decode or encode properly, so it was impossible to prepare a fair
1404information you might want to make sure that exceptions thrown by JSON::XS 1429information you might want to make sure that exceptions thrown by JSON::XS
1405will not end up in front of untrusted eyes. 1430will not end up in front of untrusted eyes.
1406 1431
1407If you are using JSON::XS to return packets to consumption 1432If you are using JSON::XS to return packets to consumption
1408by JavaScript scripts in a browser you should have a look at 1433by JavaScript scripts in a browser you should have a look at
1409L<http://jpsykes.com/47/practical-csrf-and-json-security> to see whether 1434L<http://blog.archive.jpsykes.com/47/practical-csrf-and-json-security/> to
1410you are vulnerable to some common attack vectors (which really are browser 1435see whether you are vulnerable to some common attack vectors (which really
1411design bugs, but it is still you who will have to deal with it, as major 1436are browser design bugs, but it is still you who will have to deal with
1412browser developers care only for features, not about getting security 1437it, as major browser developers care only for features, not about getting
1413right). 1438security right).
1414 1439
1415 1440
1416=head1 THREADS 1441=head1 THREADS
1417 1442
1418This module is I<not> guaranteed to be thread safe and there are no 1443This module is I<not> guaranteed to be thread safe and there are no
1419plans to change this until Perl gets thread support (as opposed to the 1444plans to change this until Perl gets thread support (as opposed to the
1420horribly slow so-called "threads" which are simply slow and bloated 1445horribly slow so-called "threads" which are simply slow and bloated
1421process simulations - use fork, it's I<much> faster, cheaper, better). 1446process simulations - use fork, it's I<much> faster, cheaper, better).
1422 1447
1423(It might actually work, but you have been warned). 1448(It might actually work, but you have been warned).
1449
1450
1451=head1 THE PERILS OF SETLOCALE
1452
1453Sometimes people avoid the Perl locale support and directly call the
1454system's setlocale function with C<LC_ALL>.
1455
1456This breaks both perl and modules such as JSON::XS, as stringification of
1457numbers no longer works correctly (e.g. C<$x = 0.1; print "$x"+1> might
1458print C<1>, and JSON::XS might output illegal JSON as JSON::XS relies on
1459perl to stringify numbers).
1460
1461The solution is simple: don't call C<setlocale>, or use it for only those
1462categories you need, such as C<LC_MESSAGES> or C<LC_CTYPE>.
1463
1464If you need C<LC_NUMERIC>, you should enable it only around the code that
1465actually needs it (avoiding stringification of numbers), and restore it
1466afterwards.
1424 1467
1425 1468
1426=head1 BUGS 1469=head1 BUGS
1427 1470
1428While the goal of this module is to be correct, that unfortunately does 1471While the goal of this module is to be correct, that unfortunately does

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines