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