ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/JSON-XS/XS.pm
Revision: 1.51
Committed: Mon Jul 2 01:12:27 2007 UTC (16 years, 10 months ago) by root
Branch: MAIN
Changes since 1.50: +73 -0 lines
Log Message:
*** empty log message ***

File Contents

# User Rev Content
1 root 1.1 =head1 NAME
2    
3     JSON::XS - JSON serialising/deserialising, done correctly and fast
4    
5     =head1 SYNOPSIS
6    
7     use JSON::XS;
8    
9 root 1.22 # exported functions, they croak on error
10     # and expect/generate UTF-8
11 root 1.12
12     $utf8_encoded_json_text = to_json $perl_hash_or_arrayref;
13     $perl_hash_or_arrayref = from_json $utf8_encoded_json_text;
14    
15 root 1.22 # OO-interface
16 root 1.12
17     $coder = JSON::XS->new->ascii->pretty->allow_nonref;
18     $pretty_printed_unencoded = $coder->encode ($perl_scalar);
19     $perl_scalar = $coder->decode ($unicode_json_text);
20    
21 root 1.1 =head1 DESCRIPTION
22    
23 root 1.2 This module converts Perl data structures to JSON and vice versa. Its
24     primary goal is to be I<correct> and its secondary goal is to be
25     I<fast>. To reach the latter goal it was written in C.
26    
27     As this is the n-th-something JSON module on CPAN, what was the reason
28     to write yet another JSON module? While it seems there are many JSON
29     modules, none of them correctly handle all corner cases, and in most cases
30     their maintainers are unresponsive, gone missing, or not listening to bug
31     reports for other reasons.
32    
33     See COMPARISON, below, for a comparison to some other JSON modules.
34    
35 root 1.10 See MAPPING, below, on how JSON::XS maps perl values to JSON values and
36     vice versa.
37    
38 root 1.2 =head2 FEATURES
39    
40 root 1.1 =over 4
41    
42 root 1.21 =item * correct unicode handling
43 root 1.2
44 root 1.10 This module knows how to handle Unicode, and even documents how and when
45     it does so.
46 root 1.2
47     =item * round-trip integrity
48    
49     When you serialise a perl data structure using only datatypes supported
50     by JSON, the deserialised data structure is identical on the Perl level.
51 root 1.21 (e.g. the string "2.0" doesn't suddenly become "2" just because it looks
52     like a number).
53 root 1.2
54     =item * strict checking of JSON correctness
55    
56 root 1.16 There is no guessing, no generating of illegal JSON texts by default,
57 root 1.10 and only JSON is accepted as input by default (the latter is a security
58     feature).
59 root 1.2
60     =item * fast
61    
62 root 1.10 Compared to other JSON modules, this module compares favourably in terms
63     of speed, too.
64 root 1.2
65     =item * simple to use
66    
67     This module has both a simple functional interface as well as an OO
68     interface.
69    
70     =item * reasonably versatile output formats
71    
72 root 1.10 You can choose between the most compact guarenteed single-line format
73 root 1.21 possible (nice for simple line-based protocols), a pure-ascii format
74     (for when your transport is not 8-bit clean, still supports the whole
75     unicode range), or a pretty-printed format (for when you want to read that
76     stuff). Or you can combine those features in whatever way you like.
77 root 1.2
78     =back
79    
80 root 1.1 =cut
81    
82     package JSON::XS;
83    
84 root 1.20 use strict;
85    
86 root 1.44 our $VERSION = '1.4';
87 root 1.43 our @ISA = qw(Exporter);
88 root 1.1
89 root 1.49 our @EXPORT = qw(to_json from_json);
90 root 1.1
91 root 1.43 use Exporter;
92     use XSLoader;
93 root 1.1
94 root 1.2 =head1 FUNCTIONAL INTERFACE
95    
96     The following convinience methods are provided by this module. They are
97     exported by default:
98    
99     =over 4
100    
101 root 1.16 =item $json_text = to_json $perl_scalar
102 root 1.2
103     Converts the given Perl data structure (a simple scalar or a reference to
104     a hash or array) to a UTF-8 encoded, binary string (that is, the string contains
105     octets only). Croaks on error.
106    
107 root 1.16 This function call is functionally identical to:
108 root 1.2
109 root 1.16 $json_text = JSON::XS->new->utf8->encode ($perl_scalar)
110    
111     except being faster.
112    
113     =item $perl_scalar = from_json $json_text
114 root 1.2
115     The opposite of C<to_json>: expects an UTF-8 (binary) string and tries to
116 root 1.16 parse that as an UTF-8 encoded JSON text, returning the resulting simple
117 root 1.2 scalar or reference. Croaks on error.
118    
119 root 1.16 This function call is functionally identical to:
120    
121     $perl_scalar = JSON::XS->new->utf8->decode ($json_text)
122    
123     except being faster.
124 root 1.2
125 root 1.43 =item $is_boolean = JSON::XS::is_bool $scalar
126    
127     Returns true if the passed scalar represents either JSON::XS::true or
128     JSON::XS::false, two constants that act like C<1> and C<0>, respectively
129     and are used to represent JSON C<true> and C<false> values in Perl.
130    
131     See MAPPING, below, for more information on how JSON values are mapped to
132     Perl.
133    
134 root 1.2 =back
135    
136 root 1.23
137 root 1.2 =head1 OBJECT-ORIENTED INTERFACE
138    
139     The object oriented interface lets you configure your own encoding or
140     decoding style, within the limits of supported formats.
141    
142     =over 4
143    
144     =item $json = new JSON::XS
145    
146     Creates a new JSON::XS object that can be used to de/encode JSON
147     strings. All boolean flags described below are by default I<disabled>.
148 root 1.1
149 root 1.2 The mutators for flags all return the JSON object again and thus calls can
150     be chained:
151    
152 root 1.16 my $json = JSON::XS->new->utf8->space_after->encode ({a => [1,2]})
153 root 1.3 => {"a": [1, 2]}
154 root 1.2
155 root 1.7 =item $json = $json->ascii ([$enable])
156 root 1.2
157 root 1.16 If C<$enable> is true (or missing), then the C<encode> method will not
158     generate characters outside the code range C<0..127> (which is ASCII). Any
159     unicode characters outside that range will be escaped using either a
160     single \uXXXX (BMP characters) or a double \uHHHH\uLLLLL escape sequence,
161 root 1.32 as per RFC4627. The resulting encoded JSON text can be treated as a native
162     unicode string, an ascii-encoded, latin1-encoded or UTF-8 encoded string,
163     or any other superset of ASCII.
164 root 1.2
165     If C<$enable> is false, then the C<encode> method will not escape Unicode
166 root 1.33 characters unless required by the JSON syntax or other flags. This results
167     in a faster and more compact format.
168    
169     The main use for this flag is to produce JSON texts that can be
170     transmitted over a 7-bit channel, as the encoded JSON texts will not
171     contain any 8 bit characters.
172 root 1.2
173 root 1.16 JSON::XS->new->ascii (1)->encode ([chr 0x10401])
174     => ["\ud801\udc01"]
175 root 1.3
176 root 1.33 =item $json = $json->latin1 ([$enable])
177    
178     If C<$enable> is true (or missing), then the C<encode> method will encode
179     the resulting JSON text as latin1 (or iso-8859-1), escaping any characters
180     outside the code range C<0..255>. The resulting string can be treated as a
181     latin1-encoded JSON text or a native unicode string. The C<decode> method
182     will not be affected in any way by this flag, as C<decode> by default
183     expects unicode, which is a strict superset of latin1.
184    
185     If C<$enable> is false, then the C<encode> method will not escape Unicode
186     characters unless required by the JSON syntax or other flags.
187    
188     The main use for this flag is efficiently encoding binary data as JSON
189     text, as most octets will not be escaped, resulting in a smaller encoded
190     size. The disadvantage is that the resulting JSON text is encoded
191     in latin1 (and must correctly be treated as such when storing and
192     transfering), a rare encoding for JSON. It is therefore most useful when
193     you want to store data structures known to contain binary data efficiently
194     in files or databases, not when talking to other JSON encoders/decoders.
195    
196     JSON::XS->new->latin1->encode (["\x{89}\x{abc}"]
197     => ["\x{89}\\u0abc"] # (perl syntax, U+abc escaped, U+89 not)
198    
199 root 1.7 =item $json = $json->utf8 ([$enable])
200 root 1.2
201 root 1.7 If C<$enable> is true (or missing), then the C<encode> method will encode
202 root 1.16 the JSON result into UTF-8, as required by many protocols, while the
203 root 1.7 C<decode> method expects to be handled an UTF-8-encoded string. Please
204     note that UTF-8-encoded strings do not contain any characters outside the
205 root 1.16 range C<0..255>, they are thus useful for bytewise/binary I/O. In future
206     versions, enabling this option might enable autodetection of the UTF-16
207     and UTF-32 encoding families, as described in RFC4627.
208 root 1.2
209     If C<$enable> is false, then the C<encode> method will return the JSON
210     string as a (non-encoded) unicode string, while C<decode> expects thus a
211     unicode string. Any decoding or encoding (e.g. to UTF-8 or UTF-16) needs
212     to be done yourself, e.g. using the Encode module.
213    
214 root 1.16 Example, output UTF-16BE-encoded JSON:
215    
216     use Encode;
217     $jsontext = encode "UTF-16BE", JSON::XS->new->encode ($object);
218    
219     Example, decode UTF-32LE-encoded JSON:
220    
221     use Encode;
222     $object = JSON::XS->new->decode (decode "UTF-32LE", $jsontext);
223 root 1.12
224 root 1.7 =item $json = $json->pretty ([$enable])
225 root 1.2
226     This enables (or disables) all of the C<indent>, C<space_before> and
227 root 1.3 C<space_after> (and in the future possibly more) flags in one call to
228 root 1.2 generate the most readable (or most compact) form possible.
229    
230 root 1.12 Example, pretty-print some simple structure:
231    
232 root 1.3 my $json = JSON::XS->new->pretty(1)->encode ({a => [1,2]})
233     =>
234     {
235     "a" : [
236     1,
237     2
238     ]
239     }
240    
241 root 1.7 =item $json = $json->indent ([$enable])
242 root 1.2
243 root 1.7 If C<$enable> is true (or missing), then the C<encode> method will use a multiline
244 root 1.2 format as output, putting every array member or object/hash key-value pair
245     into its own line, identing them properly.
246    
247     If C<$enable> is false, no newlines or indenting will be produced, and the
248 root 1.16 resulting JSON text is guarenteed not to contain any C<newlines>.
249 root 1.2
250 root 1.16 This setting has no effect when decoding JSON texts.
251 root 1.2
252 root 1.7 =item $json = $json->space_before ([$enable])
253 root 1.2
254 root 1.7 If C<$enable> is true (or missing), then the C<encode> method will add an extra
255 root 1.2 optional space before the C<:> separating keys from values in JSON objects.
256    
257     If C<$enable> is false, then the C<encode> method will not add any extra
258     space at those places.
259    
260 root 1.16 This setting has no effect when decoding JSON texts. You will also
261     most likely combine this setting with C<space_after>.
262 root 1.2
263 root 1.12 Example, space_before enabled, space_after and indent disabled:
264    
265     {"key" :"value"}
266    
267 root 1.7 =item $json = $json->space_after ([$enable])
268 root 1.2
269 root 1.7 If C<$enable> is true (or missing), then the C<encode> method will add an extra
270 root 1.2 optional space after the C<:> separating keys from values in JSON objects
271     and extra whitespace after the C<,> separating key-value pairs and array
272     members.
273    
274     If C<$enable> is false, then the C<encode> method will not add any extra
275     space at those places.
276    
277 root 1.16 This setting has no effect when decoding JSON texts.
278 root 1.2
279 root 1.12 Example, space_before and indent disabled, space_after enabled:
280    
281     {"key": "value"}
282    
283 root 1.7 =item $json = $json->canonical ([$enable])
284 root 1.2
285 root 1.7 If C<$enable> is true (or missing), then the C<encode> method will output JSON objects
286 root 1.2 by sorting their keys. This is adding a comparatively high overhead.
287    
288     If C<$enable> is false, then the C<encode> method will output key-value
289     pairs in the order Perl stores them (which will likely change between runs
290     of the same script).
291    
292     This option is useful if you want the same data structure to be encoded as
293 root 1.16 the same JSON text (given the same overall settings). If it is disabled,
294 root 1.2 the same hash migh be encoded differently even if contains the same data,
295     as key-value pairs have no inherent ordering in Perl.
296    
297 root 1.16 This setting has no effect when decoding JSON texts.
298 root 1.2
299 root 1.7 =item $json = $json->allow_nonref ([$enable])
300 root 1.3
301 root 1.7 If C<$enable> is true (or missing), then the C<encode> method can convert a
302 root 1.3 non-reference into its corresponding string, number or null JSON value,
303     which is an extension to RFC4627. Likewise, C<decode> will accept those JSON
304     values instead of croaking.
305    
306     If C<$enable> is false, then the C<encode> method will croak if it isn't
307 root 1.16 passed an arrayref or hashref, as JSON texts must either be an object
308 root 1.3 or array. Likewise, C<decode> will croak if given something that is not a
309     JSON object or array.
310    
311 root 1.12 Example, encode a Perl scalar as JSON value with enabled C<allow_nonref>,
312     resulting in an invalid JSON text:
313    
314     JSON::XS->new->allow_nonref->encode ("Hello, World!")
315     => "Hello, World!"
316    
317 root 1.44 =item $json = $json->allow_blessed ([$enable])
318    
319     If C<$enable> is true (or missing), then the C<encode> method will not
320     barf when it encounters a blessed reference. Instead, the value of the
321     B<convert_blessed> option will decide wether C<null> (C<convert_blessed>
322     disabled or no C<to_json> method found) or a representation of the
323     object (C<convert_blessed> enabled and C<to_json> method found) is being
324     encoded. Has no effect on C<decode>.
325    
326     If C<$enable> is false (the default), then C<encode> will throw an
327     exception when it encounters a blessed object.
328    
329     =item $json = $json->convert_blessed ([$enable])
330    
331     If C<$enable> is true (or missing), then C<encode>, upon encountering a
332     blessed object, will check for the availability of the C<TO_JSON> method
333     on the object's class. If found, it will be called in scalar context
334     and the resulting scalar will be encoded instead of the object. If no
335     C<TO_JSON> method is found, the value of C<allow_blessed> will decide what
336     to do.
337    
338     The C<TO_JSON> method may safely call die if it wants. If C<TO_JSON>
339     returns other blessed objects, those will be handled in the same
340     way. C<TO_JSON> must take care of not causing an endless recursion cycle
341     (== crash) in this case. The name of C<TO_JSON> was chosen because other
342 root 1.46 methods called by the Perl core (== not by the user of the object) are
343 root 1.44 usually in upper case letters and to avoid collisions with the C<to_json>
344     function.
345    
346 root 1.45 This setting does not yet influence C<decode> in any way, but in the
347     future, global hooks might get installed that influence C<decode> and are
348     enabled by this setting.
349    
350 root 1.44 If C<$enable> is false, then the C<allow_blessed> setting will decide what
351     to do when a blessed object is found.
352    
353 root 1.51 =item $json = $json->filter_json_object ([$coderef])
354    
355     When C<$coderef> is specified, it will be called from C<decode> each
356     time it decodes a JSON object. The only argument is a reference to the
357     newly-created hash. If the code references returns a single scalar (which
358     need not be a reference), this value (i.e. a copy of that scalar to avoid
359     aliasing) is inserted into the deserialised data structure. If it returns
360     an empty list (NOTE: I<not> C<undef>, which is a valid scalar), the
361     original deserialised hash will be inserted. This setting can slow down
362     decoding considerably.
363    
364     When C<$coderef> is omitted or undefined, C<decode> will not change the
365     deserialised hash in any way. This is maximally fast.
366    
367     Example, convert all JSON objects into the integer 5:
368    
369     my $js = JSON::XS->new->filter_json_object (sub { 5 });
370     # returns [5]
371     $js->decode ('[{}]')
372     # throw an exception because allow_nonref is not enabled:
373     $js->decode ('{"a":1, "b":2}');
374    
375     =item $json = $json->filter_json_single_key_object ([$coderef])
376    
377     Works like C<filter_json_object>, but is only called for JSON objects
378     having only a single key.
379    
380     This C<$coderef> is called before the one specified via
381     C<filter_json_object>, if any. If it returns something, that will be
382     inserted into the data structure. If it returns nothing, the callback
383     from C<filter_json_object> will be called next. If you want to force
384     insertion of single-key objects even in the presence of a mutating
385     C<filter_json_object> callback, simply return the passed hash.
386    
387     As this callback gets called less often then the C<filter_json_object>
388     one, decoding speed will not usually suffer as much. Therefore, single-key
389     objects make excellent targets to serialise Perl objects into, especially
390     as single-key JSON objects are as close to the type-tagged value concept
391     as JSON gets (its basically an ID/VALUE tuple). Of course, JSON does not
392     support this in any way, so you need to make sure your data never looks
393     like a serialised Perl hash.
394    
395     Typical names for the single object key are C<__class_whatever__>, or
396     C<$__dollars_are_rarely_used__$> or C<}ugly_brace_placement>, or even
397     things like C<__class_md5sum(classname)__>, to reduce the risk of clashing
398     with real hashes.
399    
400     Example, decode JSON objects of the form C<< { "__widget__" => <id> } >>
401     into the corresponding C<< $WIDGET{<id>} >> object:
402    
403     # return whatever is in $WIDGET{5}:
404     JSON::XS
405     ->new
406     ->filter_json_single_key_object (sub {
407     exists $_[0]{__widget__}
408     ? $WIDGET{ $_[0]{__widget__} }
409     : ()
410     })
411     ->decode ('{"__widget__": 5')
412    
413     # this can be used with a TO_JSON method in some "widget" class
414     # for serialisation to json:
415     sub WidgetBase::TO_JSON {
416     my ($self) = @_;
417    
418     unless ($self->{id}) {
419     $self->{id} = ..get..some..id..;
420     $WIDGET{$self->{id}} = $self;
421     }
422    
423     { __widget__ => $self->{id} }
424     }
425    
426 root 1.7 =item $json = $json->shrink ([$enable])
427    
428     Perl usually over-allocates memory a bit when allocating space for
429 root 1.24 strings. This flag optionally resizes strings generated by either
430 root 1.7 C<encode> or C<decode> to their minimum size possible. This can save
431 root 1.16 memory when your JSON texts are either very very long or you have many
432 root 1.8 short strings. It will also try to downgrade any strings to octet-form
433     if possible: perl stores strings internally either in an encoding called
434     UTF-X or in octet-form. The latter cannot store everything but uses less
435 root 1.24 space in general (and some buggy Perl or C code might even rely on that
436     internal representation being used).
437 root 1.7
438 root 1.24 The actual definition of what shrink does might change in future versions,
439     but it will always try to save space at the expense of time.
440    
441     If C<$enable> is true (or missing), the string returned by C<encode> will
442     be shrunk-to-fit, while all strings generated by C<decode> will also be
443     shrunk-to-fit.
444 root 1.7
445     If C<$enable> is false, then the normal perl allocation algorithms are used.
446     If you work with your data, then this is likely to be faster.
447    
448     In the future, this setting might control other things, such as converting
449     strings that look like integers or floats into integers or floats
450     internally (there is no difference on the Perl level), saving space.
451    
452 root 1.23 =item $json = $json->max_depth ([$maximum_nesting_depth])
453    
454 root 1.28 Sets the maximum nesting level (default C<512>) accepted while encoding
455 root 1.23 or decoding. If the JSON text or Perl data structure has an equal or
456     higher nesting level then this limit, then the encoder and decoder will
457     stop and croak at that point.
458    
459     Nesting level is defined by number of hash- or arrayrefs that the encoder
460     needs to traverse to reach a given point or the number of C<{> or C<[>
461     characters without their matching closing parenthesis crossed to reach a
462     given character in a string.
463    
464     Setting the maximum depth to one disallows any nesting, so that ensures
465     that the object is only a single hash/object or array.
466    
467 root 1.47 The argument to C<max_depth> will be rounded up to the next highest power
468     of two. If no argument is given, the highest possible setting will be
469     used, which is rarely useful.
470    
471     See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
472    
473     =item $json = $json->max_size ([$maximum_string_size])
474    
475     Set the maximum length a JSON text may have (in bytes) where decoding is
476     being attempted. The default is C<0>, meaning no limit. When C<decode>
477     is called on a string longer then this number of characters it will not
478     attempt to decode the string but throw an exception. This setting has no
479     effect on C<encode> (yet).
480    
481     The argument to C<max_size> will be rounded up to the next B<highest>
482     power of two (so may be more than requested). If no argument is given, the
483     limit check will be deactivated (same as when C<0> is specified).
484 root 1.23
485     See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
486    
487 root 1.16 =item $json_text = $json->encode ($perl_scalar)
488 root 1.2
489     Converts the given Perl data structure (a simple scalar or a reference
490     to a hash or array) to its JSON representation. Simple scalars will be
491     converted into JSON string or number sequences, while references to arrays
492     become JSON arrays and references to hashes become JSON objects. Undefined
493     Perl values (e.g. C<undef>) become JSON C<null> values. Neither C<true>
494     nor C<false> values will be generated.
495 root 1.1
496 root 1.16 =item $perl_scalar = $json->decode ($json_text)
497 root 1.1
498 root 1.16 The opposite of C<encode>: expects a JSON text and tries to parse it,
499 root 1.2 returning the resulting simple scalar or reference. Croaks on error.
500 root 1.1
501 root 1.2 JSON numbers and strings become simple Perl scalars. JSON arrays become
502     Perl arrayrefs and JSON objects become Perl hashrefs. C<true> becomes
503     C<1>, C<false> becomes C<0> and C<null> becomes C<undef>.
504 root 1.1
505 root 1.34 =item ($perl_scalar, $characters) = $json->decode_prefix ($json_text)
506    
507     This works like the C<decode> method, but instead of raising an exception
508     when there is trailing garbage after the first JSON object, it will
509     silently stop parsing there and return the number of characters consumed
510     so far.
511    
512     This is useful if your JSON texts are not delimited by an outer protocol
513     (which is not the brightest thing to do in the first place) and you need
514     to know where the JSON text ends.
515    
516     JSON::XS->new->decode_prefix ("[1] the tail")
517     => ([], 3)
518    
519 root 1.1 =back
520    
521 root 1.23
522 root 1.10 =head1 MAPPING
523    
524     This section describes how JSON::XS maps Perl values to JSON values and
525     vice versa. These mappings are designed to "do the right thing" in most
526     circumstances automatically, preserving round-tripping characteristics
527     (what you put in comes out as something equivalent).
528    
529     For the more enlightened: note that in the following descriptions,
530     lowercase I<perl> refers to the Perl interpreter, while uppcercase I<Perl>
531     refers to the abstract Perl language itself.
532    
533 root 1.39
534 root 1.10 =head2 JSON -> PERL
535    
536     =over 4
537    
538     =item object
539    
540     A JSON object becomes a reference to a hash in Perl. No ordering of object
541 root 1.14 keys is preserved (JSON does not preserver object key ordering itself).
542 root 1.10
543     =item array
544    
545     A JSON array becomes a reference to an array in Perl.
546    
547     =item string
548    
549     A JSON string becomes a string scalar in Perl - Unicode codepoints in JSON
550     are represented by the same codepoints in the Perl string, so no manual
551     decoding is necessary.
552    
553     =item number
554    
555     A JSON number becomes either an integer or numeric (floating point)
556     scalar in perl, depending on its range and any fractional parts. On the
557     Perl level, there is no difference between those as Perl handles all the
558     conversion details, but an integer may take slightly less memory and might
559     represent more values exactly than (floating point) numbers.
560    
561     =item true, false
562    
563 root 1.43 These JSON atoms become C<JSON::XS::true> and C<JSON::XS::false>,
564     respectively. They are overloaded to act almost exactly like the numbers
565     C<1> and C<0>. You can check wether a scalar is a JSON boolean by using
566     the C<JSON::XS::is_bool> function.
567 root 1.10
568     =item null
569    
570     A JSON null atom becomes C<undef> in Perl.
571    
572     =back
573    
574 root 1.39
575 root 1.10 =head2 PERL -> JSON
576    
577     The mapping from Perl to JSON is slightly more difficult, as Perl is a
578     truly typeless language, so we can only guess which JSON type is meant by
579     a Perl value.
580    
581     =over 4
582    
583     =item hash references
584    
585     Perl hash references become JSON objects. As there is no inherent ordering
586 root 1.25 in hash keys (or JSON objects), they will usually be encoded in a
587     pseudo-random order that can change between runs of the same program but
588     stays generally the same within a single run of a program. JSON::XS can
589     optionally sort the hash keys (determined by the I<canonical> flag), so
590     the same datastructure will serialise to the same JSON text (given same
591     settings and version of JSON::XS), but this incurs a runtime overhead
592     and is only rarely useful, e.g. when you want to compare some JSON text
593     against another for equality.
594 root 1.10
595     =item array references
596    
597     Perl array references become JSON arrays.
598    
599 root 1.25 =item other references
600    
601     Other unblessed references are generally not allowed and will cause an
602     exception to be thrown, except for references to the integers C<0> and
603     C<1>, which get turned into C<false> and C<true> atoms in JSON. You can
604     also use C<JSON::XS::false> and C<JSON::XS::true> to improve readability.
605    
606     to_json [\0,JSON::XS::true] # yields [false,true]
607    
608 root 1.43 =item JSON::XS::true, JSON::XS::false
609    
610     These special values become JSON true and JSON false values,
611     respectively. You cna alos use C<\1> and C<\0> directly if you want.
612    
613 root 1.10 =item blessed objects
614    
615     Blessed objects are not allowed. JSON::XS currently tries to encode their
616     underlying representation (hash- or arrayref), but this behaviour might
617     change in future versions.
618    
619     =item simple scalars
620    
621     Simple Perl scalars (any scalar that is not a reference) are the most
622     difficult objects to encode: JSON::XS will encode undefined scalars as
623     JSON null value, scalars that have last been used in a string context
624     before encoding as JSON strings and anything else as number value:
625    
626     # dump as number
627     to_json [2] # yields [2]
628     to_json [-3.0e17] # yields [-3e+17]
629     my $value = 5; to_json [$value] # yields [5]
630    
631     # used as string, so dump as string
632     print $value;
633     to_json [$value] # yields ["5"]
634    
635     # undef becomes null
636     to_json [undef] # yields [null]
637    
638     You can force the type to be a string by stringifying it:
639    
640     my $x = 3.1; # some variable containing a number
641     "$x"; # stringified
642     $x .= ""; # another, more awkward way to stringify
643     print $x; # perl does it for you, too, quite often
644    
645     You can force the type to be a number by numifying it:
646    
647     my $x = "3"; # some variable containing a string
648     $x += 0; # numify it, ensuring it will be dumped as a number
649     $x *= 1; # same thing, the choise is yours.
650    
651     You can not currently output JSON booleans or force the type in other,
652     less obscure, ways. Tell me if you need this capability.
653    
654     =back
655    
656 root 1.23
657 root 1.3 =head1 COMPARISON
658    
659     As already mentioned, this module was created because none of the existing
660     JSON modules could be made to work correctly. First I will describe the
661     problems (or pleasures) I encountered with various existing JSON modules,
662 root 1.4 followed by some benchmark values. JSON::XS was designed not to suffer
663     from any of these problems or limitations.
664 root 1.3
665     =over 4
666    
667 root 1.5 =item JSON 1.07
668 root 1.3
669     Slow (but very portable, as it is written in pure Perl).
670    
671     Undocumented/buggy Unicode handling (how JSON handles unicode values is
672     undocumented. One can get far by feeding it unicode strings and doing
673     en-/decoding oneself, but unicode escapes are not working properly).
674    
675     No roundtripping (strings get clobbered if they look like numbers, e.g.
676     the string C<2.0> will encode to C<2.0> instead of C<"2.0">, and that will
677     decode into the number 2.
678    
679 root 1.5 =item JSON::PC 0.01
680 root 1.3
681     Very fast.
682    
683     Undocumented/buggy Unicode handling.
684    
685     No roundtripping.
686    
687 root 1.4 Has problems handling many Perl values (e.g. regex results and other magic
688     values will make it croak).
689 root 1.3
690     Does not even generate valid JSON (C<{1,2}> gets converted to C<{1:2}>
691 root 1.16 which is not a valid JSON text.
692 root 1.3
693     Unmaintained (maintainer unresponsive for many months, bugs are not
694     getting fixed).
695    
696 root 1.5 =item JSON::Syck 0.21
697 root 1.3
698     Very buggy (often crashes).
699    
700 root 1.4 Very inflexible (no human-readable format supported, format pretty much
701     undocumented. I need at least a format for easy reading by humans and a
702     single-line compact format for use in a protocol, and preferably a way to
703 root 1.16 generate ASCII-only JSON texts).
704 root 1.3
705     Completely broken (and confusingly documented) Unicode handling (unicode
706     escapes are not working properly, you need to set ImplicitUnicode to
707     I<different> values on en- and decoding to get symmetric behaviour).
708    
709     No roundtripping (simple cases work, but this depends on wether the scalar
710     value was used in a numeric context or not).
711    
712     Dumping hashes may skip hash values depending on iterator state.
713    
714     Unmaintained (maintainer unresponsive for many months, bugs are not
715     getting fixed).
716    
717     Does not check input for validity (i.e. will accept non-JSON input and
718     return "something" instead of raising an exception. This is a security
719     issue: imagine two banks transfering money between each other using
720     JSON. One bank might parse a given non-JSON request and deduct money,
721     while the other might reject the transaction with a syntax error. While a
722     good protocol will at least recover, that is extra unnecessary work and
723     the transaction will still not succeed).
724    
725 root 1.5 =item JSON::DWIW 0.04
726 root 1.3
727     Very fast. Very natural. Very nice.
728    
729     Undocumented unicode handling (but the best of the pack. Unicode escapes
730     still don't get parsed properly).
731    
732     Very inflexible.
733    
734     No roundtripping.
735    
736 root 1.16 Does not generate valid JSON texts (key strings are often unquoted, empty keys
737 root 1.4 result in nothing being output)
738    
739 root 1.3 Does not check input for validity.
740    
741     =back
742    
743 root 1.39
744     =head2 JSON and YAML
745    
746     You often hear that JSON is a subset (or a close subset) of YAML. This is,
747     however, a mass hysteria and very far from the truth. In general, there is
748     no way to configure JSON::XS to output a data structure as valid YAML.
749    
750 root 1.41 If you really must use JSON::XS to generate YAML, you should use this
751 root 1.39 algorithm (subject to change in future versions):
752    
753     my $to_yaml = JSON::XS->new->utf8->space_after (1);
754     my $yaml = $to_yaml->encode ($ref) . "\n";
755    
756     This will usually generate JSON texts that also parse as valid
757 root 1.41 YAML. Please note that YAML has hardcoded limits on (simple) object key
758     lengths that JSON doesn't have, so you should make sure that your hash
759     keys are noticably shorter than the 1024 characters YAML allows.
760 root 1.39
761     There might be other incompatibilities that I am not aware of. In general
762     you should not try to generate YAML with a JSON generator or vice versa,
763 root 1.41 or try to parse JSON with a YAML parser or vice versa: chances are high
764     that you will run into severe interoperability problems.
765 root 1.39
766    
767 root 1.3 =head2 SPEED
768    
769 root 1.4 It seems that JSON::XS is surprisingly fast, as shown in the following
770     tables. They have been generated with the help of the C<eg/bench> program
771     in the JSON::XS distribution, to make it easy to compare on your own
772     system.
773    
774 root 1.37 First comes a comparison between various modules using a very short
775     single-line JSON string:
776 root 1.18
777 root 1.37 {"method": "handleMessage", "params": ["user1", "we were just talking"], \
778 root 1.38 "id": null, "array":[1,11,234,-5,1e5,1e7, true, false]}
779 root 1.18
780 root 1.39 It shows the number of encodes/decodes per second (JSON::XS uses
781     the functional interface, while JSON::XS/2 uses the OO interface
782     with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables
783     shrink). Higher is better:
784 root 1.4
785 root 1.48 Storable | 15779.925 | 14169.946 |
786     -----------+------------+------------+
787 root 1.4 module | encode | decode |
788     -----------|------------|------------|
789 root 1.48 JSON | 4990.842 | 4088.813 |
790     JSON::DWIW | 51653.990 | 71575.154 |
791     JSON::PC | 65948.176 | 74631.744 |
792     JSON::PP | 8931.652 | 3817.168 |
793     JSON::Syck | 24877.248 | 27776.848 |
794     JSON::XS | 388361.481 | 227951.304 |
795     JSON::XS/2 | 227951.304 | 218453.333 |
796     JSON::XS/3 | 338250.323 | 218453.333 |
797     Storable | 16500.016 | 135300.129 |
798 root 1.4 -----------+------------+------------+
799    
800 root 1.37 That is, JSON::XS is about five times faster than JSON::DWIW on encoding,
801 root 1.38 about three times faster on decoding, and over fourty times faster
802 root 1.37 than JSON, even with pretty-printing and key sorting. It also compares
803     favourably to Storable for small amounts of data.
804 root 1.4
805 root 1.13 Using a longer test string (roughly 18KB, generated from Yahoo! Locals
806 root 1.4 search API (http://nanoref.com/yahooapis/mgPdGg):
807    
808     module | encode | decode |
809     -----------|------------|------------|
810 root 1.48 JSON | 55.260 | 34.971 |
811     JSON::DWIW | 825.228 | 1082.513 |
812     JSON::PC | 3571.444 | 2394.829 |
813     JSON::PP | 210.987 | 32.574 |
814     JSON::Syck | 552.551 | 787.544 |
815     JSON::XS | 5780.463 | 4854.519 |
816     JSON::XS/2 | 3869.998 | 4798.975 |
817     JSON::XS/3 | 5862.880 | 4798.975 |
818     Storable | 4445.002 | 5235.027 |
819 root 1.4 -----------+------------+------------+
820    
821 root 1.40 Again, JSON::XS leads by far (except for Storable which non-surprisingly
822     decodes faster).
823 root 1.4
824 root 1.18 On large strings containing lots of high unicode characters, some modules
825     (such as JSON::PC) seem to decode faster than JSON::XS, but the result
826     will be broken due to missing (or wrong) unicode handling. Others refuse
827     to decode or encode properly, so it was impossible to prepare a fair
828     comparison table for that case.
829 root 1.13
830 root 1.11
831 root 1.23 =head1 SECURITY CONSIDERATIONS
832    
833     When you are using JSON in a protocol, talking to untrusted potentially
834     hostile creatures requires relatively few measures.
835    
836     First of all, your JSON decoder should be secure, that is, should not have
837     any buffer overflows. Obviously, this module should ensure that and I am
838     trying hard on making that true, but you never know.
839    
840     Second, you need to avoid resource-starving attacks. That means you should
841     limit the size of JSON texts you accept, or make sure then when your
842     resources run out, thats just fine (e.g. by using a separate process that
843     can crash safely). The size of a JSON text in octets or characters is
844     usually a good indication of the size of the resources required to decode
845 root 1.47 it into a Perl structure. While JSON::XS can check the size of the JSON
846     text, it might be too late when you already have it in memory, so you
847     might want to check the size before you accept the string.
848 root 1.23
849     Third, JSON::XS recurses using the C stack when decoding objects and
850     arrays. The C stack is a limited resource: for instance, on my amd64
851 root 1.28 machine with 8MB of stack size I can decode around 180k nested arrays but
852     only 14k nested JSON objects (due to perl itself recursing deeply on croak
853     to free the temporary). If that is exceeded, the program crashes. to be
854     conservative, the default nesting limit is set to 512. If your process
855     has a smaller stack, you should adjust this setting accordingly with the
856     C<max_depth> method.
857 root 1.23
858     And last but least, something else could bomb you that I forgot to think
859 root 1.30 of. In that case, you get to keep the pieces. I am always open for hints,
860 root 1.23 though...
861    
862 root 1.42 If you are using JSON::XS to return packets to consumption
863     by javascript scripts in a browser you should have a look at
864     L<http://jpsykes.com/47/practical-csrf-and-json-security> to see wether
865     you are vulnerable to some common attack vectors (which really are browser
866     design bugs, but it is still you who will have to deal with it, as major
867     browser developers care only for features, not about doing security
868     right).
869    
870 root 1.11
871 root 1.4 =head1 BUGS
872    
873     While the goal of this module is to be correct, that unfortunately does
874     not mean its bug-free, only that I think its design is bug-free. It is
875 root 1.23 still relatively early in its development. If you keep reporting bugs they
876     will be fixed swiftly, though.
877 root 1.4
878 root 1.2 =cut
879    
880 root 1.50 our $true = do { bless \(my $dummy = "1"), "JSON::XS::Boolean" };
881     our $false = do { bless \(my $dummy = "0"), "JSON::XS::Boolean" };
882 root 1.43
883     sub true() { $true }
884     sub false() { $false }
885    
886     sub is_bool($) {
887     UNIVERSAL::isa $_[0], "JSON::XS::Boolean"
888 root 1.44 # or UNIVERSAL::isa $_[0], "JSON::Literal"
889 root 1.43 }
890    
891     XSLoader::load "JSON::XS", $VERSION;
892    
893     package JSON::XS::Boolean;
894    
895     use overload
896     "0+" => sub { ${$_[0]} },
897     "++" => sub { $_[0] = ${$_[0]} + 1 },
898     "--" => sub { $_[0] = ${$_[0]} - 1 },
899     fallback => 1;
900 root 1.25
901 root 1.2 1;
902    
903 root 1.1 =head1 AUTHOR
904    
905     Marc Lehmann <schmorp@schmorp.de>
906     http://home.schmorp.de/
907    
908     =cut
909