• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Serde JSON   [![Build Status]][travis] [![Latest Version]][crates.io] [![Rustc Version 1.31+]][rustc]
2
3[Build Status]: https://img.shields.io/github/workflow/status/serde-rs/json/CI/master
4[travis]: https://github.com/serde-rs/json/actions?query=branch%3Amaster
5[Latest Version]: https://img.shields.io/crates/v/serde_json.svg
6[crates.io]: https://crates.io/crates/serde\_json
7[Rustc Version 1.31+]: https://img.shields.io/badge/rustc-1.31+-lightgray.svg
8[rustc]: https://blog.rust-lang.org/2018/12/06/Rust-1.31-and-rust-2018.html
9
10**Serde is a framework for *ser*ializing and *de*serializing Rust data structures efficiently and generically.**
11
12---
13
14```toml
15[dependencies]
16serde_json = "1.0"
17```
18
19You may be looking for:
20
21- [JSON API documentation](https://docs.serde.rs/serde_json/)
22- [Serde API documentation](https://docs.serde.rs/serde/)
23- [Detailed documentation about Serde](https://serde.rs/)
24- [Setting up `#[derive(Serialize, Deserialize)]`](https://serde.rs/derive.html)
25- [Release notes](https://github.com/serde-rs/json/releases)
26
27JSON is a ubiquitous open-standard format that uses human-readable text to
28transmit data objects consisting of key-value pairs.
29
30```json
31{
32    "name": "John Doe",
33    "age": 43,
34    "address": {
35        "street": "10 Downing Street",
36        "city": "London"
37    },
38    "phones": [
39        "+44 1234567",
40        "+44 2345678"
41    ]
42}
43```
44
45There are three common ways that you might find yourself needing to work
46with JSON data in Rust.
47
48 - **As text data.** An unprocessed string of JSON data that you receive on
49   an HTTP endpoint, read from a file, or prepare to send to a remote
50   server.
51 - **As an untyped or loosely typed representation.** Maybe you want to
52   check that some JSON data is valid before passing it on, but without
53   knowing the structure of what it contains. Or you want to do very basic
54   manipulations like insert a key in a particular spot.
55 - **As a strongly typed Rust data structure.** When you expect all or most
56   of your data to conform to a particular structure and want to get real
57   work done without JSON's loosey-goosey nature tripping you up.
58
59Serde JSON provides efficient, flexible, safe ways of converting data
60between each of these representations.
61
62## Operating on untyped JSON values
63
64Any valid JSON data can be manipulated in the following recursive enum
65representation. This data structure is [`serde_json::Value`][value].
66
67```rust
68enum Value {
69    Null,
70    Bool(bool),
71    Number(Number),
72    String(String),
73    Array(Vec<Value>),
74    Object(Map<String, Value>),
75}
76```
77
78A string of JSON data can be parsed into a `serde_json::Value` by the
79[`serde_json::from_str`][from_str] function. There is also
80[`from_slice`][from_slice] for parsing from a byte slice &[u8] and
81[`from_reader`][from_reader] for parsing from any `io::Read` like a File or
82a TCP stream.
83
84<a href="https://play.rust-lang.org/?edition=2018&gist=d69d8e3156d4bb81c4461b60b772ab72" target="_blank">
85<img align="right" width="50" src="https://raw.githubusercontent.com/serde-rs/serde-rs.github.io/master/img/run.png">
86</a>
87
88```rust
89use serde_json::{Result, Value};
90
91fn untyped_example() -> Result<()> {
92    // Some JSON input data as a &str. Maybe this comes from the user.
93    let data = r#"
94        {
95            "name": "John Doe",
96            "age": 43,
97            "phones": [
98                "+44 1234567",
99                "+44 2345678"
100            ]
101        }"#;
102
103    // Parse the string of data into serde_json::Value.
104    let v: Value = serde_json::from_str(data)?;
105
106    // Access parts of the data by indexing with square brackets.
107    println!("Please call {} at the number {}", v["name"], v["phones"][0]);
108
109    Ok(())
110}
111```
112
113The result of square bracket indexing like `v["name"]` is a borrow of the data
114at that index, so the type is `&Value`. A JSON map can be indexed with string
115keys, while a JSON array can be indexed with integer keys. If the type of the
116data is not right for the type with which it is being indexed, or if a map does
117not contain the key being indexed, or if the index into a vector is out of
118bounds, the returned element is `Value::Null`.
119
120When a `Value` is printed, it is printed as a JSON string. So in the code above,
121the output looks like `Please call "John Doe" at the number "+44 1234567"`. The
122quotation marks appear because `v["name"]` is a `&Value` containing a JSON
123string and its JSON representation is `"John Doe"`. Printing as a plain string
124without quotation marks involves converting from a JSON string to a Rust string
125with [`as_str()`] or avoiding the use of `Value` as described in the following
126section.
127
128[`as_str()`]: https://docs.serde.rs/serde_json/enum.Value.html#method.as_str
129
130The `Value` representation is sufficient for very basic tasks but can be tedious
131to work with for anything more significant. Error handling is verbose to
132implement correctly, for example imagine trying to detect the presence of
133unrecognized fields in the input data. The compiler is powerless to help you
134when you make a mistake, for example imagine typoing `v["name"]` as `v["nmae"]`
135in one of the dozens of places it is used in your code.
136
137## Parsing JSON as strongly typed data structures
138
139Serde provides a powerful way of mapping JSON data into Rust data structures
140largely automatically.
141
142<a href="https://play.rust-lang.org/?edition=2018&gist=15cfab66d38ff8a15a9cf1d8d897ac68" target="_blank">
143<img align="right" width="50" src="https://raw.githubusercontent.com/serde-rs/serde-rs.github.io/master/img/run.png">
144</a>
145
146```rust
147use serde::{Deserialize, Serialize};
148use serde_json::Result;
149
150#[derive(Serialize, Deserialize)]
151struct Person {
152    name: String,
153    age: u8,
154    phones: Vec<String>,
155}
156
157fn typed_example() -> Result<()> {
158    // Some JSON input data as a &str. Maybe this comes from the user.
159    let data = r#"
160        {
161            "name": "John Doe",
162            "age": 43,
163            "phones": [
164                "+44 1234567",
165                "+44 2345678"
166            ]
167        }"#;
168
169    // Parse the string of data into a Person object. This is exactly the
170    // same function as the one that produced serde_json::Value above, but
171    // now we are asking it for a Person as output.
172    let p: Person = serde_json::from_str(data)?;
173
174    // Do things just like with any other Rust data structure.
175    println!("Please call {} at the number {}", p.name, p.phones[0]);
176
177    Ok(())
178}
179```
180
181This is the same `serde_json::from_str` function as before, but this time we
182assign the return value to a variable of type `Person` so Serde will
183automatically interpret the input data as a `Person` and produce informative
184error messages if the layout does not conform to what a `Person` is expected
185to look like.
186
187Any type that implements Serde's `Deserialize` trait can be deserialized
188this way. This includes built-in Rust standard library types like `Vec<T>`
189and `HashMap<K, V>`, as well as any structs or enums annotated with
190`#[derive(Deserialize)]`.
191
192Once we have `p` of type `Person`, our IDE and the Rust compiler can help us
193use it correctly like they do for any other Rust code. The IDE can
194autocomplete field names to prevent typos, which was impossible in the
195`serde_json::Value` representation. And the Rust compiler can check that
196when we write `p.phones[0]`, then `p.phones` is guaranteed to be a
197`Vec<String>` so indexing into it makes sense and produces a `String`.
198
199The necessary setup for using Serde's derive macros is explained on the *[Using
200derive]* page of the Serde site.
201
202[Using derive]: https://serde.rs/derive.html
203
204## Constructing JSON values
205
206Serde JSON provides a [`json!` macro][macro] to build `serde_json::Value`
207objects with very natural JSON syntax.
208
209<a href="https://play.rust-lang.org/?edition=2018&gist=6ccafad431d72b62e77cc34c8e879b24" target="_blank">
210<img align="right" width="50" src="https://raw.githubusercontent.com/serde-rs/serde-rs.github.io/master/img/run.png">
211</a>
212
213```rust
214use serde_json::json;
215
216fn main() {
217    // The type of `john` is `serde_json::Value`
218    let john = json!({
219        "name": "John Doe",
220        "age": 43,
221        "phones": [
222            "+44 1234567",
223            "+44 2345678"
224        ]
225    });
226
227    println!("first phone number: {}", john["phones"][0]);
228
229    // Convert to a string of JSON and print it out
230    println!("{}", john.to_string());
231}
232```
233
234The `Value::to_string()` function converts a `serde_json::Value` into a
235`String` of JSON text.
236
237One neat thing about the `json!` macro is that variables and expressions can
238be interpolated directly into the JSON value as you are building it. Serde
239will check at compile time that the value you are interpolating is able to
240be represented as JSON.
241
242<a href="https://play.rust-lang.org/?edition=2018&gist=f9101a6e61dfc9e02c6a67f315ed24f2" target="_blank">
243<img align="right" width="50" src="https://raw.githubusercontent.com/serde-rs/serde-rs.github.io/master/img/run.png">
244</a>
245
246```rust
247let full_name = "John Doe";
248let age_last_year = 42;
249
250// The type of `john` is `serde_json::Value`
251let john = json!({
252    "name": full_name,
253    "age": age_last_year + 1,
254    "phones": [
255        format!("+44 {}", random_phone())
256    ]
257});
258```
259
260This is amazingly convenient but we have the problem we had before with
261`Value` which is that the IDE and Rust compiler cannot help us if we get it
262wrong. Serde JSON provides a better way of serializing strongly-typed data
263structures into JSON text.
264
265## Creating JSON by serializing data structures
266
267A data structure can be converted to a JSON string by
268[`serde_json::to_string`][to_string]. There is also
269[`serde_json::to_vec`][to_vec] which serializes to a `Vec<u8>` and
270[`serde_json::to_writer`][to_writer] which serializes to any `io::Write`
271such as a File or a TCP stream.
272
273<a href="https://play.rust-lang.org/?edition=2018&gist=3472242a08ed2ff88a944f2a2283b0ee" target="_blank">
274<img align="right" width="50" src="https://raw.githubusercontent.com/serde-rs/serde-rs.github.io/master/img/run.png">
275</a>
276
277```rust
278use serde::{Deserialize, Serialize};
279use serde_json::Result;
280
281#[derive(Serialize, Deserialize)]
282struct Address {
283    street: String,
284    city: String,
285}
286
287fn print_an_address() -> Result<()> {
288    // Some data structure.
289    let address = Address {
290        street: "10 Downing Street".to_owned(),
291        city: "London".to_owned(),
292    };
293
294    // Serialize it to a JSON string.
295    let j = serde_json::to_string(&address)?;
296
297    // Print, write to a file, or send to an HTTP server.
298    println!("{}", j);
299
300    Ok(())
301}
302```
303
304Any type that implements Serde's `Serialize` trait can be serialized this
305way. This includes built-in Rust standard library types like `Vec<T>` and
306`HashMap<K, V>`, as well as any structs or enums annotated with
307`#[derive(Serialize)]`.
308
309## Performance
310
311It is fast. You should expect in the ballpark of 500 to 1000 megabytes per
312second deserialization and 600 to 900 megabytes per second serialization,
313depending on the characteristics of your data. This is competitive with the
314fastest C and C++ JSON libraries or even 30% faster for many use cases.
315Benchmarks live in the [serde-rs/json-benchmark] repo.
316
317[serde-rs/json-benchmark]: https://github.com/serde-rs/json-benchmark
318
319## Getting help
320
321Serde is one of the most widely used Rust libraries so any place that Rustaceans
322congregate will be able to help you out. For chat, consider trying the
323[#general] or [#beginners] channels of the unofficial community Discord, the
324[#rust-usage] channel of the official Rust Project Discord, or the
325[#general][zulip] stream in Zulip. For asynchronous, consider the [\[rust\] tag
326on StackOverflow][stackoverflow], the [/r/rust] subreddit which has a pinned
327weekly easy questions post, or the Rust [Discourse forum][discourse]. It's
328acceptable to file a support issue in this repo but they tend not to get as many
329eyes as any of the above and may get closed without a response after some time.
330
331[#general]: https://discord.com/channels/273534239310479360/274215136414400513
332[#beginners]: https://discord.com/channels/273534239310479360/273541522815713281
333[#rust-usage]: https://discord.com/channels/442252698964721669/443150878111694848
334[zulip]: https://rust-lang.zulipchat.com/#narrow/stream/122651-general
335[stackoverflow]: https://stackoverflow.com/questions/tagged/rust
336[/r/rust]: https://www.reddit.com/r/rust
337[discourse]: https://users.rust-lang.org
338
339## No-std support
340
341As long as there is a memory allocator, it is possible to use serde_json without
342the rest of the Rust standard library. This is supported on Rust 1.36+. Disable
343the default "std" feature and enable the "alloc" feature:
344
345```toml
346[dependencies]
347serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
348```
349
350For JSON support in Serde without a memory allocator, please see the
351[`serde-json-core`] crate.
352
353[`serde-json-core`]: https://japaric.github.io/serde-json-core/serde_json_core/
354
355[value]: https://docs.serde.rs/serde_json/value/enum.Value.html
356[from_str]: https://docs.serde.rs/serde_json/de/fn.from_str.html
357[from_slice]: https://docs.serde.rs/serde_json/de/fn.from_slice.html
358[from_reader]: https://docs.serde.rs/serde_json/de/fn.from_reader.html
359[to_string]: https://docs.serde.rs/serde_json/ser/fn.to_string.html
360[to_vec]: https://docs.serde.rs/serde_json/ser/fn.to_vec.html
361[to_writer]: https://docs.serde.rs/serde_json/ser/fn.to_writer.html
362[macro]: https://docs.serde.rs/serde_json/macro.json.html
363
364<br>
365
366#### License
367
368<sup>
369Licensed under either of <a href="LICENSE-APACHE">Apache License, Version
3702.0</a> or <a href="LICENSE-MIT">MIT license</a> at your option.
371</sup>
372
373<br>
374
375<sub>
376Unless you explicitly state otherwise, any contribution intentionally submitted
377for inclusion in this crate by you, as defined in the Apache-2.0 license, shall
378be dual licensed as above, without any additional terms or conditions.
379</sub>
380