]>
git.proxmox.com Git - cargo.git/blob - vendor/serde_json-1.0.3/src/value/mod.rs
1 // Copyright 2017 Serde Developers
3 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
4 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
5 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
6 // option. This file may not be copied, modified, or distributed
7 // except according to those terms.
9 //! The Value enum, a loosely typed way of representing any valid JSON value.
11 //! # Constructing JSON
13 //! Serde JSON provides a [`json!` macro][macro] to build `serde_json::Value`
14 //! objects with very natural JSON syntax. In order to use this macro,
15 //! `serde_json` needs to be imported with the `#[macro_use]` attribute.
19 //! extern crate serde_json;
22 //! // The type of `john` is `serde_json::Value`
23 //! let john = json!({
24 //! "name": "John Doe",
32 //! println!("first phone number: {}", john["phones"][0]);
34 //! // Convert to a string of JSON and print it out
35 //! println!("{}", john.to_string());
39 //! The `Value::to_string()` function converts a `serde_json::Value` into a
40 //! `String` of JSON text.
42 //! One neat thing about the `json!` macro is that variables and expressions can
43 //! be interpolated directly into the JSON value as you are building it. Serde
44 //! will check at compile time that the value you are interpolating is able to
45 //! be represented as JSON.
49 //! # extern crate serde_json;
51 //! # fn random_phone() -> u16 { 0 }
54 //! let full_name = "John Doe";
55 //! let age_last_year = 42;
57 //! // The type of `john` is `serde_json::Value`
58 //! let john = json!({
59 //! "name": full_name,
60 //! "age": age_last_year + 1,
62 //! format!("+44 {}", random_phone())
69 //! A string of JSON data can be parsed into a `serde_json::Value` by the
70 //! [`serde_json::from_str`][from_str] function. There is also
71 //! [`from_slice`][from_slice] for parsing from a byte slice &[u8] and
72 //! [`from_reader`][from_reader] for parsing from any `io::Read` like a File or
76 //! extern crate serde_json;
78 //! use serde_json::{Value, Error};
80 //! fn untyped_example() -> Result<(), Error> {
81 //! // Some JSON input data as a &str. Maybe this comes from the user.
83 //! "name": "John Doe",
91 //! // Parse the string of data into serde_json::Value.
92 //! let v: Value = serde_json::from_str(data)?;
94 //! // Access parts of the data by indexing with square brackets.
95 //! println!("Please call {} at the number {}", v["name"], v["phones"][0]);
101 //! # untyped_example().unwrap();
105 //! [macro]: https://docs.serde.rs/serde_json/macro.json.html
106 //! [from_str]: https://docs.serde.rs/serde_json/de/fn.from_str.html
107 //! [from_slice]: https://docs.serde.rs/serde_json/de/fn.from_slice.html
108 //! [from_reader]: https://docs.serde.rs/serde_json/de/fn.from_reader.html
113 use serde
::ser
::Serialize
;
114 use serde
::de
::DeserializeOwned
;
118 pub use number
::Number
;
120 pub use self::index
::Index
;
122 use self::ser
::Serializer
;
124 /// Represents any valid JSON value.
126 /// See the `serde_json::value` module documentation for usage examples.
127 #[derive(Debug, Clone, PartialEq)]
129 /// Represents a JSON null value.
133 /// # extern crate serde_json;
136 /// let v = json!(null);
141 /// Represents a JSON boolean.
145 /// # extern crate serde_json;
148 /// let v = json!(true);
153 /// Represents a JSON number, whether integer or floating point.
157 /// # extern crate serde_json;
160 /// let v = json!(12.5);
165 /// Represents a JSON string.
169 /// # extern crate serde_json;
172 /// let v = json!("a string");
177 /// Represents a JSON array.
181 /// # extern crate serde_json;
184 /// let v = json!(["an", "array"]);
189 /// Represents a JSON object.
191 /// By default the map is backed by a BTreeMap. Enable the `preserve_order`
192 /// feature of serde_json to use LinkedHashMap instead, which preserves
193 /// entries in the order they are inserted into the map. In particular, this
194 /// allows JSON data to be deserialized into a Value and serialized to a
195 /// string while retaining the order of map keys in the input.
199 /// # extern crate serde_json;
202 /// let v = json!({ "an": "object" });
205 Object(Map
<String
, Value
>),
208 fn parse_index(s
: &str) -> Option
<usize> {
209 if s
.starts_with('
+'
) || (s
.starts_with('
0'
) && s
.len() != 1) {
216 /// Index into a JSON array or map. A string index can be used to access a
217 /// value in a map, and a usize index can be used to access an element of an
220 /// Returns `None` if the type of `self` does not match the type of the
221 /// index, for example if the index is a string and `self` is an array or a
222 /// number. Also returns `None` if the given key does not exist in the map
223 /// or the given index is not within the bounds of the array.
227 /// # extern crate serde_json;
230 /// let object = json!({ "A": 65, "B": 66, "C": 67 });
231 /// assert_eq!(*object.get("A").unwrap(), json!(65));
233 /// let array = json!([ "A", "B", "C" ]);
234 /// assert_eq!(*array.get(2).unwrap(), json!("C"));
236 /// assert_eq!(array.get("A"), None);
240 /// Square brackets can also be used to index into a value in a more concise
241 /// way. This returns `Value::Null` in cases where `get` would have returned
246 /// # extern crate serde_json;
249 /// let object = json!({
250 /// "A": ["a", "á", "à"],
251 /// "B": ["b", "b́"],
252 /// "C": ["c", "ć", "ć̣", "ḉ"],
254 /// assert_eq!(object["B"][0], json!("b"));
256 /// assert_eq!(object["D"], json!(null));
257 /// assert_eq!(object[0]["x"]["y"]["z"], json!(null));
260 pub fn get
<I
: Index
>(&self, index
: I
) -> Option
<&Value
> {
261 index
.index_into(self)
264 /// Mutably index into a JSON array or map. A string index can be used to
265 /// access a value in a map, and a usize index can be used to access an
266 /// element of an array.
268 /// Returns `None` if the type of `self` does not match the type of the
269 /// index, for example if the index is a string and `self` is an array or a
270 /// number. Also returns `None` if the given key does not exist in the map
271 /// or the given index is not within the bounds of the array.
275 /// # extern crate serde_json;
278 /// let mut object = json!({ "A": 65, "B": 66, "C": 67 });
279 /// *object.get_mut("A").unwrap() = json!(69);
281 /// let mut array = json!([ "A", "B", "C" ]);
282 /// *array.get_mut(2).unwrap() = json!("D");
285 pub fn get_mut
<I
: Index
>(&mut self, index
: I
) -> Option
<&mut Value
> {
286 index
.index_into_mut(self)
289 /// Returns true if the `Value` is an Object. Returns false otherwise.
291 /// For any Value on which `is_object` returns true, `as_object` and
292 /// `as_object_mut` are guaranteed to return the map representation of the
297 /// # extern crate serde_json;
300 /// let obj = json!({ "a": { "nested": true }, "b": ["an", "array"] });
302 /// assert!(obj.is_object());
303 /// assert!(obj["a"].is_object());
305 /// // array, not an object
306 /// assert!(!obj["b"].is_object());
309 pub fn is_object(&self) -> bool
{
310 self.as_object().is_some()
313 /// If the `Value` is an Object, returns the associated Map. Returns None
318 /// # extern crate serde_json;
321 /// let v = json!({ "a": { "nested": true }, "b": ["an", "array"] });
323 /// // The length of `{"nested": true}` is 1 entry.
324 /// assert_eq!(v["a"].as_object().unwrap().len(), 1);
326 /// // The array `["an", "array"]` is not an object.
327 /// assert_eq!(v["b"].as_object(), None);
330 pub fn as_object(&self) -> Option
<&Map
<String
, Value
>> {
332 Value
::Object(ref map
) => Some(map
),
337 /// If the `Value` is an Object, returns the associated mutable Map.
338 /// Returns None otherwise.
342 /// # extern crate serde_json;
345 /// let mut v = json!({ "a": { "nested": true } });
347 /// v["a"].as_object_mut().unwrap().clear();
348 /// assert_eq!(v, json!({ "a": {} }));
352 pub fn as_object_mut(&mut self) -> Option
<&mut Map
<String
, Value
>> {
354 Value
::Object(ref mut map
) => Some(map
),
359 /// Returns true if the `Value` is an Array. Returns false otherwise.
361 /// For any Value on which `is_array` returns true, `as_array` and
362 /// `as_array_mut` are guaranteed to return the vector representing the
367 /// # extern crate serde_json;
370 /// let obj = json!({ "a": ["an", "array"], "b": { "an": "object" } });
372 /// assert!(obj["a"].is_array());
374 /// // an object, not an array
375 /// assert!(!obj["b"].is_array());
378 pub fn is_array(&self) -> bool
{
379 self.as_array().is_some()
382 /// If the `Value` is an Array, returns the associated vector. Returns None
387 /// # extern crate serde_json;
390 /// let v = json!({ "a": ["an", "array"], "b": { "an": "object" } });
392 /// // The length of `["an", "array"]` is 2 elements.
393 /// assert_eq!(v["a"].as_array().unwrap().len(), 2);
395 /// // The object `{"an": "object"}` is not an array.
396 /// assert_eq!(v["b"].as_array(), None);
399 pub fn as_array(&self) -> Option
<&Vec
<Value
>> {
401 Value
::Array(ref array
) => Some(&*array
),
406 /// If the `Value` is an Array, returns the associated mutable vector.
407 /// Returns None otherwise.
411 /// # extern crate serde_json;
414 /// let mut v = json!({ "a": ["an", "array"] });
416 /// v["a"].as_array_mut().unwrap().clear();
417 /// assert_eq!(v, json!({ "a": [] }));
420 pub fn as_array_mut(&mut self) -> Option
<&mut Vec
<Value
>> {
422 Value
::Array(ref mut list
) => Some(list
),
427 /// Returns true if the `Value` is a String. Returns false otherwise.
429 /// For any Value on which `is_string` returns true, `as_str` is guaranteed
430 /// to return the string slice.
434 /// # extern crate serde_json;
437 /// let v = json!({ "a": "some string", "b": false });
439 /// assert!(v["a"].is_string());
441 /// // The boolean `false` is not a string.
442 /// assert!(!v["b"].is_string());
445 pub fn is_string(&self) -> bool
{
446 self.as_str().is_some()
449 /// If the `Value` is a String, returns the associated str. Returns None
454 /// # extern crate serde_json;
457 /// let v = json!({ "a": "some string", "b": false });
459 /// assert_eq!(v["a"].as_str(), Some("some string"));
461 /// // The boolean `false` is not a string.
462 /// assert_eq!(v["b"].as_str(), None);
465 pub fn as_str(&self) -> Option
<&str> {
467 Value
::String(ref s
) => Some(s
),
472 /// Returns true if the `Value` is a Number. Returns false otherwise.
476 /// # extern crate serde_json;
479 /// let v = json!({ "a": 1, "b": "2" });
481 /// assert!(v["a"].is_number());
483 /// // The string `"2"` is a string, not a number.
484 /// assert!(!v["b"].is_number());
487 pub fn is_number(&self) -> bool
{
489 Value
::Number(_
) => true,
494 /// Returns true if the `Value` is an integer between `i64::MIN` and
497 /// For any Value on which `is_i64` returns true, `as_i64` is guaranteed to
498 /// return the integer value.
502 /// # extern crate serde_json;
507 /// let big = i64::MAX as u64 + 10;
508 /// let v = json!({ "a": 64, "b": big, "c": 256.0 });
510 /// assert!(v["a"].is_i64());
512 /// // Greater than i64::MAX.
513 /// assert!(!v["b"].is_i64());
515 /// // Numbers with a decimal point are not considered integers.
516 /// assert!(!v["c"].is_i64());
519 pub fn is_i64(&self) -> bool
{
521 Value
::Number(ref n
) => n
.is_i64(),
526 /// Returns true if the `Value` is an integer between zero and `u64::MAX`.
528 /// For any Value on which `is_u64` returns true, `as_u64` is guaranteed to
529 /// return the integer value.
533 /// # extern crate serde_json;
536 /// let v = json!({ "a": 64, "b": -64, "c": 256.0 });
538 /// assert!(v["a"].is_u64());
540 /// // Negative integer.
541 /// assert!(!v["b"].is_u64());
543 /// // Numbers with a decimal point are not considered integers.
544 /// assert!(!v["c"].is_u64());
547 pub fn is_u64(&self) -> bool
{
549 Value
::Number(ref n
) => n
.is_u64(),
554 /// Returns true if the `Value` is a number that can be represented by f64.
556 /// For any Value on which `is_f64` returns true, `as_f64` is guaranteed to
557 /// return the floating point value.
559 /// Currently this function returns true if and only if both `is_i64` and
560 /// `is_u64` return false but this is not a guarantee in the future.
564 /// # extern crate serde_json;
567 /// let v = json!({ "a": 256.0, "b": 64, "c": -64 });
569 /// assert!(v["a"].is_f64());
572 /// assert!(!v["b"].is_f64());
573 /// assert!(!v["c"].is_f64());
576 pub fn is_f64(&self) -> bool
{
578 Value
::Number(ref n
) => n
.is_f64(),
583 /// If the `Value` is an integer, represent it as i64 if possible. Returns
588 /// # extern crate serde_json;
593 /// let big = i64::MAX as u64 + 10;
594 /// let v = json!({ "a": 64, "b": big, "c": 256.0 });
596 /// assert_eq!(v["a"].as_i64(), Some(64));
597 /// assert_eq!(v["b"].as_i64(), None);
598 /// assert_eq!(v["c"].as_i64(), None);
601 pub fn as_i64(&self) -> Option
<i64> {
603 Value
::Number(ref n
) => n
.as_i64(),
608 /// If the `Value` is an integer, represent it as u64 if possible. Returns
613 /// # extern crate serde_json;
616 /// let v = json!({ "a": 64, "b": -64, "c": 256.0 });
618 /// assert_eq!(v["a"].as_u64(), Some(64));
619 /// assert_eq!(v["b"].as_u64(), None);
620 /// assert_eq!(v["c"].as_u64(), None);
623 pub fn as_u64(&self) -> Option
<u64> {
625 Value
::Number(ref n
) => n
.as_u64(),
630 /// If the `Value` is a number, represent it as f64 if possible. Returns
635 /// # extern crate serde_json;
638 /// let v = json!({ "a": 256.0, "b": 64, "c": -64 });
640 /// assert_eq!(v["a"].as_f64(), Some(256.0));
641 /// assert_eq!(v["b"].as_f64(), Some(64.0));
642 /// assert_eq!(v["c"].as_f64(), Some(-64.0));
645 pub fn as_f64(&self) -> Option
<f64> {
647 Value
::Number(ref n
) => n
.as_f64(),
652 /// Returns true if the `Value` is a Boolean. Returns false otherwise.
654 /// For any Value on which `is_boolean` returns true, `as_bool` is
655 /// guaranteed to return the boolean value.
659 /// # extern crate serde_json;
662 /// let v = json!({ "a": false, "b": "false" });
664 /// assert!(v["a"].is_boolean());
666 /// // The string `"false"` is a string, not a boolean.
667 /// assert!(!v["b"].is_boolean());
670 pub fn is_boolean(&self) -> bool
{
671 self.as_bool().is_some()
674 /// If the `Value` is a Boolean, returns the associated bool. Returns None
679 /// # extern crate serde_json;
682 /// let v = json!({ "a": false, "b": "false" });
684 /// assert_eq!(v["a"].as_bool(), Some(false));
686 /// // The string `"false"` is a string, not a boolean.
687 /// assert_eq!(v["b"].as_bool(), None);
690 pub fn as_bool(&self) -> Option
<bool
> {
692 Value
::Bool(b
) => Some(b
),
697 /// Returns true if the `Value` is a Null. Returns false otherwise.
699 /// For any Value on which `is_null` returns true, `as_null` is guaranteed
700 /// to return `Some(())`.
704 /// # extern crate serde_json;
707 /// let v = json!({ "a": null, "b": false });
709 /// assert!(v["a"].is_null());
711 /// // The boolean `false` is not null.
712 /// assert!(!v["b"].is_null());
715 pub fn is_null(&self) -> bool
{
716 self.as_null().is_some()
719 /// If the `Value` is a Null, returns (). Returns None otherwise.
723 /// # extern crate serde_json;
726 /// let v = json!({ "a": null, "b": false });
728 /// assert_eq!(v["a"].as_null(), Some(()));
730 /// // The boolean `false` is not null.
731 /// assert_eq!(v["b"].as_null(), None);
734 pub fn as_null(&self) -> Option
<()> {
736 Value
::Null
=> Some(()),
741 /// Looks up a value by a JSON Pointer.
743 /// JSON Pointer defines a string syntax for identifying a specific value
744 /// within a JavaScript Object Notation (JSON) document.
746 /// A Pointer is a Unicode string with the reference tokens separated by `/`.
747 /// Inside tokens `/` is replaced by `~1` and `~` is replaced by `~0`. The
748 /// addressed value is returned and if there is no such value `None` is
751 /// For more information read [RFC6901](https://tools.ietf.org/html/rfc6901).
757 /// # extern crate serde_json;
760 /// let data = json!({
766 /// assert_eq!(data.pointer("/x/y/1").unwrap(), &json!("zz"));
767 /// assert_eq!(data.pointer("/a/b/c"), None);
770 pub fn pointer
<'a
>(&'a
self, pointer
: &str) -> Option
<&'a Value
> {
774 if !pointer
.starts_with('
/'
) {
780 .map(|x
| x
.replace("~1", "/").replace("~0", "~"));
781 let mut target
= self;
783 for token
in tokens
{
784 let target_opt
= match *target
{
785 Value
::Object(ref map
) => map
.get(&token
),
786 Value
::Array(ref list
) => parse_index(&token
).and_then(|x
| list
.get(x
)),
789 if let Some(t
) = target_opt
{
798 /// Looks up a value by a JSON Pointer and returns a mutable reference to
801 /// JSON Pointer defines a string syntax for identifying a specific value
802 /// within a JavaScript Object Notation (JSON) document.
804 /// A Pointer is a Unicode string with the reference tokens separated by `/`.
805 /// Inside tokens `/` is replaced by `~1` and `~` is replaced by `~0`. The
806 /// addressed value is returned and if there is no such value `None` is
809 /// For more information read [RFC6901](https://tools.ietf.org/html/rfc6901).
814 /// extern crate serde_json;
816 /// use serde_json::Value;
820 /// let s = r#"{"x": 1.0, "y": 2.0}"#;
821 /// let mut value: Value = serde_json::from_str(s).unwrap();
823 /// // Check value using read-only pointer
824 /// assert_eq!(value.pointer("/x"), Some(&1.0.into()));
825 /// // Change value with direct assignment
826 /// *value.pointer_mut("/x").unwrap() = 1.5.into();
827 /// // Check that new value was written
828 /// assert_eq!(value.pointer("/x"), Some(&1.5.into()));
830 /// // "Steal" ownership of a value. Can replace with any valid Value.
831 /// let old_x = value.pointer_mut("/x").map(|x| mem::replace(x, Value::Null)).unwrap();
832 /// assert_eq!(old_x, 1.5);
833 /// assert_eq!(value.pointer("/x").unwrap(), &Value::Null);
836 pub fn pointer_mut
<'a
>(&'a
mut self, pointer
: &str) -> Option
<&'a
mut Value
> {
840 if !pointer
.starts_with('
/'
) {
846 .map(|x
| x
.replace("~1", "/").replace("~0", "~"));
847 let mut target
= self;
849 for token
in tokens
{
850 // borrow checker gets confused about `target` being mutably borrowed too many times because of the loop
851 // this once-per-loop binding makes the scope clearer and circumvents the error
852 let target_once
= target
;
853 let target_opt
= match *target_once
{
854 Value
::Object(ref mut map
) => map
.get_mut(&token
),
855 Value
::Array(ref mut list
) => {
856 parse_index(&token
).and_then(move |x
| list
.get_mut(x
))
860 if let Some(t
) = target_opt
{
870 /// The default value is `Value::Null`.
872 /// This is useful for handling omitted `Value` fields when deserializing.
878 /// # extern crate serde_derive;
880 /// # extern crate serde_json;
882 /// use serde_json::Value;
884 /// #[derive(Deserialize)]
885 /// struct Settings {
887 /// #[serde(default)]
891 /// # fn try_main() -> Result<(), serde_json::Error> {
892 /// let data = r#" { "level": 42 } "#;
893 /// let s: Settings = serde_json::from_str(data)?;
895 /// assert_eq!(s.level, 42);
896 /// assert_eq!(s.extras, Value::Null);
902 /// # try_main().unwrap()
905 impl Default
for Value
{
906 fn default() -> Value
{
917 /// Convert a `T` into `serde_json::Value` which is an enum that can represent
918 /// any valid JSON data.
921 /// extern crate serde;
924 /// extern crate serde_derive;
927 /// extern crate serde_json;
929 /// use std::error::Error;
931 /// #[derive(Serialize)]
933 /// fingerprint: String,
934 /// location: String,
937 /// fn compare_json_values() -> Result<(), Box<Error>> {
939 /// fingerprint: "0xF9BA143B95FF6D82".to_owned(),
940 /// location: "Menlo Park, CA".to_owned(),
943 /// // The type of `expected` is `serde_json::Value`
944 /// let expected = json!({
945 /// "fingerprint": "0xF9BA143B95FF6D82",
946 /// "location": "Menlo Park, CA",
949 /// let v = serde_json::to_value(u).unwrap();
950 /// assert_eq!(v, expected);
956 /// # compare_json_values().unwrap();
962 /// This conversion can fail if `T`'s implementation of `Serialize` decides to
963 /// fail, or if `T` contains a map with non-string keys.
966 /// extern crate serde_json;
968 /// use std::collections::BTreeMap;
971 /// // The keys in this map are vectors, not strings.
972 /// let mut map = BTreeMap::new();
973 /// map.insert(vec![32, 64], "x86");
975 /// println!("{}", serde_json::to_value(map).unwrap_err());
978 #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
979 // Taking by value is more friendly to iterator adapters, option and result
980 // consumers, etc. See https://github.com/serde-rs/json/pull/149.
981 pub fn to_value
<T
>(value
: T
) -> Result
<Value
, Error
>
985 value
.serialize(Serializer
)
988 /// Interpret a `serde_json::Value` as an instance of type `T`.
990 /// This conversion can fail if the structure of the Value does not match the
991 /// structure expected by `T`, for example if `T` is a struct type but the Value
992 /// contains something other than a JSON map. It can also fail if the structure
993 /// is correct but `T`'s implementation of `Deserialize` decides that something
994 /// is wrong with the data, for example required struct fields are missing from
995 /// the JSON map or some number is too big to fit in the expected primitive
1000 /// extern crate serde_json;
1003 /// extern crate serde_derive;
1005 /// extern crate serde;
1007 /// #[derive(Deserialize, Debug)]
1009 /// fingerprint: String,
1010 /// location: String,
1014 /// // The type of `j` is `serde_json::Value`
1016 /// "fingerprint": "0xF9BA143B95FF6D82",
1017 /// "location": "Menlo Park, CA"
1020 /// let u: User = serde_json::from_value(j).unwrap();
1021 /// println!("{:#?}", u);
1024 pub fn from_value
<T
>(value
: Value
) -> Result
<T
, Error
>
1026 T
: DeserializeOwned
,
1028 T
::deserialize(value
)