Filename | /home/hejohns/perl5/lib/perl5/x86_64-linux-gnu-thread-multi/JSON/XS.pm |
Statements | Executed 19 statements in 1.09ms |
Calls | P | F | Exclusive Time |
Inclusive Time |
Subroutine |
---|---|---|---|---|---|
133037 | 2 | 1 | 456ms | 456ms | new (xsub) | JSON::XS::
133036 | 1 | 1 | 445ms | 445ms | encode (xsub) | JSON::XS::
133037 | 2 | 1 | 81.2ms | 81.2ms | DESTROY (xsub) | JSON::XS::
1 | 1 | 1 | 563µs | 694µs | BEGIN@112.2 | DynaLoader::
1 | 1 | 1 | 512µs | 585µs | BEGIN@100 | JSON::XS::
1 | 1 | 1 | 96µs | 107µs | BEGIN@90 | JSON::XS::
1 | 1 | 1 | 38µs | 38µs | decode (xsub) | JSON::XS::
1 | 1 | 1 | 11µs | 11µs | BEGIN@98 | JSON::XS::
1 | 1 | 1 | 7µs | 7µs | BEGIN@1811 | JSON::XS::
1 | 1 | 1 | 5µs | 14µs | BEGIN@97 | JSON::XS::
1 | 1 | 1 | 4µs | 4µs | pretty (xsub) | JSON::XS::
1 | 1 | 1 | 700ns | 700ns | canonical (xsub) | JSON::XS::
1 | 1 | 1 | 300ns | 300ns | __ANON__ (xsub) | JSON::XS::
Line | State ments |
Time on line |
Calls | Time in subs |
Code |
---|---|---|---|---|---|
0 | 1 | 694µs | Profile data that couldn't be associated with a specific line: # spent 694µs making 1 call to DynaLoader::BEGIN@112.2 | ||
1 | 1 | 17µs | =head1 NAME | ||
2 | |||||
3 | JSON::XS - JSON serialising/deserialising, done correctly and fast | ||||
4 | |||||
5 | =encoding utf-8 | ||||
6 | |||||
7 | JSON::XS - 正しくて高速な JSON シリアライザ/デシリアライザ | ||||
8 | (http://fleur.hio.jp/perldoc/mix/lib/JSON/XS.html) | ||||
9 | |||||
10 | =head1 SYNOPSIS | ||||
11 | |||||
12 | use JSON::XS; | ||||
13 | |||||
14 | # exported functions, they croak on error | ||||
15 | # and expect/generate UTF-8 | ||||
16 | |||||
17 | $utf8_encoded_json_text = encode_json $perl_hash_or_arrayref; | ||||
18 | $perl_hash_or_arrayref = decode_json $utf8_encoded_json_text; | ||||
19 | |||||
20 | # OO-interface | ||||
21 | |||||
22 | $coder = JSON::XS->new->ascii->pretty->allow_nonref; | ||||
23 | $pretty_printed_unencoded = $coder->encode ($perl_scalar); | ||||
24 | $perl_scalar = $coder->decode ($unicode_json_text); | ||||
25 | |||||
26 | # Note that JSON version 2.0 and above will automatically use JSON::XS | ||||
27 | # if available, at virtually no speed overhead either, so you should | ||||
28 | # be able to just: | ||||
29 | |||||
30 | use JSON; | ||||
31 | |||||
32 | # and do the same things, except that you have a pure-perl fallback now. | ||||
33 | |||||
34 | =head1 DESCRIPTION | ||||
35 | |||||
36 | This module converts Perl data structures to JSON and vice versa. Its | ||||
37 | primary goal is to be I<correct> and its secondary goal is to be | ||||
38 | I<fast>. To reach the latter goal it was written in C. | ||||
39 | |||||
40 | See MAPPING, below, on how JSON::XS maps perl values to JSON values and | ||||
41 | vice versa. | ||||
42 | |||||
43 | =head2 FEATURES | ||||
44 | |||||
45 | =over | ||||
46 | |||||
47 | =item * correct Unicode handling | ||||
48 | |||||
49 | This module knows how to handle Unicode, documents how and when it does | ||||
50 | so, and even documents what "correct" means. | ||||
51 | |||||
52 | =item * round-trip integrity | ||||
53 | |||||
54 | When you serialise a perl data structure using only data types supported | ||||
55 | by JSON and Perl, the deserialised data structure is identical on the Perl | ||||
56 | level. (e.g. the string "2.0" doesn't suddenly become "2" just because | ||||
57 | it looks like a number). There I<are> minor exceptions to this, read the | ||||
58 | MAPPING section below to learn about those. | ||||
59 | |||||
60 | =item * strict checking of JSON correctness | ||||
61 | |||||
62 | There is no guessing, no generating of illegal JSON texts by default, | ||||
63 | and only JSON is accepted as input by default (the latter is a security | ||||
64 | feature). | ||||
65 | |||||
66 | =item * fast | ||||
67 | |||||
68 | Compared to other JSON modules and other serialisers such as Storable, | ||||
69 | this module usually compares favourably in terms of speed, too. | ||||
70 | |||||
71 | =item * simple to use | ||||
72 | |||||
73 | This module has both a simple functional interface as well as an object | ||||
74 | oriented interface. | ||||
75 | |||||
76 | =item * reasonably versatile output formats | ||||
77 | |||||
78 | You can choose between the most compact guaranteed-single-line format | ||||
79 | possible (nice for simple line-based protocols), a pure-ASCII format | ||||
80 | (for when your transport is not 8-bit clean, still supports the whole | ||||
81 | Unicode range), or a pretty-printed format (for when you want to read that | ||||
82 | stuff). Or you can combine those features in whatever way you like. | ||||
83 | |||||
84 | =back | ||||
85 | |||||
86 | =cut | ||||
87 | |||||
88 | package JSON::XS; | ||||
89 | |||||
90 | 2 | 127µs | 2 | 118µs | # spent 107µs (96+11) within JSON::XS::BEGIN@90 which was called:
# once (96µs+11µs) by JSON::BEGIN@2 at line 90 # spent 107µs making 1 call to JSON::XS::BEGIN@90
# spent 11µs making 1 call to common::sense::import |
91 | |||||
92 | 1 | 200ns | our $VERSION = '4.03'; | ||
93 | 1 | 6µs | our @ISA = qw(Exporter); | ||
94 | |||||
95 | 1 | 400ns | our @EXPORT = qw(encode_json decode_json); | ||
96 | |||||
97 | 2 | 15µs | 2 | 24µs | # spent 14µs (5+9) within JSON::XS::BEGIN@97 which was called:
# once (5µs+9µs) by JSON::BEGIN@2 at line 97 # spent 14µs making 1 call to JSON::XS::BEGIN@97
# spent 9µs making 1 call to Exporter::import |
98 | 2 | 22µs | 2 | 12µs | # spent 11µs (11+300ns) within JSON::XS::BEGIN@98 which was called:
# once (11µs+300ns) by JSON::BEGIN@2 at line 98 # spent 11µs making 1 call to JSON::XS::BEGIN@98
# spent 300ns making 1 call to JSON::XS::__ANON__ |
99 | |||||
100 | 2 | 691µs | 1 | 585µs | # spent 585µs (512+73) within JSON::XS::BEGIN@100 which was called:
# once (512µs+73µs) by JSON::BEGIN@2 at line 100 # spent 585µs making 1 call to JSON::XS::BEGIN@100 |
101 | |||||
102 | =head1 FUNCTIONAL INTERFACE | ||||
103 | |||||
104 | The following convenience methods are provided by this module. They are | ||||
105 | exported by default: | ||||
106 | |||||
107 | =over | ||||
108 | |||||
109 | =item $json_text = encode_json $perl_scalar | ||||
110 | |||||
111 | Converts the given Perl data structure to a UTF-8 encoded, binary string | ||||
112 | # spent 694µs (563+131) within DynaLoader::BEGIN@112.2 which was called:
# once (563µs+131µs) by XSLoader::load at line 0 | ||||
113 | |||||
114 | This function call is functionally identical to: | ||||
115 | |||||
116 | $json_text = JSON::XS->new->utf8->encode ($perl_scalar) | ||||
117 | |||||
118 | Except being faster. | ||||
119 | |||||
120 | =item $perl_scalar = decode_json $json_text | ||||
121 | |||||
122 | The opposite of C<encode_json>: expects a UTF-8 (binary) string and tries | ||||
123 | to parse that as a UTF-8 encoded JSON text, returning the resulting | ||||
124 | reference. Croaks on error. | ||||
125 | |||||
126 | This function call is functionally identical to: | ||||
127 | |||||
128 | $perl_scalar = JSON::XS->new->utf8->decode ($json_text) | ||||
129 | |||||
130 | Except being faster. | ||||
131 | |||||
132 | =back | ||||
133 | |||||
134 | |||||
135 | =head1 A FEW NOTES ON UNICODE AND PERL | ||||
136 | |||||
137 | Since this often leads to confusion, here are a few very clear words on | ||||
138 | how Unicode works in Perl, modulo bugs. | ||||
139 | |||||
140 | =over | ||||
141 | |||||
142 | =item 1. Perl strings can store characters with ordinal values > 255. | ||||
143 | |||||
144 | This enables you to store Unicode characters as single characters in a | ||||
145 | Perl string - very natural. | ||||
146 | |||||
147 | =item 2. Perl does I<not> associate an encoding with your strings. | ||||
148 | |||||
149 | ... until you force it to, e.g. when matching it against a regex, or | ||||
150 | printing the scalar to a file, in which case Perl either interprets your | ||||
151 | string as locale-encoded text, octets/binary, or as Unicode, depending | ||||
152 | on various settings. In no case is an encoding stored together with your | ||||
153 | data, it is I<use> that decides encoding, not any magical meta data. | ||||
154 | |||||
155 | =item 3. The internal utf-8 flag has no meaning with regards to the | ||||
156 | encoding of your string. | ||||
157 | |||||
158 | Just ignore that flag unless you debug a Perl bug, a module written in | ||||
159 | XS or want to dive into the internals of perl. Otherwise it will only | ||||
160 | confuse you, as, despite the name, it says nothing about how your string | ||||
161 | is encoded. You can have Unicode strings with that flag set, with that | ||||
162 | flag clear, and you can have binary data with that flag set and that flag | ||||
163 | clear. Other possibilities exist, too. | ||||
164 | |||||
165 | If you didn't know about that flag, just the better, pretend it doesn't | ||||
166 | exist. | ||||
167 | |||||
168 | =item 4. A "Unicode String" is simply a string where each character can be | ||||
169 | validly interpreted as a Unicode code point. | ||||
170 | |||||
171 | If you have UTF-8 encoded data, it is no longer a Unicode string, but a | ||||
172 | Unicode string encoded in UTF-8, giving you a binary string. | ||||
173 | |||||
174 | =item 5. A string containing "high" (> 255) character values is I<not> a UTF-8 string. | ||||
175 | |||||
176 | It's a fact. Learn to live with it. | ||||
177 | |||||
178 | =back | ||||
179 | |||||
180 | I hope this helps :) | ||||
181 | |||||
182 | |||||
183 | =head1 OBJECT-ORIENTED INTERFACE | ||||
184 | |||||
185 | The object oriented interface lets you configure your own encoding or | ||||
186 | decoding style, within the limits of supported formats. | ||||
187 | |||||
188 | =over | ||||
189 | |||||
190 | =item $json = new JSON::XS | ||||
191 | |||||
192 | Creates a new JSON::XS object that can be used to de/encode JSON | ||||
193 | strings. All boolean flags described below are by default I<disabled> | ||||
194 | (with the exception of C<allow_nonref>, which defaults to I<enabled> since | ||||
195 | version C<4.0>). | ||||
196 | |||||
197 | The mutators for flags all return the JSON object again and thus calls can | ||||
198 | be chained: | ||||
199 | |||||
200 | my $json = JSON::XS->new->utf8->space_after->encode ({a => [1,2]}) | ||||
201 | => {"a": [1, 2]} | ||||
202 | |||||
203 | =item $json = $json->ascii ([$enable]) | ||||
204 | |||||
205 | =item $enabled = $json->get_ascii | ||||
206 | |||||
207 | If C<$enable> is true (or missing), then the C<encode> method will not | ||||
208 | generate characters outside the code range C<0..127> (which is ASCII). Any | ||||
209 | Unicode characters outside that range will be escaped using either a | ||||
210 | single \uXXXX (BMP characters) or a double \uHHHH\uLLLLL escape sequence, | ||||
211 | as per RFC4627. The resulting encoded JSON text can be treated as a native | ||||
212 | Unicode string, an ascii-encoded, latin1-encoded or UTF-8 encoded string, | ||||
213 | or any other superset of ASCII. | ||||
214 | |||||
215 | If C<$enable> is false, then the C<encode> method will not escape Unicode | ||||
216 | characters unless required by the JSON syntax or other flags. This results | ||||
217 | in a faster and more compact format. | ||||
218 | |||||
219 | See also the section I<ENCODING/CODESET FLAG NOTES> later in this | ||||
220 | document. | ||||
221 | |||||
222 | The main use for this flag is to produce JSON texts that can be | ||||
223 | transmitted over a 7-bit channel, as the encoded JSON texts will not | ||||
224 | contain any 8 bit characters. | ||||
225 | |||||
226 | JSON::XS->new->ascii (1)->encode ([chr 0x10401]) | ||||
227 | => ["\ud801\udc01"] | ||||
228 | |||||
229 | =item $json = $json->latin1 ([$enable]) | ||||
230 | |||||
231 | =item $enabled = $json->get_latin1 | ||||
232 | |||||
233 | If C<$enable> is true (or missing), then the C<encode> method will encode | ||||
234 | the resulting JSON text as latin1 (or iso-8859-1), escaping any characters | ||||
235 | outside the code range C<0..255>. The resulting string can be treated as a | ||||
236 | latin1-encoded JSON text or a native Unicode string. The C<decode> method | ||||
237 | will not be affected in any way by this flag, as C<decode> by default | ||||
238 | expects Unicode, which is a strict superset of latin1. | ||||
239 | |||||
240 | If C<$enable> is false, then the C<encode> method will not escape Unicode | ||||
241 | characters unless required by the JSON syntax or other flags. | ||||
242 | |||||
243 | See also the section I<ENCODING/CODESET FLAG NOTES> later in this | ||||
244 | document. | ||||
245 | |||||
246 | The main use for this flag is efficiently encoding binary data as JSON | ||||
247 | text, as most octets will not be escaped, resulting in a smaller encoded | ||||
248 | size. The disadvantage is that the resulting JSON text is encoded | ||||
249 | in latin1 (and must correctly be treated as such when storing and | ||||
250 | transferring), a rare encoding for JSON. It is therefore most useful when | ||||
251 | you want to store data structures known to contain binary data efficiently | ||||
252 | in files or databases, not when talking to other JSON encoders/decoders. | ||||
253 | |||||
254 | JSON::XS->new->latin1->encode (["\x{89}\x{abc}"] | ||||
255 | => ["\x{89}\\u0abc"] # (perl syntax, U+abc escaped, U+89 not) | ||||
256 | |||||
257 | =item $json = $json->utf8 ([$enable]) | ||||
258 | |||||
259 | =item $enabled = $json->get_utf8 | ||||
260 | |||||
261 | If C<$enable> is true (or missing), then the C<encode> method will encode | ||||
262 | the JSON result into UTF-8, as required by many protocols, while the | ||||
263 | C<decode> method expects to be handed a UTF-8-encoded string. Please | ||||
264 | note that UTF-8-encoded strings do not contain any characters outside the | ||||
265 | range C<0..255>, they are thus useful for bytewise/binary I/O. In future | ||||
266 | versions, enabling this option might enable autodetection of the UTF-16 | ||||
267 | and UTF-32 encoding families, as described in RFC4627. | ||||
268 | |||||
269 | If C<$enable> is false, then the C<encode> method will return the JSON | ||||
270 | string as a (non-encoded) Unicode string, while C<decode> expects thus a | ||||
271 | Unicode string. Any decoding or encoding (e.g. to UTF-8 or UTF-16) needs | ||||
272 | to be done yourself, e.g. using the Encode module. | ||||
273 | |||||
274 | See also the section I<ENCODING/CODESET FLAG NOTES> later in this | ||||
275 | document. | ||||
276 | |||||
277 | Example, output UTF-16BE-encoded JSON: | ||||
278 | |||||
279 | use Encode; | ||||
280 | $jsontext = encode "UTF-16BE", JSON::XS->new->encode ($object); | ||||
281 | |||||
282 | Example, decode UTF-32LE-encoded JSON: | ||||
283 | |||||
284 | use Encode; | ||||
285 | $object = JSON::XS->new->decode (decode "UTF-32LE", $jsontext); | ||||
286 | |||||
287 | =item $json = $json->pretty ([$enable]) | ||||
288 | |||||
289 | This enables (or disables) all of the C<indent>, C<space_before> and | ||||
290 | C<space_after> (and in the future possibly more) flags in one call to | ||||
291 | generate the most readable (or most compact) form possible. | ||||
292 | |||||
293 | Example, pretty-print some simple structure: | ||||
294 | |||||
295 | my $json = JSON::XS->new->pretty(1)->encode ({a => [1,2]}) | ||||
296 | => | ||||
297 | { | ||||
298 | "a" : [ | ||||
299 | 1, | ||||
300 | 2 | ||||
301 | ] | ||||
302 | } | ||||
303 | |||||
304 | =item $json = $json->indent ([$enable]) | ||||
305 | |||||
306 | =item $enabled = $json->get_indent | ||||
307 | |||||
308 | If C<$enable> is true (or missing), then the C<encode> method will use a multiline | ||||
309 | format as output, putting every array member or object/hash key-value pair | ||||
310 | into its own line, indenting them properly. | ||||
311 | |||||
312 | If C<$enable> is false, no newlines or indenting will be produced, and the | ||||
313 | resulting JSON text is guaranteed not to contain any C<newlines>. | ||||
314 | |||||
315 | This setting has no effect when decoding JSON texts. | ||||
316 | |||||
317 | =item $json = $json->space_before ([$enable]) | ||||
318 | |||||
319 | =item $enabled = $json->get_space_before | ||||
320 | |||||
321 | If C<$enable> is true (or missing), then the C<encode> method will add an extra | ||||
322 | optional space before the C<:> separating keys from values in JSON objects. | ||||
323 | |||||
324 | If C<$enable> is false, then the C<encode> method will not add any extra | ||||
325 | space at those places. | ||||
326 | |||||
327 | This setting has no effect when decoding JSON texts. You will also | ||||
328 | most likely combine this setting with C<space_after>. | ||||
329 | |||||
330 | Example, space_before enabled, space_after and indent disabled: | ||||
331 | |||||
332 | {"key" :"value"} | ||||
333 | |||||
334 | =item $json = $json->space_after ([$enable]) | ||||
335 | |||||
336 | =item $enabled = $json->get_space_after | ||||
337 | |||||
338 | If C<$enable> is true (or missing), then the C<encode> method will add an extra | ||||
339 | optional space after the C<:> separating keys from values in JSON objects | ||||
340 | and extra whitespace after the C<,> separating key-value pairs and array | ||||
341 | members. | ||||
342 | |||||
343 | If C<$enable> is false, then the C<encode> method will not add any extra | ||||
344 | space at those places. | ||||
345 | |||||
346 | This setting has no effect when decoding JSON texts. | ||||
347 | |||||
348 | Example, space_before and indent disabled, space_after enabled: | ||||
349 | |||||
350 | {"key": "value"} | ||||
351 | |||||
352 | =item $json = $json->relaxed ([$enable]) | ||||
353 | |||||
354 | =item $enabled = $json->get_relaxed | ||||
355 | |||||
356 | If C<$enable> is true (or missing), then C<decode> will accept some | ||||
357 | extensions to normal JSON syntax (see below). C<encode> will not be | ||||
358 | affected in any way. I<Be aware that this option makes you accept invalid | ||||
359 | JSON texts as if they were valid!>. I suggest only to use this option to | ||||
360 | parse application-specific files written by humans (configuration files, | ||||
361 | resource files etc.) | ||||
362 | |||||
363 | If C<$enable> is false (the default), then C<decode> will only accept | ||||
364 | valid JSON texts. | ||||
365 | |||||
366 | Currently accepted extensions are: | ||||
367 | |||||
368 | =over | ||||
369 | |||||
370 | =item * list items can have an end-comma | ||||
371 | |||||
372 | JSON I<separates> array elements and key-value pairs with commas. This | ||||
373 | can be annoying if you write JSON texts manually and want to be able to | ||||
374 | quickly append elements, so this extension accepts comma at the end of | ||||
375 | such items not just between them: | ||||
376 | |||||
377 | [ | ||||
378 | 1, | ||||
379 | 2, <- this comma not normally allowed | ||||
380 | ] | ||||
381 | { | ||||
382 | "k1": "v1", | ||||
383 | "k2": "v2", <- this comma not normally allowed | ||||
384 | } | ||||
385 | |||||
386 | =item * shell-style '#'-comments | ||||
387 | |||||
388 | Whenever JSON allows whitespace, shell-style comments are additionally | ||||
389 | allowed. They are terminated by the first carriage-return or line-feed | ||||
390 | character, after which more white-space and comments are allowed. | ||||
391 | |||||
392 | [ | ||||
393 | 1, # this comment not allowed in JSON | ||||
394 | # neither this one... | ||||
395 | ] | ||||
396 | |||||
397 | =item * literal ASCII TAB characters in strings | ||||
398 | |||||
399 | Literal ASCII TAB characters are now allowed in strings (and treated as | ||||
400 | C<\t>). | ||||
401 | |||||
402 | [ | ||||
403 | "Hello\tWorld", | ||||
404 | "Hello<TAB>World", # literal <TAB> would not normally be allowed | ||||
405 | ] | ||||
406 | |||||
407 | =back | ||||
408 | |||||
409 | =item $json = $json->canonical ([$enable]) | ||||
410 | |||||
411 | =item $enabled = $json->get_canonical | ||||
412 | |||||
413 | If C<$enable> is true (or missing), then the C<encode> method will output JSON objects | ||||
414 | by sorting their keys. This is adding a comparatively high overhead. | ||||
415 | |||||
416 | If C<$enable> is false, then the C<encode> method will output key-value | ||||
417 | pairs in the order Perl stores them (which will likely change between runs | ||||
418 | of the same script, and can change even within the same run from 5.18 | ||||
419 | onwards). | ||||
420 | |||||
421 | This option is useful if you want the same data structure to be encoded as | ||||
422 | the same JSON text (given the same overall settings). If it is disabled, | ||||
423 | the same hash might be encoded differently even if contains the same data, | ||||
424 | as key-value pairs have no inherent ordering in Perl. | ||||
425 | |||||
426 | This setting has no effect when decoding JSON texts. | ||||
427 | |||||
428 | This setting has currently no effect on tied hashes. | ||||
429 | |||||
430 | =item $json = $json->allow_nonref ([$enable]) | ||||
431 | |||||
432 | =item $enabled = $json->get_allow_nonref | ||||
433 | |||||
434 | Unlike other boolean options, this opotion is enabled by default beginning | ||||
435 | with version C<4.0>. See L<SECURITY CONSIDERATIONS> for the gory details. | ||||
436 | |||||
437 | If C<$enable> is true (or missing), then the C<encode> method can convert a | ||||
438 | non-reference into its corresponding string, number or null JSON value, | ||||
439 | which is an extension to RFC4627. Likewise, C<decode> will accept those JSON | ||||
440 | values instead of croaking. | ||||
441 | |||||
442 | If C<$enable> is false, then the C<encode> method will croak if it isn't | ||||
443 | passed an arrayref or hashref, as JSON texts must either be an object | ||||
444 | or array. Likewise, C<decode> will croak if given something that is not a | ||||
445 | JSON object or array. | ||||
446 | |||||
447 | Example, encode a Perl scalar as JSON value without enabled C<allow_nonref>, | ||||
448 | resulting in an error: | ||||
449 | |||||
450 | JSON::XS->new->allow_nonref (0)->encode ("Hello, World!") | ||||
451 | => hash- or arrayref expected... | ||||
452 | |||||
453 | =item $json = $json->allow_unknown ([$enable]) | ||||
454 | |||||
455 | =item $enabled = $json->get_allow_unknown | ||||
456 | |||||
457 | If C<$enable> is true (or missing), then C<encode> will I<not> throw an | ||||
458 | exception when it encounters values it cannot represent in JSON (for | ||||
459 | example, filehandles) but instead will encode a JSON C<null> value. Note | ||||
460 | that blessed objects are not included here and are handled separately by | ||||
461 | c<allow_nonref>. | ||||
462 | |||||
463 | If C<$enable> is false (the default), then C<encode> will throw an | ||||
464 | exception when it encounters anything it cannot encode as JSON. | ||||
465 | |||||
466 | This option does not affect C<decode> in any way, and it is recommended to | ||||
467 | leave it off unless you know your communications partner. | ||||
468 | |||||
469 | =item $json = $json->allow_blessed ([$enable]) | ||||
470 | |||||
471 | =item $enabled = $json->get_allow_blessed | ||||
472 | |||||
473 | See L<OBJECT SERIALISATION> for details. | ||||
474 | |||||
475 | If C<$enable> is true (or missing), then the C<encode> method will not | ||||
476 | barf when it encounters a blessed reference that it cannot convert | ||||
477 | otherwise. Instead, a JSON C<null> value is encoded instead of the object. | ||||
478 | |||||
479 | If C<$enable> is false (the default), then C<encode> will throw an | ||||
480 | exception when it encounters a blessed object that it cannot convert | ||||
481 | otherwise. | ||||
482 | |||||
483 | This setting has no effect on C<decode>. | ||||
484 | |||||
485 | =item $json = $json->convert_blessed ([$enable]) | ||||
486 | |||||
487 | =item $enabled = $json->get_convert_blessed | ||||
488 | |||||
489 | See L<OBJECT SERIALISATION> for details. | ||||
490 | |||||
491 | If C<$enable> is true (or missing), then C<encode>, upon encountering a | ||||
492 | blessed object, will check for the availability of the C<TO_JSON> method | ||||
493 | on the object's class. If found, it will be called in scalar context and | ||||
494 | the resulting scalar will be encoded instead of the object. | ||||
495 | |||||
496 | The C<TO_JSON> method may safely call die if it wants. If C<TO_JSON> | ||||
497 | returns other blessed objects, those will be handled in the same | ||||
498 | way. C<TO_JSON> must take care of not causing an endless recursion cycle | ||||
499 | (== crash) in this case. The name of C<TO_JSON> was chosen because other | ||||
500 | methods called by the Perl core (== not by the user of the object) are | ||||
501 | usually in upper case letters and to avoid collisions with any C<to_json> | ||||
502 | function or method. | ||||
503 | |||||
504 | If C<$enable> is false (the default), then C<encode> will not consider | ||||
505 | this type of conversion. | ||||
506 | |||||
507 | This setting has no effect on C<decode>. | ||||
508 | |||||
509 | =item $json = $json->allow_tags ([$enable]) | ||||
510 | |||||
511 | =item $enabled = $json->get_allow_tags | ||||
512 | |||||
513 | See L<OBJECT SERIALISATION> for details. | ||||
514 | |||||
515 | If C<$enable> is true (or missing), then C<encode>, upon encountering a | ||||
516 | blessed object, will check for the availability of the C<FREEZE> method on | ||||
517 | the object's class. If found, it will be used to serialise the object into | ||||
518 | a nonstandard tagged JSON value (that JSON decoders cannot decode). | ||||
519 | |||||
520 | It also causes C<decode> to parse such tagged JSON values and deserialise | ||||
521 | them via a call to the C<THAW> method. | ||||
522 | |||||
523 | If C<$enable> is false (the default), then C<encode> will not consider | ||||
524 | this type of conversion, and tagged JSON values will cause a parse error | ||||
525 | in C<decode>, as if tags were not part of the grammar. | ||||
526 | |||||
527 | =item $json->boolean_values ([$false, $true]) | ||||
528 | |||||
529 | =item ($false, $true) = $json->get_boolean_values | ||||
530 | |||||
531 | By default, JSON booleans will be decoded as overloaded | ||||
532 | C<$Types::Serialiser::false> and C<$Types::Serialiser::true> objects. | ||||
533 | |||||
534 | With this method you can specify your own boolean values for decoding - | ||||
535 | on decode, JSON C<false> will be decoded as a copy of C<$false>, and JSON | ||||
536 | C<true> will be decoded as C<$true> ("copy" here is the same thing as | ||||
537 | assigning a value to another variable, i.e. C<$copy = $false>). | ||||
538 | |||||
539 | Calling this method without any arguments will reset the booleans | ||||
540 | to their default values. | ||||
541 | |||||
542 | C<get_boolean_values> will return both C<$false> and C<$true> values, or | ||||
543 | the empty list when they are set to the default. | ||||
544 | |||||
545 | =item $json = $json->filter_json_object ([$coderef->($hashref)]) | ||||
546 | |||||
547 | When C<$coderef> is specified, it will be called from C<decode> each | ||||
548 | time it decodes a JSON object. The only argument is a reference to | ||||
549 | the newly-created hash. If the code reference returns a single scalar | ||||
550 | (which need not be a reference), this value (or rather a copy of it) is | ||||
551 | inserted into the deserialised data structure. If it returns an empty | ||||
552 | list (NOTE: I<not> C<undef>, which is a valid scalar), the original | ||||
553 | deserialised hash will be inserted. This setting can slow down decoding | ||||
554 | considerably. | ||||
555 | |||||
556 | When C<$coderef> is omitted or undefined, any existing callback will | ||||
557 | be removed and C<decode> will not change the deserialised hash in any | ||||
558 | way. | ||||
559 | |||||
560 | Example, convert all JSON objects into the integer 5: | ||||
561 | |||||
562 | my $js = JSON::XS->new->filter_json_object (sub { 5 }); | ||||
563 | # returns [5] | ||||
564 | $js->decode ('[{}]') | ||||
565 | # throw an exception because allow_nonref is not enabled | ||||
566 | # so a lone 5 is not allowed. | ||||
567 | $js->decode ('{"a":1, "b":2}'); | ||||
568 | |||||
569 | =item $json = $json->filter_json_single_key_object ($key [=> $coderef->($value)]) | ||||
570 | |||||
571 | Works remotely similar to C<filter_json_object>, but is only called for | ||||
572 | JSON objects having a single key named C<$key>. | ||||
573 | |||||
574 | This C<$coderef> is called before the one specified via | ||||
575 | C<filter_json_object>, if any. It gets passed the single value in the JSON | ||||
576 | object. If it returns a single value, it will be inserted into the data | ||||
577 | structure. If it returns nothing (not even C<undef> but the empty list), | ||||
578 | the callback from C<filter_json_object> will be called next, as if no | ||||
579 | single-key callback were specified. | ||||
580 | |||||
581 | If C<$coderef> is omitted or undefined, the corresponding callback will be | ||||
582 | disabled. There can only ever be one callback for a given key. | ||||
583 | |||||
584 | As this callback gets called less often then the C<filter_json_object> | ||||
585 | one, decoding speed will not usually suffer as much. Therefore, single-key | ||||
586 | objects make excellent targets to serialise Perl objects into, especially | ||||
587 | as single-key JSON objects are as close to the type-tagged value concept | ||||
588 | as JSON gets (it's basically an ID/VALUE tuple). Of course, JSON does not | ||||
589 | support this in any way, so you need to make sure your data never looks | ||||
590 | like a serialised Perl hash. | ||||
591 | |||||
592 | Typical names for the single object key are C<__class_whatever__>, or | ||||
593 | C<$__dollars_are_rarely_used__$> or C<}ugly_brace_placement>, or even | ||||
594 | things like C<__class_md5sum(classname)__>, to reduce the risk of clashing | ||||
595 | with real hashes. | ||||
596 | |||||
597 | Example, decode JSON objects of the form C<< { "__widget__" => <id> } >> | ||||
598 | into the corresponding C<< $WIDGET{<id>} >> object: | ||||
599 | |||||
600 | # return whatever is in $WIDGET{5}: | ||||
601 | JSON::XS | ||||
602 | ->new | ||||
603 | ->filter_json_single_key_object (__widget__ => sub { | ||||
604 | $WIDGET{ $_[0] } | ||||
605 | }) | ||||
606 | ->decode ('{"__widget__": 5') | ||||
607 | |||||
608 | # this can be used with a TO_JSON method in some "widget" class | ||||
609 | # for serialisation to json: | ||||
610 | sub WidgetBase::TO_JSON { | ||||
611 | my ($self) = @_; | ||||
612 | |||||
613 | unless ($self->{id}) { | ||||
614 | $self->{id} = ..get..some..id..; | ||||
615 | $WIDGET{$self->{id}} = $self; | ||||
616 | } | ||||
617 | |||||
618 | { __widget__ => $self->{id} } | ||||
619 | } | ||||
620 | |||||
621 | =item $json = $json->shrink ([$enable]) | ||||
622 | |||||
623 | =item $enabled = $json->get_shrink | ||||
624 | |||||
625 | Perl usually over-allocates memory a bit when allocating space for | ||||
626 | strings. This flag optionally resizes strings generated by either | ||||
627 | C<encode> or C<decode> to their minimum size possible. This can save | ||||
628 | memory when your JSON texts are either very very long or you have many | ||||
629 | short strings. It will also try to downgrade any strings to octet-form | ||||
630 | if possible: perl stores strings internally either in an encoding called | ||||
631 | UTF-X or in octet-form. The latter cannot store everything but uses less | ||||
632 | space in general (and some buggy Perl or C code might even rely on that | ||||
633 | internal representation being used). | ||||
634 | |||||
635 | The actual definition of what shrink does might change in future versions, | ||||
636 | but it will always try to save space at the expense of time. | ||||
637 | |||||
638 | If C<$enable> is true (or missing), the string returned by C<encode> will | ||||
639 | be shrunk-to-fit, while all strings generated by C<decode> will also be | ||||
640 | shrunk-to-fit. | ||||
641 | |||||
642 | If C<$enable> is false, then the normal perl allocation algorithms are used. | ||||
643 | If you work with your data, then this is likely to be faster. | ||||
644 | |||||
645 | In the future, this setting might control other things, such as converting | ||||
646 | strings that look like integers or floats into integers or floats | ||||
647 | internally (there is no difference on the Perl level), saving space. | ||||
648 | |||||
649 | =item $json = $json->max_depth ([$maximum_nesting_depth]) | ||||
650 | |||||
651 | =item $max_depth = $json->get_max_depth | ||||
652 | |||||
653 | Sets the maximum nesting level (default C<512>) accepted while encoding | ||||
654 | or decoding. If a higher nesting level is detected in JSON text or a Perl | ||||
655 | data structure, then the encoder and decoder will stop and croak at that | ||||
656 | point. | ||||
657 | |||||
658 | Nesting level is defined by number of hash- or arrayrefs that the encoder | ||||
659 | needs to traverse to reach a given point or the number of C<{> or C<[> | ||||
660 | characters without their matching closing parenthesis crossed to reach a | ||||
661 | given character in a string. | ||||
662 | |||||
663 | Setting the maximum depth to one disallows any nesting, so that ensures | ||||
664 | that the object is only a single hash/object or array. | ||||
665 | |||||
666 | If no argument is given, the highest possible setting will be used, which | ||||
667 | is rarely useful. | ||||
668 | |||||
669 | Note that nesting is implemented by recursion in C. The default value has | ||||
670 | been chosen to be as large as typical operating systems allow without | ||||
671 | crashing. | ||||
672 | |||||
673 | See SECURITY CONSIDERATIONS, below, for more info on why this is useful. | ||||
674 | |||||
675 | =item $json = $json->max_size ([$maximum_string_size]) | ||||
676 | |||||
677 | =item $max_size = $json->get_max_size | ||||
678 | |||||
679 | Set the maximum length a JSON text may have (in bytes) where decoding is | ||||
680 | being attempted. The default is C<0>, meaning no limit. When C<decode> | ||||
681 | is called on a string that is longer then this many bytes, it will not | ||||
682 | attempt to decode the string but throw an exception. This setting has no | ||||
683 | effect on C<encode> (yet). | ||||
684 | |||||
685 | If no argument is given, the limit check will be deactivated (same as when | ||||
686 | C<0> is specified). | ||||
687 | |||||
688 | See SECURITY CONSIDERATIONS, below, for more info on why this is useful. | ||||
689 | |||||
690 | =item $json_text = $json->encode ($perl_scalar) | ||||
691 | |||||
692 | Converts the given Perl value or data structure to its JSON | ||||
693 | representation. Croaks on error. | ||||
694 | |||||
695 | =item $perl_scalar = $json->decode ($json_text) | ||||
696 | |||||
697 | The opposite of C<encode>: expects a JSON text and tries to parse it, | ||||
698 | returning the resulting simple scalar or reference. Croaks on error. | ||||
699 | |||||
700 | =item ($perl_scalar, $characters) = $json->decode_prefix ($json_text) | ||||
701 | |||||
702 | This works like the C<decode> method, but instead of raising an exception | ||||
703 | when there is trailing garbage after the first JSON object, it will | ||||
704 | silently stop parsing there and return the number of characters consumed | ||||
705 | so far. | ||||
706 | |||||
707 | This is useful if your JSON texts are not delimited by an outer protocol | ||||
708 | and you need to know where the JSON text ends. | ||||
709 | |||||
710 | JSON::XS->new->decode_prefix ("[1] the tail") | ||||
711 | => ([1], 3) | ||||
712 | |||||
713 | =back | ||||
714 | |||||
715 | |||||
716 | =head1 INCREMENTAL PARSING | ||||
717 | |||||
718 | In some cases, there is the need for incremental parsing of JSON | ||||
719 | texts. While this module always has to keep both JSON text and resulting | ||||
720 | Perl data structure in memory at one time, it does allow you to parse a | ||||
721 | JSON stream incrementally. It does so by accumulating text until it has | ||||
722 | a full JSON object, which it then can decode. This process is similar to | ||||
723 | using C<decode_prefix> to see if a full JSON object is available, but | ||||
724 | is much more efficient (and can be implemented with a minimum of method | ||||
725 | calls). | ||||
726 | |||||
727 | JSON::XS will only attempt to parse the JSON text once it is sure it | ||||
728 | has enough text to get a decisive result, using a very simple but | ||||
729 | truly incremental parser. This means that it sometimes won't stop as | ||||
730 | early as the full parser, for example, it doesn't detect mismatched | ||||
731 | parentheses. The only thing it guarantees is that it starts decoding as | ||||
732 | soon as a syntactically valid JSON text has been seen. This means you need | ||||
733 | to set resource limits (e.g. C<max_size>) to ensure the parser will stop | ||||
734 | parsing in the presence if syntax errors. | ||||
735 | |||||
736 | The following methods implement this incremental parser. | ||||
737 | |||||
738 | =over | ||||
739 | |||||
740 | =item [void, scalar or list context] = $json->incr_parse ([$string]) | ||||
741 | |||||
742 | This is the central parsing function. It can both append new text and | ||||
743 | extract objects from the stream accumulated so far (both of these | ||||
744 | functions are optional). | ||||
745 | |||||
746 | If C<$string> is given, then this string is appended to the already | ||||
747 | existing JSON fragment stored in the C<$json> object. | ||||
748 | |||||
749 | After that, if the function is called in void context, it will simply | ||||
750 | return without doing anything further. This can be used to add more text | ||||
751 | in as many chunks as you want. | ||||
752 | |||||
753 | If the method is called in scalar context, then it will try to extract | ||||
754 | exactly I<one> JSON object. If that is successful, it will return this | ||||
755 | object, otherwise it will return C<undef>. If there is a parse error, | ||||
756 | this method will croak just as C<decode> would do (one can then use | ||||
757 | C<incr_skip> to skip the erroneous part). This is the most common way of | ||||
758 | using the method. | ||||
759 | |||||
760 | And finally, in list context, it will try to extract as many objects | ||||
761 | from the stream as it can find and return them, or the empty list | ||||
762 | otherwise. For this to work, there must be no separators (other than | ||||
763 | whitespace) between the JSON objects or arrays, instead they must be | ||||
764 | concatenated back-to-back. If an error occurs, an exception will be | ||||
765 | raised as in the scalar context case. Note that in this case, any | ||||
766 | previously-parsed JSON texts will be lost. | ||||
767 | |||||
768 | Example: Parse some JSON arrays/objects in a given string and return | ||||
769 | them. | ||||
770 | |||||
771 | my @objs = JSON::XS->new->incr_parse ("[5][7][1,2]"); | ||||
772 | |||||
773 | =item $lvalue_string = $json->incr_text | ||||
774 | |||||
775 | This method returns the currently stored JSON fragment as an lvalue, that | ||||
776 | is, you can manipulate it. This I<only> works when a preceding call to | ||||
777 | C<incr_parse> in I<scalar context> successfully returned an object. Under | ||||
778 | all other circumstances you must not call this function (I mean it. | ||||
779 | although in simple tests it might actually work, it I<will> fail under | ||||
780 | real world conditions). As a special exception, you can also call this | ||||
781 | method before having parsed anything. | ||||
782 | |||||
783 | That means you can only use this function to look at or manipulate text | ||||
784 | before or after complete JSON objects, not while the parser is in the | ||||
785 | middle of parsing a JSON object. | ||||
786 | |||||
787 | This function is useful in two cases: a) finding the trailing text after a | ||||
788 | JSON object or b) parsing multiple JSON objects separated by non-JSON text | ||||
789 | (such as commas). | ||||
790 | |||||
791 | =item $json->incr_skip | ||||
792 | |||||
793 | This will reset the state of the incremental parser and will remove | ||||
794 | the parsed text from the input buffer so far. This is useful after | ||||
795 | C<incr_parse> died, in which case the input buffer and incremental parser | ||||
796 | state is left unchanged, to skip the text parsed so far and to reset the | ||||
797 | parse state. | ||||
798 | |||||
799 | The difference to C<incr_reset> is that only text until the parse error | ||||
800 | occurred is removed. | ||||
801 | |||||
802 | =item $json->incr_reset | ||||
803 | |||||
804 | This completely resets the incremental parser, that is, after this call, | ||||
805 | it will be as if the parser had never parsed anything. | ||||
806 | |||||
807 | This is useful if you want to repeatedly parse JSON objects and want to | ||||
808 | ignore any trailing data, which means you have to reset the parser after | ||||
809 | each successful decode. | ||||
810 | |||||
811 | =back | ||||
812 | |||||
813 | =head2 LIMITATIONS | ||||
814 | |||||
815 | The incremental parser is a non-exact parser: it works by gathering as | ||||
816 | much text as possible that I<could> be a valid JSON text, followed by | ||||
817 | trying to decode it. | ||||
818 | |||||
819 | That means it sometimes needs to read more data than strictly necessary to | ||||
820 | diagnose an invalid JSON text. For example, after parsing the following | ||||
821 | fragment, the parser I<could> stop with an error, as this fragment | ||||
822 | I<cannot> be the beginning of a valid JSON text: | ||||
823 | |||||
824 | [, | ||||
825 | |||||
826 | In reality, hopwever, the parser might continue to read data until a | ||||
827 | length limit is exceeded or it finds a closing bracket. | ||||
828 | |||||
829 | =head2 EXAMPLES | ||||
830 | |||||
831 | Some examples will make all this clearer. First, a simple example that | ||||
832 | works similarly to C<decode_prefix>: We want to decode the JSON object at | ||||
833 | the start of a string and identify the portion after the JSON object: | ||||
834 | |||||
835 | my $text = "[1,2,3] hello"; | ||||
836 | |||||
837 | my $json = new JSON::XS; | ||||
838 | |||||
839 | my $obj = $json->incr_parse ($text) | ||||
840 | or die "expected JSON object or array at beginning of string"; | ||||
841 | |||||
842 | my $tail = $json->incr_text; | ||||
843 | # $tail now contains " hello" | ||||
844 | |||||
845 | Easy, isn't it? | ||||
846 | |||||
847 | Now for a more complicated example: Imagine a hypothetical protocol where | ||||
848 | you read some requests from a TCP stream, and each request is a JSON | ||||
849 | array, without any separation between them (in fact, it is often useful to | ||||
850 | use newlines as "separators", as these get interpreted as whitespace at | ||||
851 | the start of the JSON text, which makes it possible to test said protocol | ||||
852 | with C<telnet>...). | ||||
853 | |||||
854 | Here is how you'd do it (it is trivial to write this in an event-based | ||||
855 | manner): | ||||
856 | |||||
857 | my $json = new JSON::XS; | ||||
858 | |||||
859 | # read some data from the socket | ||||
860 | while (sysread $socket, my $buf, 4096) { | ||||
861 | |||||
862 | # split and decode as many requests as possible | ||||
863 | for my $request ($json->incr_parse ($buf)) { | ||||
864 | # act on the $request | ||||
865 | } | ||||
866 | } | ||||
867 | |||||
868 | Another complicated example: Assume you have a string with JSON objects | ||||
869 | or arrays, all separated by (optional) comma characters (e.g. C<[1],[2], | ||||
870 | [3]>). To parse them, we have to skip the commas between the JSON texts, | ||||
871 | and here is where the lvalue-ness of C<incr_text> comes in useful: | ||||
872 | |||||
873 | my $text = "[1],[2], [3]"; | ||||
874 | my $json = new JSON::XS; | ||||
875 | |||||
876 | # void context, so no parsing done | ||||
877 | $json->incr_parse ($text); | ||||
878 | |||||
879 | # now extract as many objects as possible. note the | ||||
880 | # use of scalar context so incr_text can be called. | ||||
881 | while (my $obj = $json->incr_parse) { | ||||
882 | # do something with $obj | ||||
883 | |||||
884 | # now skip the optional comma | ||||
885 | $json->incr_text =~ s/^ \s* , //x; | ||||
886 | } | ||||
887 | |||||
888 | Now lets go for a very complex example: Assume that you have a gigantic | ||||
889 | JSON array-of-objects, many gigabytes in size, and you want to parse it, | ||||
890 | but you cannot load it into memory fully (this has actually happened in | ||||
891 | the real world :). | ||||
892 | |||||
893 | Well, you lost, you have to implement your own JSON parser. But JSON::XS | ||||
894 | can still help you: You implement a (very simple) array parser and let | ||||
895 | JSON decode the array elements, which are all full JSON objects on their | ||||
896 | own (this wouldn't work if the array elements could be JSON numbers, for | ||||
897 | example): | ||||
898 | |||||
899 | my $json = new JSON::XS; | ||||
900 | |||||
901 | # open the monster | ||||
902 | open my $fh, "<bigfile.json" | ||||
903 | or die "bigfile: $!"; | ||||
904 | |||||
905 | # first parse the initial "[" | ||||
906 | for (;;) { | ||||
907 | sysread $fh, my $buf, 65536 | ||||
908 | or die "read error: $!"; | ||||
909 | $json->incr_parse ($buf); # void context, so no parsing | ||||
910 | |||||
911 | # Exit the loop once we found and removed(!) the initial "[". | ||||
912 | # In essence, we are (ab-)using the $json object as a simple scalar | ||||
913 | # we append data to. | ||||
914 | last if $json->incr_text =~ s/^ \s* \[ //x; | ||||
915 | } | ||||
916 | |||||
917 | # now we have the skipped the initial "[", so continue | ||||
918 | # parsing all the elements. | ||||
919 | for (;;) { | ||||
920 | # in this loop we read data until we got a single JSON object | ||||
921 | for (;;) { | ||||
922 | if (my $obj = $json->incr_parse) { | ||||
923 | # do something with $obj | ||||
924 | last; | ||||
925 | } | ||||
926 | |||||
927 | # add more data | ||||
928 | sysread $fh, my $buf, 65536 | ||||
929 | or die "read error: $!"; | ||||
930 | $json->incr_parse ($buf); # void context, so no parsing | ||||
931 | } | ||||
932 | |||||
933 | # in this loop we read data until we either found and parsed the | ||||
934 | # separating "," between elements, or the final "]" | ||||
935 | for (;;) { | ||||
936 | # first skip whitespace | ||||
937 | $json->incr_text =~ s/^\s*//; | ||||
938 | |||||
939 | # if we find "]", we are done | ||||
940 | if ($json->incr_text =~ s/^\]//) { | ||||
941 | print "finished.\n"; | ||||
942 | exit; | ||||
943 | } | ||||
944 | |||||
945 | # if we find ",", we can continue with the next element | ||||
946 | if ($json->incr_text =~ s/^,//) { | ||||
947 | last; | ||||
948 | } | ||||
949 | |||||
950 | # if we find anything else, we have a parse error! | ||||
951 | if (length $json->incr_text) { | ||||
952 | die "parse error near ", $json->incr_text; | ||||
953 | } | ||||
954 | |||||
955 | # else add more data | ||||
956 | sysread $fh, my $buf, 65536 | ||||
957 | or die "read error: $!"; | ||||
958 | $json->incr_parse ($buf); # void context, so no parsing | ||||
959 | } | ||||
960 | |||||
961 | This is a complex example, but most of the complexity comes from the fact | ||||
962 | that we are trying to be correct (bear with me if I am wrong, I never ran | ||||
963 | the above example :). | ||||
964 | |||||
- - | |||||
967 | =head1 MAPPING | ||||
968 | |||||
969 | This section describes how JSON::XS maps Perl values to JSON values and | ||||
970 | vice versa. These mappings are designed to "do the right thing" in most | ||||
971 | circumstances automatically, preserving round-tripping characteristics | ||||
972 | (what you put in comes out as something equivalent). | ||||
973 | |||||
974 | For the more enlightened: note that in the following descriptions, | ||||
975 | lowercase I<perl> refers to the Perl interpreter, while uppercase I<Perl> | ||||
976 | refers to the abstract Perl language itself. | ||||
977 | |||||
978 | |||||
979 | =head2 JSON -> PERL | ||||
980 | |||||
981 | =over | ||||
982 | |||||
983 | =item object | ||||
984 | |||||
985 | A JSON object becomes a reference to a hash in Perl. No ordering of object | ||||
986 | keys is preserved (JSON does not preserve object key ordering itself). | ||||
987 | |||||
988 | =item array | ||||
989 | |||||
990 | A JSON array becomes a reference to an array in Perl. | ||||
991 | |||||
992 | =item string | ||||
993 | |||||
994 | A JSON string becomes a string scalar in Perl - Unicode codepoints in JSON | ||||
995 | are represented by the same codepoints in the Perl string, so no manual | ||||
996 | decoding is necessary. | ||||
997 | |||||
998 | =item number | ||||
999 | |||||
1000 | A JSON number becomes either an integer, numeric (floating point) or | ||||
1001 | string scalar in perl, depending on its range and any fractional parts. On | ||||
1002 | the Perl level, there is no difference between those as Perl handles all | ||||
1003 | the conversion details, but an integer may take slightly less memory and | ||||
1004 | might represent more values exactly than floating point numbers. | ||||
1005 | |||||
1006 | If the number consists of digits only, JSON::XS will try to represent | ||||
1007 | it as an integer value. If that fails, it will try to represent it as | ||||
1008 | a numeric (floating point) value if that is possible without loss of | ||||
1009 | precision. Otherwise it will preserve the number as a string value (in | ||||
1010 | which case you lose roundtripping ability, as the JSON number will be | ||||
1011 | re-encoded to a JSON string). | ||||
1012 | |||||
1013 | Numbers containing a fractional or exponential part will always be | ||||
1014 | represented as numeric (floating point) values, possibly at a loss of | ||||
1015 | precision (in which case you might lose perfect roundtripping ability, but | ||||
1016 | the JSON number will still be re-encoded as a JSON number). | ||||
1017 | |||||
1018 | Note that precision is not accuracy - binary floating point values cannot | ||||
1019 | represent most decimal fractions exactly, and when converting from and to | ||||
1020 | floating point, JSON::XS only guarantees precision up to but not including | ||||
1021 | the least significant bit. | ||||
1022 | |||||
1023 | =item true, false | ||||
1024 | |||||
1025 | These JSON atoms become C<Types::Serialiser::true> and | ||||
1026 | C<Types::Serialiser::false>, respectively. They are overloaded to act | ||||
1027 | almost exactly like the numbers C<1> and C<0>. You can check whether | ||||
1028 | a scalar is a JSON boolean by using the C<Types::Serialiser::is_bool> | ||||
1029 | function (after C<use Types::Serialier>, of course). | ||||
1030 | |||||
1031 | =item null | ||||
1032 | |||||
1033 | A JSON null atom becomes C<undef> in Perl. | ||||
1034 | |||||
1035 | =item shell-style comments (C<< # I<text> >>) | ||||
1036 | |||||
1037 | As a nonstandard extension to the JSON syntax that is enabled by the | ||||
1038 | C<relaxed> setting, shell-style comments are allowed. They can start | ||||
1039 | anywhere outside strings and go till the end of the line. | ||||
1040 | |||||
1041 | =item tagged values (C<< (I<tag>)I<value> >>). | ||||
1042 | |||||
1043 | Another nonstandard extension to the JSON syntax, enabled with the | ||||
1044 | C<allow_tags> setting, are tagged values. In this implementation, the | ||||
1045 | I<tag> must be a perl package/class name encoded as a JSON string, and the | ||||
1046 | I<value> must be a JSON array encoding optional constructor arguments. | ||||
1047 | |||||
1048 | See L<OBJECT SERIALISATION>, below, for details. | ||||
1049 | |||||
1050 | =back | ||||
1051 | |||||
1052 | |||||
1053 | =head2 PERL -> JSON | ||||
1054 | |||||
1055 | The mapping from Perl to JSON is slightly more difficult, as Perl is a | ||||
1056 | truly typeless language, so we can only guess which JSON type is meant by | ||||
1057 | a Perl value. | ||||
1058 | |||||
1059 | =over | ||||
1060 | |||||
1061 | =item hash references | ||||
1062 | |||||
1063 | Perl hash references become JSON objects. As there is no inherent | ||||
1064 | ordering in hash keys (or JSON objects), they will usually be encoded | ||||
1065 | in a pseudo-random order. JSON::XS can optionally sort the hash keys | ||||
1066 | (determined by the I<canonical> flag), so the same datastructure will | ||||
1067 | serialise to the same JSON text (given same settings and version of | ||||
1068 | JSON::XS), but this incurs a runtime overhead and is only rarely useful, | ||||
1069 | e.g. when you want to compare some JSON text against another for equality. | ||||
1070 | |||||
1071 | =item array references | ||||
1072 | |||||
1073 | Perl array references become JSON arrays. | ||||
1074 | |||||
1075 | =item other references | ||||
1076 | |||||
1077 | Other unblessed references are generally not allowed and will cause an | ||||
1078 | exception to be thrown, except for references to the integers C<0> and | ||||
1079 | C<1>, which get turned into C<false> and C<true> atoms in JSON. | ||||
1080 | |||||
1081 | Since C<JSON::XS> uses the boolean model from L<Types::Serialiser>, you | ||||
1082 | can also C<use Types::Serialiser> and then use C<Types::Serialiser::false> | ||||
1083 | and C<Types::Serialiser::true> to improve readability. | ||||
1084 | |||||
1085 | use Types::Serialiser; | ||||
1086 | encode_json [\0, Types::Serialiser::true] # yields [false,true] | ||||
1087 | |||||
1088 | =item Types::Serialiser::true, Types::Serialiser::false | ||||
1089 | |||||
1090 | These special values from the L<Types::Serialiser> module become JSON true | ||||
1091 | and JSON false values, respectively. You can also use C<\1> and C<\0> | ||||
1092 | directly if you want. | ||||
1093 | |||||
1094 | =item blessed objects | ||||
1095 | |||||
1096 | Blessed objects are not directly representable in JSON, but C<JSON::XS> | ||||
1097 | allows various ways of handling objects. See L<OBJECT SERIALISATION>, | ||||
1098 | below, for details. | ||||
1099 | |||||
1100 | =item simple scalars | ||||
1101 | |||||
1102 | Simple Perl scalars (any scalar that is not a reference) are the most | ||||
1103 | difficult objects to encode: JSON::XS will encode undefined scalars as | ||||
1104 | JSON C<null> values, scalars that have last been used in a string context | ||||
1105 | before encoding as JSON strings, and anything else as number value: | ||||
1106 | |||||
1107 | # dump as number | ||||
1108 | encode_json [2] # yields [2] | ||||
1109 | encode_json [-3.0e17] # yields [-3e+17] | ||||
1110 | my $value = 5; encode_json [$value] # yields [5] | ||||
1111 | |||||
1112 | # used as string, so dump as string | ||||
1113 | print $value; | ||||
1114 | encode_json [$value] # yields ["5"] | ||||
1115 | |||||
1116 | # undef becomes null | ||||
1117 | encode_json [undef] # yields [null] | ||||
1118 | |||||
1119 | You can force the type to be a JSON string by stringifying it: | ||||
1120 | |||||
1121 | my $x = 3.1; # some variable containing a number | ||||
1122 | "$x"; # stringified | ||||
1123 | $x .= ""; # another, more awkward way to stringify | ||||
1124 | print $x; # perl does it for you, too, quite often | ||||
1125 | |||||
1126 | You can force the type to be a JSON number by numifying it: | ||||
1127 | |||||
1128 | my $x = "3"; # some variable containing a string | ||||
1129 | $x += 0; # numify it, ensuring it will be dumped as a number | ||||
1130 | $x *= 1; # same thing, the choice is yours. | ||||
1131 | |||||
1132 | You can not currently force the type in other, less obscure, ways. Tell me | ||||
1133 | if you need this capability (but don't forget to explain why it's needed | ||||
1134 | :). | ||||
1135 | |||||
1136 | Note that numerical precision has the same meaning as under Perl (so | ||||
1137 | binary to decimal conversion follows the same rules as in Perl, which | ||||
1138 | can differ to other languages). Also, your perl interpreter might expose | ||||
1139 | extensions to the floating point numbers of your platform, such as | ||||
1140 | infinities or NaN's - these cannot be represented in JSON, and it is an | ||||
1141 | error to pass those in. | ||||
1142 | |||||
1143 | =back | ||||
1144 | |||||
1145 | =head2 OBJECT SERIALISATION | ||||
1146 | |||||
1147 | As JSON cannot directly represent Perl objects, you have to choose between | ||||
1148 | a pure JSON representation (without the ability to deserialise the object | ||||
1149 | automatically again), and a nonstandard extension to the JSON syntax, | ||||
1150 | tagged values. | ||||
1151 | |||||
1152 | =head3 SERIALISATION | ||||
1153 | |||||
1154 | What happens when C<JSON::XS> encounters a Perl object depends on the | ||||
1155 | C<allow_blessed>, C<convert_blessed> and C<allow_tags> settings, which are | ||||
1156 | used in this order: | ||||
1157 | |||||
1158 | =over | ||||
1159 | |||||
1160 | =item 1. C<allow_tags> is enabled and the object has a C<FREEZE> method. | ||||
1161 | |||||
1162 | In this case, C<JSON::XS> uses the L<Types::Serialiser> object | ||||
1163 | serialisation protocol to create a tagged JSON value, using a nonstandard | ||||
1164 | extension to the JSON syntax. | ||||
1165 | |||||
1166 | This works by invoking the C<FREEZE> method on the object, with the first | ||||
1167 | argument being the object to serialise, and the second argument being the | ||||
1168 | constant string C<JSON> to distinguish it from other serialisers. | ||||
1169 | |||||
1170 | The C<FREEZE> method can return any number of values (i.e. zero or | ||||
1171 | more). These values and the paclkage/classname of the object will then be | ||||
1172 | encoded as a tagged JSON value in the following format: | ||||
1173 | |||||
1174 | ("classname")[FREEZE return values...] | ||||
1175 | |||||
1176 | e.g.: | ||||
1177 | |||||
1178 | ("URI")["http://www.google.com/"] | ||||
1179 | ("MyDate")[2013,10,29] | ||||
1180 | ("ImageData::JPEG")["Z3...VlCg=="] | ||||
1181 | |||||
1182 | For example, the hypothetical C<My::Object> C<FREEZE> method might use the | ||||
1183 | objects C<type> and C<id> members to encode the object: | ||||
1184 | |||||
1185 | sub My::Object::FREEZE { | ||||
1186 | my ($self, $serialiser) = @_; | ||||
1187 | |||||
1188 | ($self->{type}, $self->{id}) | ||||
1189 | } | ||||
1190 | |||||
1191 | =item 2. C<convert_blessed> is enabled and the object has a C<TO_JSON> method. | ||||
1192 | |||||
1193 | In this case, the C<TO_JSON> method of the object is invoked in scalar | ||||
1194 | context. It must return a single scalar that can be directly encoded into | ||||
1195 | JSON. This scalar replaces the object in the JSON text. | ||||
1196 | |||||
1197 | For example, the following C<TO_JSON> method will convert all L<URI> | ||||
1198 | objects to JSON strings when serialised. The fatc that these values | ||||
1199 | originally were L<URI> objects is lost. | ||||
1200 | |||||
1201 | sub URI::TO_JSON { | ||||
1202 | my ($uri) = @_; | ||||
1203 | $uri->as_string | ||||
1204 | } | ||||
1205 | |||||
1206 | =item 3. C<allow_blessed> is enabled. | ||||
1207 | |||||
1208 | The object will be serialised as a JSON null value. | ||||
1209 | |||||
1210 | =item 4. none of the above | ||||
1211 | |||||
1212 | If none of the settings are enabled or the respective methods are missing, | ||||
1213 | C<JSON::XS> throws an exception. | ||||
1214 | |||||
1215 | =back | ||||
1216 | |||||
1217 | =head3 DESERIALISATION | ||||
1218 | |||||
1219 | For deserialisation there are only two cases to consider: either | ||||
1220 | nonstandard tagging was used, in which case C<allow_tags> decides, | ||||
1221 | or objects cannot be automatically be deserialised, in which | ||||
1222 | case you can use postprocessing or the C<filter_json_object> or | ||||
1223 | C<filter_json_single_key_object> callbacks to get some real objects our of | ||||
1224 | your JSON. | ||||
1225 | |||||
1226 | This section only considers the tagged value case: I a tagged JSON object | ||||
1227 | is encountered during decoding and C<allow_tags> is disabled, a parse | ||||
1228 | error will result (as if tagged values were not part of the grammar). | ||||
1229 | |||||
1230 | If C<allow_tags> is enabled, C<JSON::XS> will look up the C<THAW> method | ||||
1231 | of the package/classname used during serialisation (it will not attempt | ||||
1232 | to load the package as a Perl module). If there is no such method, the | ||||
1233 | decoding will fail with an error. | ||||
1234 | |||||
1235 | Otherwise, the C<THAW> method is invoked with the classname as first | ||||
1236 | argument, the constant string C<JSON> as second argument, and all the | ||||
1237 | values from the JSON array (the values originally returned by the | ||||
1238 | C<FREEZE> method) as remaining arguments. | ||||
1239 | |||||
1240 | The method must then return the object. While technically you can return | ||||
1241 | any Perl scalar, you might have to enable the C<enable_nonref> setting to | ||||
1242 | make that work in all cases, so better return an actual blessed reference. | ||||
1243 | |||||
1244 | As an example, let's implement a C<THAW> function that regenerates the | ||||
1245 | C<My::Object> from the C<FREEZE> example earlier: | ||||
1246 | |||||
1247 | sub My::Object::THAW { | ||||
1248 | my ($class, $serialiser, $type, $id) = @_; | ||||
1249 | |||||
1250 | $class->new (type => $type, id => $id) | ||||
1251 | } | ||||
1252 | |||||
1253 | |||||
1254 | =head1 ENCODING/CODESET FLAG NOTES | ||||
1255 | |||||
1256 | The interested reader might have seen a number of flags that signify | ||||
1257 | encodings or codesets - C<utf8>, C<latin1> and C<ascii>. There seems to be | ||||
1258 | some confusion on what these do, so here is a short comparison: | ||||
1259 | |||||
1260 | C<utf8> controls whether the JSON text created by C<encode> (and expected | ||||
1261 | by C<decode>) is UTF-8 encoded or not, while C<latin1> and C<ascii> only | ||||
1262 | control whether C<encode> escapes character values outside their respective | ||||
1263 | codeset range. Neither of these flags conflict with each other, although | ||||
1264 | some combinations make less sense than others. | ||||
1265 | |||||
1266 | Care has been taken to make all flags symmetrical with respect to | ||||
1267 | C<encode> and C<decode>, that is, texts encoded with any combination of | ||||
1268 | these flag values will be correctly decoded when the same flags are used | ||||
1269 | - in general, if you use different flag settings while encoding vs. when | ||||
1270 | decoding you likely have a bug somewhere. | ||||
1271 | |||||
1272 | Below comes a verbose discussion of these flags. Note that a "codeset" is | ||||
1273 | simply an abstract set of character-codepoint pairs, while an encoding | ||||
1274 | takes those codepoint numbers and I<encodes> them, in our case into | ||||
1275 | octets. Unicode is (among other things) a codeset, UTF-8 is an encoding, | ||||
1276 | and ISO-8859-1 (= latin 1) and ASCII are both codesets I<and> encodings at | ||||
1277 | the same time, which can be confusing. | ||||
1278 | |||||
1279 | =over | ||||
1280 | |||||
1281 | =item C<utf8> flag disabled | ||||
1282 | |||||
1283 | When C<utf8> is disabled (the default), then C<encode>/C<decode> generate | ||||
1284 | and expect Unicode strings, that is, characters with high ordinal Unicode | ||||
1285 | values (> 255) will be encoded as such characters, and likewise such | ||||
1286 | characters are decoded as-is, no changes to them will be done, except | ||||
1287 | "(re-)interpreting" them as Unicode codepoints or Unicode characters, | ||||
1288 | respectively (to Perl, these are the same thing in strings unless you do | ||||
1289 | funny/weird/dumb stuff). | ||||
1290 | |||||
1291 | This is useful when you want to do the encoding yourself (e.g. when you | ||||
1292 | want to have UTF-16 encoded JSON texts) or when some other layer does | ||||
1293 | the encoding for you (for example, when printing to a terminal using a | ||||
1294 | filehandle that transparently encodes to UTF-8 you certainly do NOT want | ||||
1295 | to UTF-8 encode your data first and have Perl encode it another time). | ||||
1296 | |||||
1297 | =item C<utf8> flag enabled | ||||
1298 | |||||
1299 | If the C<utf8>-flag is enabled, C<encode>/C<decode> will encode all | ||||
1300 | characters using the corresponding UTF-8 multi-byte sequence, and will | ||||
1301 | expect your input strings to be encoded as UTF-8, that is, no "character" | ||||
1302 | of the input string must have any value > 255, as UTF-8 does not allow | ||||
1303 | that. | ||||
1304 | |||||
1305 | The C<utf8> flag therefore switches between two modes: disabled means you | ||||
1306 | will get a Unicode string in Perl, enabled means you get a UTF-8 encoded | ||||
1307 | octet/binary string in Perl. | ||||
1308 | |||||
1309 | =item C<latin1> or C<ascii> flags enabled | ||||
1310 | |||||
1311 | With C<latin1> (or C<ascii>) enabled, C<encode> will escape characters | ||||
1312 | with ordinal values > 255 (> 127 with C<ascii>) and encode the remaining | ||||
1313 | characters as specified by the C<utf8> flag. | ||||
1314 | |||||
1315 | If C<utf8> is disabled, then the result is also correctly encoded in those | ||||
1316 | character sets (as both are proper subsets of Unicode, meaning that a | ||||
1317 | Unicode string with all character values < 256 is the same thing as a | ||||
1318 | ISO-8859-1 string, and a Unicode string with all character values < 128 is | ||||
1319 | the same thing as an ASCII string in Perl). | ||||
1320 | |||||
1321 | If C<utf8> is enabled, you still get a correct UTF-8-encoded string, | ||||
1322 | regardless of these flags, just some more characters will be escaped using | ||||
1323 | C<\uXXXX> then before. | ||||
1324 | |||||
1325 | Note that ISO-8859-1-I<encoded> strings are not compatible with UTF-8 | ||||
1326 | encoding, while ASCII-encoded strings are. That is because the ISO-8859-1 | ||||
1327 | encoding is NOT a subset of UTF-8 (despite the ISO-8859-1 I<codeset> being | ||||
1328 | a subset of Unicode), while ASCII is. | ||||
1329 | |||||
1330 | Surprisingly, C<decode> will ignore these flags and so treat all input | ||||
1331 | values as governed by the C<utf8> flag. If it is disabled, this allows you | ||||
1332 | to decode ISO-8859-1- and ASCII-encoded strings, as both strict subsets of | ||||
1333 | Unicode. If it is enabled, you can correctly decode UTF-8 encoded strings. | ||||
1334 | |||||
1335 | So neither C<latin1> nor C<ascii> are incompatible with the C<utf8> flag - | ||||
1336 | they only govern when the JSON output engine escapes a character or not. | ||||
1337 | |||||
1338 | The main use for C<latin1> is to relatively efficiently store binary data | ||||
1339 | as JSON, at the expense of breaking compatibility with most JSON decoders. | ||||
1340 | |||||
1341 | The main use for C<ascii> is to force the output to not contain characters | ||||
1342 | with values > 127, which means you can interpret the resulting string | ||||
1343 | as UTF-8, ISO-8859-1, ASCII, KOI8-R or most about any character set and | ||||
1344 | 8-bit-encoding, and still get the same data structure back. This is useful | ||||
1345 | when your channel for JSON transfer is not 8-bit clean or the encoding | ||||
1346 | might be mangled in between (e.g. in mail), and works because ASCII is a | ||||
1347 | proper subset of most 8-bit and multibyte encodings in use in the world. | ||||
1348 | |||||
1349 | =back | ||||
1350 | |||||
1351 | |||||
1352 | =head2 JSON and ECMAscript | ||||
1353 | |||||
1354 | JSON syntax is based on how literals are represented in javascript (the | ||||
1355 | not-standardised predecessor of ECMAscript) which is presumably why it is | ||||
1356 | called "JavaScript Object Notation". | ||||
1357 | |||||
1358 | However, JSON is not a subset (and also not a superset of course) of | ||||
1359 | ECMAscript (the standard) or javascript (whatever browsers actually | ||||
1360 | implement). | ||||
1361 | |||||
1362 | If you want to use javascript's C<eval> function to "parse" JSON, you | ||||
1363 | might run into parse errors for valid JSON texts, or the resulting data | ||||
1364 | structure might not be queryable: | ||||
1365 | |||||
1366 | One of the problems is that U+2028 and U+2029 are valid characters inside | ||||
1367 | JSON strings, but are not allowed in ECMAscript string literals, so the | ||||
1368 | following Perl fragment will not output something that can be guaranteed | ||||
1369 | to be parsable by javascript's C<eval>: | ||||
1370 | |||||
1371 | use JSON::XS; | ||||
1372 | |||||
1373 | print encode_json [chr 0x2028]; | ||||
1374 | |||||
1375 | The right fix for this is to use a proper JSON parser in your javascript | ||||
1376 | programs, and not rely on C<eval> (see for example Douglas Crockford's | ||||
1377 | F<json2.js> parser). | ||||
1378 | |||||
1379 | If this is not an option, you can, as a stop-gap measure, simply encode to | ||||
1380 | ASCII-only JSON: | ||||
1381 | |||||
1382 | use JSON::XS; | ||||
1383 | |||||
1384 | print JSON::XS->new->ascii->encode ([chr 0x2028]); | ||||
1385 | |||||
1386 | Note that this will enlarge the resulting JSON text quite a bit if you | ||||
1387 | have many non-ASCII characters. You might be tempted to run some regexes | ||||
1388 | to only escape U+2028 and U+2029, e.g.: | ||||
1389 | |||||
1390 | # DO NOT USE THIS! | ||||
1391 | my $json = JSON::XS->new->utf8->encode ([chr 0x2028]); | ||||
1392 | $json =~ s/\xe2\x80\xa8/\\u2028/g; # escape U+2028 | ||||
1393 | $json =~ s/\xe2\x80\xa9/\\u2029/g; # escape U+2029 | ||||
1394 | print $json; | ||||
1395 | |||||
1396 | Note that I<this is a bad idea>: the above only works for U+2028 and | ||||
1397 | U+2029 and thus only for fully ECMAscript-compliant parsers. Many existing | ||||
1398 | javascript implementations, however, have issues with other characters as | ||||
1399 | well - using C<eval> naively simply I<will> cause problems. | ||||
1400 | |||||
1401 | Another problem is that some javascript implementations reserve | ||||
1402 | some property names for their own purposes (which probably makes | ||||
1403 | them non-ECMAscript-compliant). For example, Iceweasel reserves the | ||||
1404 | C<__proto__> property name for its own purposes. | ||||
1405 | |||||
1406 | If that is a problem, you could parse try to filter the resulting JSON | ||||
1407 | output for these property strings, e.g.: | ||||
1408 | |||||
1409 | $json =~ s/"__proto__"\s*:/"__proto__renamed":/g; | ||||
1410 | |||||
1411 | This works because C<__proto__> is not valid outside of strings, so every | ||||
1412 | occurrence of C<"__proto__"\s*:> must be a string used as property name. | ||||
1413 | |||||
1414 | If you know of other incompatibilities, please let me know. | ||||
1415 | |||||
1416 | |||||
1417 | =head2 JSON and YAML | ||||
1418 | |||||
1419 | You often hear that JSON is a subset of YAML. This is, however, a mass | ||||
1420 | hysteria(*) and very far from the truth (as of the time of this writing), | ||||
1421 | so let me state it clearly: I<in general, there is no way to configure | ||||
1422 | JSON::XS to output a data structure as valid YAML> that works in all | ||||
1423 | cases. | ||||
1424 | |||||
1425 | If you really must use JSON::XS to generate YAML, you should use this | ||||
1426 | algorithm (subject to change in future versions): | ||||
1427 | |||||
1428 | my $to_yaml = JSON::XS->new->utf8->space_after (1); | ||||
1429 | my $yaml = $to_yaml->encode ($ref) . "\n"; | ||||
1430 | |||||
1431 | This will I<usually> generate JSON texts that also parse as valid | ||||
1432 | YAML. Please note that YAML has hardcoded limits on (simple) object key | ||||
1433 | lengths that JSON doesn't have and also has different and incompatible | ||||
1434 | unicode character escape syntax, so you should make sure that your hash | ||||
1435 | keys are noticeably shorter than the 1024 "stream characters" YAML allows | ||||
1436 | and that you do not have characters with codepoint values outside the | ||||
1437 | Unicode BMP (basic multilingual page). YAML also does not allow C<\/> | ||||
1438 | sequences in strings (which JSON::XS does not I<currently> generate, but | ||||
1439 | other JSON generators might). | ||||
1440 | |||||
1441 | There might be other incompatibilities that I am not aware of (or the YAML | ||||
1442 | specification has been changed yet again - it does so quite often). In | ||||
1443 | general you should not try to generate YAML with a JSON generator or vice | ||||
1444 | versa, or try to parse JSON with a YAML parser or vice versa: chances are | ||||
1445 | high that you will run into severe interoperability problems when you | ||||
1446 | least expect it. | ||||
1447 | |||||
1448 | =over | ||||
1449 | |||||
1450 | =item (*) | ||||
1451 | |||||
1452 | I have been pressured multiple times by Brian Ingerson (one of the | ||||
1453 | authors of the YAML specification) to remove this paragraph, despite him | ||||
1454 | acknowledging that the actual incompatibilities exist. As I was personally | ||||
1455 | bitten by this "JSON is YAML" lie, I refused and said I will continue to | ||||
1456 | educate people about these issues, so others do not run into the same | ||||
1457 | problem again and again. After this, Brian called me a (quote)I<complete | ||||
1458 | and worthless idiot>(unquote). | ||||
1459 | |||||
1460 | In my opinion, instead of pressuring and insulting people who actually | ||||
1461 | clarify issues with YAML and the wrong statements of some of its | ||||
1462 | proponents, I would kindly suggest reading the JSON spec (which is not | ||||
1463 | that difficult or long) and finally make YAML compatible to it, and | ||||
1464 | educating users about the changes, instead of spreading lies about the | ||||
1465 | real compatibility for many I<years> and trying to silence people who | ||||
1466 | point out that it isn't true. | ||||
1467 | |||||
1468 | Addendum/2009: the YAML 1.2 spec is still incompatible with JSON, even | ||||
1469 | though the incompatibilities have been documented (and are known to Brian) | ||||
1470 | for many years and the spec makes explicit claims that YAML is a superset | ||||
1471 | of JSON. It would be so easy to fix, but apparently, bullying people and | ||||
1472 | corrupting userdata is so much easier. | ||||
1473 | |||||
1474 | =back | ||||
1475 | |||||
1476 | |||||
1477 | =head2 SPEED | ||||
1478 | |||||
1479 | It seems that JSON::XS is surprisingly fast, as shown in the following | ||||
1480 | tables. They have been generated with the help of the C<eg/bench> program | ||||
1481 | in the JSON::XS distribution, to make it easy to compare on your own | ||||
1482 | system. | ||||
1483 | |||||
1484 | First comes a comparison between various modules using | ||||
1485 | a very short single-line JSON string (also available at | ||||
1486 | L<http://dist.schmorp.de/misc/json/short.json>). | ||||
1487 | |||||
1488 | {"method": "handleMessage", "params": ["user1", | ||||
1489 | "we were just talking"], "id": null, "array":[1,11,234,-5,1e5,1e7, | ||||
1490 | 1, 0]} | ||||
1491 | |||||
1492 | It shows the number of encodes/decodes per second (JSON::XS uses | ||||
1493 | the functional interface, while JSON::XS/2 uses the OO interface | ||||
1494 | with pretty-printing and hashkey sorting enabled, JSON::XS/3 enables | ||||
1495 | shrink. JSON::DWIW/DS uses the deserialise function, while JSON::DWIW::FJ | ||||
1496 | uses the from_json method). Higher is better: | ||||
1497 | |||||
1498 | module | encode | decode | | ||||
1499 | --------------|------------|------------| | ||||
1500 | JSON::DWIW/DS | 86302.551 | 102300.098 | | ||||
1501 | JSON::DWIW/FJ | 86302.551 | 75983.768 | | ||||
1502 | JSON::PP | 15827.562 | 6638.658 | | ||||
1503 | JSON::Syck | 63358.066 | 47662.545 | | ||||
1504 | JSON::XS | 511500.488 | 511500.488 | | ||||
1505 | JSON::XS/2 | 291271.111 | 388361.481 | | ||||
1506 | JSON::XS/3 | 361577.931 | 361577.931 | | ||||
1507 | Storable | 66788.280 | 265462.278 | | ||||
1508 | --------------+------------+------------+ | ||||
1509 | |||||
1510 | That is, JSON::XS is almost six times faster than JSON::DWIW on encoding, | ||||
1511 | about five times faster on decoding, and over thirty to seventy times | ||||
1512 | faster than JSON's pure perl implementation. It also compares favourably | ||||
1513 | to Storable for small amounts of data. | ||||
1514 | |||||
1515 | Using a longer test string (roughly 18KB, generated from Yahoo! Locals | ||||
1516 | search API (L<http://dist.schmorp.de/misc/json/long.json>). | ||||
1517 | |||||
1518 | module | encode | decode | | ||||
1519 | --------------|------------|------------| | ||||
1520 | JSON::DWIW/DS | 1647.927 | 2673.916 | | ||||
1521 | JSON::DWIW/FJ | 1630.249 | 2596.128 | | ||||
1522 | JSON::PP | 400.640 | 62.311 | | ||||
1523 | JSON::Syck | 1481.040 | 1524.869 | | ||||
1524 | JSON::XS | 20661.596 | 9541.183 | | ||||
1525 | JSON::XS/2 | 10683.403 | 9416.938 | | ||||
1526 | JSON::XS/3 | 20661.596 | 9400.054 | | ||||
1527 | Storable | 19765.806 | 10000.725 | | ||||
1528 | --------------+------------+------------+ | ||||
1529 | |||||
1530 | Again, JSON::XS leads by far (except for Storable which non-surprisingly | ||||
1531 | decodes a bit faster). | ||||
1532 | |||||
1533 | On large strings containing lots of high Unicode characters, some modules | ||||
1534 | (such as JSON::PC) seem to decode faster than JSON::XS, but the result | ||||
1535 | will be broken due to missing (or wrong) Unicode handling. Others refuse | ||||
1536 | to decode or encode properly, so it was impossible to prepare a fair | ||||
1537 | comparison table for that case. | ||||
1538 | |||||
1539 | |||||
1540 | =head1 SECURITY CONSIDERATIONS | ||||
1541 | |||||
1542 | When you are using JSON in a protocol, talking to untrusted potentially | ||||
1543 | hostile creatures requires relatively few measures. | ||||
1544 | |||||
1545 | First of all, your JSON decoder should be secure, that is, should not have | ||||
1546 | any buffer overflows. Obviously, this module should ensure that and I am | ||||
1547 | trying hard on making that true, but you never know. | ||||
1548 | |||||
1549 | Second, you need to avoid resource-starving attacks. That means you should | ||||
1550 | limit the size of JSON texts you accept, or make sure then when your | ||||
1551 | resources run out, that's just fine (e.g. by using a separate process that | ||||
1552 | can crash safely). The size of a JSON text in octets or characters is | ||||
1553 | usually a good indication of the size of the resources required to decode | ||||
1554 | it into a Perl structure. While JSON::XS can check the size of the JSON | ||||
1555 | text, it might be too late when you already have it in memory, so you | ||||
1556 | might want to check the size before you accept the string. | ||||
1557 | |||||
1558 | Third, JSON::XS recurses using the C stack when decoding objects and | ||||
1559 | arrays. The C stack is a limited resource: for instance, on my amd64 | ||||
1560 | machine with 8MB of stack size I can decode around 180k nested arrays but | ||||
1561 | only 14k nested JSON objects (due to perl itself recursing deeply on croak | ||||
1562 | to free the temporary). If that is exceeded, the program crashes. To be | ||||
1563 | conservative, the default nesting limit is set to 512. If your process | ||||
1564 | has a smaller stack, you should adjust this setting accordingly with the | ||||
1565 | C<max_depth> method. | ||||
1566 | |||||
1567 | Something else could bomb you, too, that I forgot to think of. In that | ||||
1568 | case, you get to keep the pieces. I am always open for hints, though... | ||||
1569 | |||||
1570 | Also keep in mind that JSON::XS might leak contents of your Perl data | ||||
1571 | structures in its error messages, so when you serialise sensitive | ||||
1572 | information you might want to make sure that exceptions thrown by JSON::XS | ||||
1573 | will not end up in front of untrusted eyes. | ||||
1574 | |||||
1575 | If you are using JSON::XS to return packets to consumption | ||||
1576 | by JavaScript scripts in a browser you should have a look at | ||||
1577 | L<http://blog.archive.jpsykes.com/47/practical-csrf-and-json-security/> to | ||||
1578 | see whether you are vulnerable to some common attack vectors (which really | ||||
1579 | are browser design bugs, but it is still you who will have to deal with | ||||
1580 | it, as major browser developers care only for features, not about getting | ||||
1581 | security right). | ||||
1582 | |||||
1583 | |||||
1584 | =head2 "OLD" VS. "NEW" JSON (RFC4627 VS. RFC7159) | ||||
1585 | |||||
1586 | JSON originally required JSON texts to represent an array or object - | ||||
1587 | scalar values were explicitly not allowed. This has changed, and versions | ||||
1588 | of JSON::XS beginning with C<4.0> reflect this by allowing scalar values | ||||
1589 | by default. | ||||
1590 | |||||
1591 | One reason why one might not want this is that this removes a fundamental | ||||
1592 | property of JSON texts, namely that they are self-delimited and | ||||
1593 | self-contained, or in other words, you could take any number of "old" | ||||
1594 | JSON texts and paste them together, and the result would be unambiguously | ||||
1595 | parseable: | ||||
1596 | |||||
1597 | [1,3]{"k":5}[][null] # four JSON texts, without doubt | ||||
1598 | |||||
1599 | By allowing scalars, this property is lost: in the following example, is | ||||
1600 | this one JSON text (the number 12) or two JSON texts (the numbers 1 and | ||||
1601 | 2): | ||||
1602 | |||||
1603 | 12 # could be 12, or 1 and 2 | ||||
1604 | |||||
1605 | Another lost property of "old" JSON is that no lookahead is required to | ||||
1606 | know the end of a JSON text, i.e. the JSON text definitely ended at the | ||||
1607 | last C<]> or C<}> character, there was no need to read extra characters. | ||||
1608 | |||||
1609 | For example, a viable network protocol with "old" JSON was to simply | ||||
1610 | exchange JSON texts without delimiter. For "new" JSON, you have to use a | ||||
1611 | suitable delimiter (such as a newline) after every JSON text or ensure you | ||||
1612 | never encode/decode scalar values. | ||||
1613 | |||||
1614 | Most protocols do work by only transferring arrays or objects, and the | ||||
1615 | easiest way to avoid problems with the "new" JSON definition is to | ||||
1616 | explicitly disallow scalar values in your encoder and decoder: | ||||
1617 | |||||
1618 | $json_coder = JSON::XS->new->allow_nonref (0) | ||||
1619 | |||||
1620 | This is a somewhat unhappy situation, and the blame can fully be put on | ||||
1621 | JSON's inmventor, Douglas Crockford, who unilaterally changed the format | ||||
1622 | in 2006 without consulting the IETF, forcing the IETF to either fork the | ||||
1623 | format or go with it (as I was told, the IETF wasn't amused). | ||||
1624 | |||||
1625 | |||||
1626 | =head1 RELATIONSHIP WITH I-JSON | ||||
1627 | |||||
1628 | JSON is a somewhat sloppily-defined format - it carries around obvious | ||||
1629 | Javascript baggage, such as not really defining number range, probably | ||||
1630 | because Javascript only has one type of numbers: IEEE 64 bit floats | ||||
1631 | ("binary64"). | ||||
1632 | |||||
1633 | For this reaosn, RFC7493 defines "Internet JSON", which is a restricted | ||||
1634 | subset of JSON that is supposedly more interoperable on the internet. | ||||
1635 | |||||
1636 | While C<JSON::XS> does not offer specific support for I-JSON, it of course | ||||
1637 | accepts valid I-JSON and by default implements some of the limitations | ||||
1638 | of I-JSON, such as parsing numbers as perl numbers, which are usually a | ||||
1639 | superset of binary64 numbers. | ||||
1640 | |||||
1641 | To generate I-JSON, follow these rules: | ||||
1642 | |||||
1643 | =over | ||||
1644 | |||||
1645 | =item * always generate UTF-8 | ||||
1646 | |||||
1647 | I-JSON must be encoded in UTF-8, the default for C<encode_json>. | ||||
1648 | |||||
1649 | =item * numbers should be within IEEE 754 binary64 range | ||||
1650 | |||||
1651 | Basically all existing perl installations use binary64 to represent | ||||
1652 | floating point numbers, so all you need to do is to avoid large integers. | ||||
1653 | |||||
1654 | =item * objects must not have duplicate keys | ||||
1655 | |||||
1656 | This is trivially done, as C<JSON::XS> does not allow duplicate keys. | ||||
1657 | |||||
1658 | =item * do not generate scalar JSON texts, use C<< ->allow_nonref (0) >> | ||||
1659 | |||||
1660 | I-JSON strongly requests you to only encode arrays and objects into JSON. | ||||
1661 | |||||
1662 | =item * times should be strings in ISO 8601 format | ||||
1663 | |||||
1664 | There are a myriad of modules on CPAN dealing with ISO 8601 - search for | ||||
1665 | C<ISO8601> on CPAN and use one. | ||||
1666 | |||||
1667 | =item * encode binary data as base64 | ||||
1668 | |||||
1669 | While it's tempting to just dump binary data as a string (and let | ||||
1670 | C<JSON::XS> do the escaping), for I-JSON, it's I<recommended> to encode | ||||
1671 | binary data as base64. | ||||
1672 | |||||
1673 | =back | ||||
1674 | |||||
1675 | There are some other considerations - read RFC7493 for the details if | ||||
1676 | interested. | ||||
1677 | |||||
1678 | |||||
1679 | =head1 INTEROPERABILITY WITH OTHER MODULES | ||||
1680 | |||||
1681 | C<JSON::XS> uses the L<Types::Serialiser> module to provide boolean | ||||
1682 | constants. That means that the JSON true and false values will be | ||||
1683 | comaptible to true and false values of other modules that do the same, | ||||
1684 | such as L<JSON::PP> and L<CBOR::XS>. | ||||
1685 | |||||
1686 | |||||
1687 | =head1 INTEROPERABILITY WITH OTHER JSON DECODERS | ||||
1688 | |||||
1689 | As long as you only serialise data that can be directly expressed in JSON, | ||||
1690 | C<JSON::XS> is incapable of generating invalid JSON output (modulo bugs, | ||||
1691 | but C<JSON::XS> has found more bugs in the official JSON testsuite (1) | ||||
1692 | than the official JSON testsuite has found in C<JSON::XS> (0)). | ||||
1693 | |||||
1694 | When you have trouble decoding JSON generated by this module using other | ||||
1695 | decoders, then it is very likely that you have an encoding mismatch or the | ||||
1696 | other decoder is broken. | ||||
1697 | |||||
1698 | When decoding, C<JSON::XS> is strict by default and will likely catch all | ||||
1699 | errors. There are currently two settings that change this: C<relaxed> | ||||
1700 | makes C<JSON::XS> accept (but not generate) some non-standard extensions, | ||||
1701 | and C<allow_tags> will allow you to encode and decode Perl objects, at the | ||||
1702 | cost of not outputting valid JSON anymore. | ||||
1703 | |||||
1704 | =head2 TAGGED VALUE SYNTAX AND STANDARD JSON EN/DECODERS | ||||
1705 | |||||
1706 | When you use C<allow_tags> to use the extended (and also nonstandard and | ||||
1707 | invalid) JSON syntax for serialised objects, and you still want to decode | ||||
1708 | the generated When you want to serialise objects, you can run a regex | ||||
1709 | to replace the tagged syntax by standard JSON arrays (it only works for | ||||
1710 | "normal" package names without comma, newlines or single colons). First, | ||||
1711 | the readable Perl version: | ||||
1712 | |||||
1713 | # if your FREEZE methods return no values, you need this replace first: | ||||
1714 | $json =~ s/\( \s* (" (?: [^\\":,]+|\\.|::)* ") \s* \) \s* \[\s*\]/[$1]/gx; | ||||
1715 | |||||
1716 | # this works for non-empty constructor arg lists: | ||||
1717 | $json =~ s/\( \s* (" (?: [^\\":,]+|\\.|::)* ") \s* \) \s* \[/[$1,/gx; | ||||
1718 | |||||
1719 | And here is a less readable version that is easy to adapt to other | ||||
1720 | languages: | ||||
1721 | |||||
1722 | $json =~ s/\(\s*("([^\\":,]+|\\.|::)*")\s*\)\s*\[/[$1,/g; | ||||
1723 | |||||
1724 | Here is an ECMAScript version (same regex): | ||||
1725 | |||||
1726 | json = json.replace (/\(\s*("([^\\":,]+|\\.|::)*")\s*\)\s*\[/g, "[$1,"); | ||||
1727 | |||||
1728 | Since this syntax converts to standard JSON arrays, it might be hard to | ||||
1729 | distinguish serialised objects from normal arrays. You can prepend a | ||||
1730 | "magic number" as first array element to reduce chances of a collision: | ||||
1731 | |||||
1732 | $json =~ s/\(\s*("([^\\":,]+|\\.|::)*")\s*\)\s*\[/["XU1peReLzT4ggEllLanBYq4G9VzliwKF",$1,/g; | ||||
1733 | |||||
1734 | And after decoding the JSON text, you could walk the data | ||||
1735 | structure looking for arrays with a first element of | ||||
1736 | C<XU1peReLzT4ggEllLanBYq4G9VzliwKF>. | ||||
1737 | |||||
1738 | The same approach can be used to create the tagged format with another | ||||
1739 | encoder. First, you create an array with the magic string as first member, | ||||
1740 | the classname as second, and constructor arguments last, encode it as part | ||||
1741 | of your JSON structure, and then: | ||||
1742 | |||||
1743 | $json =~ s/\[\s*"XU1peReLzT4ggEllLanBYq4G9VzliwKF"\s*,\s*("([^\\":,]+|\\.|::)*")\s*,/($1)[/g; | ||||
1744 | |||||
1745 | Again, this has some limitations - the magic string must not be encoded | ||||
1746 | with character escapes, and the constructor arguments must be non-empty. | ||||
1747 | |||||
1748 | |||||
1749 | =head1 (I-)THREADS | ||||
1750 | |||||
1751 | This module is I<not> guaranteed to be ithread (or MULTIPLICITY-) safe | ||||
1752 | and there are no plans to change this. Note that perl's builtin so-called | ||||
1753 | threads/ithreads are officially deprecated and should not be used. | ||||
1754 | |||||
1755 | |||||
1756 | =head1 THE PERILS OF SETLOCALE | ||||
1757 | |||||
1758 | Sometimes people avoid the Perl locale support and directly call the | ||||
1759 | system's setlocale function with C<LC_ALL>. | ||||
1760 | |||||
1761 | This breaks both perl and modules such as JSON::XS, as stringification of | ||||
1762 | numbers no longer works correctly (e.g. C<$x = 0.1; print "$x"+1> might | ||||
1763 | print C<1>, and JSON::XS might output illegal JSON as JSON::XS relies on | ||||
1764 | perl to stringify numbers). | ||||
1765 | |||||
1766 | The solution is simple: don't call C<setlocale>, or use it for only those | ||||
1767 | categories you need, such as C<LC_MESSAGES> or C<LC_CTYPE>. | ||||
1768 | |||||
1769 | If you need C<LC_NUMERIC>, you should enable it only around the code that | ||||
1770 | actually needs it (avoiding stringification of numbers), and restore it | ||||
1771 | afterwards. | ||||
1772 | |||||
1773 | |||||
1774 | =head1 SOME HISTORY | ||||
1775 | |||||
1776 | At the time this module was created there already were a number of JSON | ||||
1777 | modules available on CPAN, so what was the reason to write yet another | ||||
1778 | JSON module? While it seems there are many JSON modules, none of them | ||||
1779 | correctly handled all corner cases, and in most cases their maintainers | ||||
1780 | are unresponsive, gone missing, or not listening to bug reports for other | ||||
1781 | reasons. | ||||
1782 | |||||
1783 | Beginning with version 2.0 of the JSON module, when both JSON and | ||||
1784 | JSON::XS are installed, then JSON will fall back on JSON::XS (this can be | ||||
1785 | overridden) with no overhead due to emulation (by inheriting constructor | ||||
1786 | and methods). If JSON::XS is not available, it will fall back to the | ||||
1787 | compatible JSON::PP module as backend, so using JSON instead of JSON::XS | ||||
1788 | gives you a portable JSON API that can be fast when you need it and | ||||
1789 | doesn't require a C compiler when that is a problem. | ||||
1790 | |||||
1791 | Somewhere around version 3, this module was forked into | ||||
1792 | C<Cpanel::JSON::XS>, because its maintainer had serious trouble | ||||
1793 | understanding JSON and insisted on a fork with many bugs "fixed" that | ||||
1794 | weren't actually bugs, while spreading FUD about this module without | ||||
1795 | actually giving any details on his accusations. You be the judge, but | ||||
1796 | in my personal opinion, if you want quality, you will stay away from | ||||
1797 | dangerous forks like that. | ||||
1798 | |||||
1799 | |||||
1800 | =head1 BUGS | ||||
1801 | |||||
1802 | While the goal of this module is to be correct, that unfortunately does | ||||
1803 | not mean it's bug-free, only that I think its design is bug-free. If you | ||||
1804 | keep reporting bugs they will be fixed swiftly, though. | ||||
1805 | |||||
1806 | Please refrain from using rt.cpan.org or any other bug reporting | ||||
1807 | service. I put the contact address into my modules for a reason. | ||||
1808 | |||||
1809 | =cut | ||||
1810 | |||||
1811 | # spent 7µs within JSON::XS::BEGIN@1811 which was called:
# once (7µs+0s) by JSON::BEGIN@2 at line 1819 | ||||
1812 | 1 | 800ns | *true = \$Types::Serialiser::true; | ||
1813 | 1 | 300ns | *true = \&Types::Serialiser::true; | ||
1814 | 1 | 100ns | *false = \$Types::Serialiser::false; | ||
1815 | 1 | 100ns | *false = \&Types::Serialiser::false; | ||
1816 | 1 | 100ns | *is_bool = \&Types::Serialiser::is_bool; | ||
1817 | |||||
1818 | 1 | 5µs | *JSON::XS::Boolean:: = *Types::Serialiser::Boolean::; | ||
1819 | 1 | 30µs | 1 | 7µs | } # spent 7µs making 1 call to JSON::XS::BEGIN@1811 |
1820 | |||||
1821 | 1 | 172µs | 1 | 880µs | XSLoader::load "JSON::XS", $VERSION; # spent 880µs making 1 call to XSLoader::load |
1822 | |||||
1823 | =head1 SEE ALSO | ||||
1824 | |||||
1825 | The F<json_xs> command line utility for quick experiments. | ||||
1826 | |||||
1827 | =head1 AUTHOR | ||||
1828 | |||||
1829 | Marc Lehmann <schmorp@schmorp.de> | ||||
1830 | http://home.schmorp.de/ | ||||
1831 | |||||
1832 | =cut | ||||
1833 | |||||
1834 | 1 | 4µs | 1 | ||
1835 | |||||
# spent 81.2ms within JSON::XS::DESTROY which was called 133037 times, avg 610ns/call:
# 133036 times (81.2ms+0s) by JSON::to_json at line 173 of JSON.pm, avg 610ns/call
# once (500ns+0s) by JSON::from_json at line 190 of JSON.pm | |||||
# spent 300ns within JSON::XS::__ANON__ which was called:
# once (300ns+0s) by JSON::XS::BEGIN@98 at line 98 | |||||
# spent 700ns within JSON::XS::canonical which was called:
# once (700ns+0s) by JSON::to_json at line 169 of JSON.pm | |||||
# spent 38µs within JSON::XS::decode which was called:
# once (38µs+0s) by JSON::from_json at line 190 of JSON.pm | |||||
# spent 445ms within JSON::XS::encode which was called 133036 times, avg 3µs/call:
# 133036 times (445ms+0s) by JSON::to_json at line 173 of JSON.pm, avg 3µs/call | |||||
# spent 456ms within JSON::XS::new which was called 133037 times, avg 3µs/call:
# 133036 times (456ms+0s) by JSON::to_json at line 164 of JSON.pm, avg 3µs/call
# once (6µs+0s) by JSON::from_json at line 181 of JSON.pm | |||||
# spent 4µs within JSON::XS::pretty which was called:
# once (4µs+0s) by JSON::to_json at line 169 of JSON.pm |