]>
git.proxmox.com Git - rustc.git/blob - src/vendor/serde_json/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
110 use std
::fmt
::{self, Debug}
;
114 use serde
::ser
::Serialize
;
115 use serde
::de
::DeserializeOwned
;
119 pub use number
::Number
;
121 pub use self::index
::Index
;
123 use self::ser
::Serializer
;
125 /// Represents any valid JSON value.
127 /// See the `serde_json::value` module documentation for usage examples.
128 #[derive(Clone, PartialEq)]
130 /// Represents a JSON null value.
134 /// # extern crate serde_json;
137 /// let v = json!(null);
142 /// Represents a JSON boolean.
146 /// # extern crate serde_json;
149 /// let v = json!(true);
154 /// Represents a JSON number, whether integer or floating point.
158 /// # extern crate serde_json;
161 /// let v = json!(12.5);
166 /// Represents a JSON string.
170 /// # extern crate serde_json;
173 /// let v = json!("a string");
178 /// Represents a JSON array.
182 /// # extern crate serde_json;
185 /// let v = json!(["an", "array"]);
190 /// Represents a JSON object.
192 /// By default the map is backed by a BTreeMap. Enable the `preserve_order`
193 /// feature of serde_json to use LinkedHashMap instead, which preserves
194 /// entries in the order they are inserted into the map. In particular, this
195 /// allows JSON data to be deserialized into a Value and serialized to a
196 /// string while retaining the order of map keys in the input.
200 /// # extern crate serde_json;
203 /// let v = json!({ "an": "object" });
206 Object(Map
<String
, Value
>),
209 impl Debug
for Value
{
210 fn fmt(&self, formatter
: &mut fmt
::Formatter
) -> fmt
::Result
{
213 formatter
.debug_tuple("Null").finish()
216 formatter
.debug_tuple("Bool").field(&v
).finish()
218 Value
::Number(ref v
) => {
219 Debug
::fmt(v
, formatter
)
221 Value
::String(ref v
) => {
222 formatter
.debug_tuple("String").field(v
).finish()
224 Value
::Array(ref v
) => {
225 formatter
.debug_tuple("Array").field(v
).finish()
227 Value
::Object(ref v
) => {
228 formatter
.debug_tuple("Object").field(v
).finish()
234 fn parse_index(s
: &str) -> Option
<usize> {
235 if s
.starts_with('
+'
) || (s
.starts_with('
0'
) && s
.len() != 1) {
242 /// Index into a JSON array or map. A string index can be used to access a
243 /// value in a map, and a usize index can be used to access an element of an
246 /// Returns `None` if the type of `self` does not match the type of the
247 /// index, for example if the index is a string and `self` is an array or a
248 /// number. Also returns `None` if the given key does not exist in the map
249 /// or the given index is not within the bounds of the array.
253 /// # extern crate serde_json;
256 /// let object = json!({ "A": 65, "B": 66, "C": 67 });
257 /// assert_eq!(*object.get("A").unwrap(), json!(65));
259 /// let array = json!([ "A", "B", "C" ]);
260 /// assert_eq!(*array.get(2).unwrap(), json!("C"));
262 /// assert_eq!(array.get("A"), None);
266 /// Square brackets can also be used to index into a value in a more concise
267 /// way. This returns `Value::Null` in cases where `get` would have returned
272 /// # extern crate serde_json;
275 /// let object = json!({
276 /// "A": ["a", "á", "à"],
277 /// "B": ["b", "b́"],
278 /// "C": ["c", "ć", "ć̣", "ḉ"],
280 /// assert_eq!(object["B"][0], json!("b"));
282 /// assert_eq!(object["D"], json!(null));
283 /// assert_eq!(object[0]["x"]["y"]["z"], json!(null));
286 pub fn get
<I
: Index
>(&self, index
: I
) -> Option
<&Value
> {
287 index
.index_into(self)
290 /// Mutably index into a JSON array or map. A string index can be used to
291 /// access a value in a map, and a usize index can be used to access an
292 /// element of an array.
294 /// Returns `None` if the type of `self` does not match the type of the
295 /// index, for example if the index is a string and `self` is an array or a
296 /// number. Also returns `None` if the given key does not exist in the map
297 /// or the given index is not within the bounds of the array.
301 /// # extern crate serde_json;
304 /// let mut object = json!({ "A": 65, "B": 66, "C": 67 });
305 /// *object.get_mut("A").unwrap() = json!(69);
307 /// let mut array = json!([ "A", "B", "C" ]);
308 /// *array.get_mut(2).unwrap() = json!("D");
311 pub fn get_mut
<I
: Index
>(&mut self, index
: I
) -> Option
<&mut Value
> {
312 index
.index_into_mut(self)
315 /// Returns true if the `Value` is an Object. Returns false otherwise.
317 /// For any Value on which `is_object` returns true, `as_object` and
318 /// `as_object_mut` are guaranteed to return the map representation of the
323 /// # extern crate serde_json;
326 /// let obj = json!({ "a": { "nested": true }, "b": ["an", "array"] });
328 /// assert!(obj.is_object());
329 /// assert!(obj["a"].is_object());
331 /// // array, not an object
332 /// assert!(!obj["b"].is_object());
335 pub fn is_object(&self) -> bool
{
336 self.as_object().is_some()
339 /// If the `Value` is an Object, returns the associated Map. Returns None
344 /// # extern crate serde_json;
347 /// let v = json!({ "a": { "nested": true }, "b": ["an", "array"] });
349 /// // The length of `{"nested": true}` is 1 entry.
350 /// assert_eq!(v["a"].as_object().unwrap().len(), 1);
352 /// // The array `["an", "array"]` is not an object.
353 /// assert_eq!(v["b"].as_object(), None);
356 pub fn as_object(&self) -> Option
<&Map
<String
, Value
>> {
358 Value
::Object(ref map
) => Some(map
),
363 /// If the `Value` is an Object, returns the associated mutable Map.
364 /// Returns None otherwise.
368 /// # extern crate serde_json;
371 /// let mut v = json!({ "a": { "nested": true } });
373 /// v["a"].as_object_mut().unwrap().clear();
374 /// assert_eq!(v, json!({ "a": {} }));
378 pub fn as_object_mut(&mut self) -> Option
<&mut Map
<String
, Value
>> {
380 Value
::Object(ref mut map
) => Some(map
),
385 /// Returns true if the `Value` is an Array. Returns false otherwise.
387 /// For any Value on which `is_array` returns true, `as_array` and
388 /// `as_array_mut` are guaranteed to return the vector representing the
393 /// # extern crate serde_json;
396 /// let obj = json!({ "a": ["an", "array"], "b": { "an": "object" } });
398 /// assert!(obj["a"].is_array());
400 /// // an object, not an array
401 /// assert!(!obj["b"].is_array());
404 pub fn is_array(&self) -> bool
{
405 self.as_array().is_some()
408 /// If the `Value` is an Array, returns the associated vector. Returns None
413 /// # extern crate serde_json;
416 /// let v = json!({ "a": ["an", "array"], "b": { "an": "object" } });
418 /// // The length of `["an", "array"]` is 2 elements.
419 /// assert_eq!(v["a"].as_array().unwrap().len(), 2);
421 /// // The object `{"an": "object"}` is not an array.
422 /// assert_eq!(v["b"].as_array(), None);
425 pub fn as_array(&self) -> Option
<&Vec
<Value
>> {
427 Value
::Array(ref array
) => Some(&*array
),
432 /// If the `Value` is an Array, returns the associated mutable vector.
433 /// Returns None otherwise.
437 /// # extern crate serde_json;
440 /// let mut v = json!({ "a": ["an", "array"] });
442 /// v["a"].as_array_mut().unwrap().clear();
443 /// assert_eq!(v, json!({ "a": [] }));
446 pub fn as_array_mut(&mut self) -> Option
<&mut Vec
<Value
>> {
448 Value
::Array(ref mut list
) => Some(list
),
453 /// Returns true if the `Value` is a String. Returns false otherwise.
455 /// For any Value on which `is_string` returns true, `as_str` is guaranteed
456 /// to return the string slice.
460 /// # extern crate serde_json;
463 /// let v = json!({ "a": "some string", "b": false });
465 /// assert!(v["a"].is_string());
467 /// // The boolean `false` is not a string.
468 /// assert!(!v["b"].is_string());
471 pub fn is_string(&self) -> bool
{
472 self.as_str().is_some()
475 /// If the `Value` is a String, returns the associated str. Returns None
480 /// # extern crate serde_json;
483 /// let v = json!({ "a": "some string", "b": false });
485 /// assert_eq!(v["a"].as_str(), Some("some string"));
487 /// // The boolean `false` is not a string.
488 /// assert_eq!(v["b"].as_str(), None);
490 /// // JSON values are printed in JSON representation, so strings are in quotes.
492 /// // The value is: "some string"
493 /// println!("The value is: {}", v["a"]);
495 /// // Rust strings are printed without quotes.
497 /// // The value is: some string
498 /// println!("The value is: {}", v["a"].as_str().unwrap());
501 pub fn as_str(&self) -> Option
<&str> {
503 Value
::String(ref s
) => Some(s
),
508 /// Returns true if the `Value` is a Number. Returns false otherwise.
512 /// # extern crate serde_json;
515 /// let v = json!({ "a": 1, "b": "2" });
517 /// assert!(v["a"].is_number());
519 /// // The string `"2"` is a string, not a number.
520 /// assert!(!v["b"].is_number());
523 pub fn is_number(&self) -> bool
{
525 Value
::Number(_
) => true,
530 /// Returns true if the `Value` is an integer between `i64::MIN` and
533 /// For any Value on which `is_i64` returns true, `as_i64` is guaranteed to
534 /// return the integer value.
538 /// # extern crate serde_json;
543 /// let big = i64::MAX as u64 + 10;
544 /// let v = json!({ "a": 64, "b": big, "c": 256.0 });
546 /// assert!(v["a"].is_i64());
548 /// // Greater than i64::MAX.
549 /// assert!(!v["b"].is_i64());
551 /// // Numbers with a decimal point are not considered integers.
552 /// assert!(!v["c"].is_i64());
555 pub fn is_i64(&self) -> bool
{
557 Value
::Number(ref n
) => n
.is_i64(),
562 /// Returns true if the `Value` is an integer between zero and `u64::MAX`.
564 /// For any Value on which `is_u64` returns true, `as_u64` is guaranteed to
565 /// return the integer value.
569 /// # extern crate serde_json;
572 /// let v = json!({ "a": 64, "b": -64, "c": 256.0 });
574 /// assert!(v["a"].is_u64());
576 /// // Negative integer.
577 /// assert!(!v["b"].is_u64());
579 /// // Numbers with a decimal point are not considered integers.
580 /// assert!(!v["c"].is_u64());
583 pub fn is_u64(&self) -> bool
{
585 Value
::Number(ref n
) => n
.is_u64(),
590 /// Returns true if the `Value` is a number that can be represented by f64.
592 /// For any Value on which `is_f64` returns true, `as_f64` is guaranteed to
593 /// return the floating point value.
595 /// Currently this function returns true if and only if both `is_i64` and
596 /// `is_u64` return false but this is not a guarantee in the future.
600 /// # extern crate serde_json;
603 /// let v = json!({ "a": 256.0, "b": 64, "c": -64 });
605 /// assert!(v["a"].is_f64());
608 /// assert!(!v["b"].is_f64());
609 /// assert!(!v["c"].is_f64());
612 pub fn is_f64(&self) -> bool
{
614 Value
::Number(ref n
) => n
.is_f64(),
619 /// If the `Value` is an integer, represent it as i64 if possible. Returns
624 /// # extern crate serde_json;
629 /// let big = i64::MAX as u64 + 10;
630 /// let v = json!({ "a": 64, "b": big, "c": 256.0 });
632 /// assert_eq!(v["a"].as_i64(), Some(64));
633 /// assert_eq!(v["b"].as_i64(), None);
634 /// assert_eq!(v["c"].as_i64(), None);
637 pub fn as_i64(&self) -> Option
<i64> {
639 Value
::Number(ref n
) => n
.as_i64(),
644 /// If the `Value` is an integer, represent it as u64 if possible. Returns
649 /// # extern crate serde_json;
652 /// let v = json!({ "a": 64, "b": -64, "c": 256.0 });
654 /// assert_eq!(v["a"].as_u64(), Some(64));
655 /// assert_eq!(v["b"].as_u64(), None);
656 /// assert_eq!(v["c"].as_u64(), None);
659 pub fn as_u64(&self) -> Option
<u64> {
661 Value
::Number(ref n
) => n
.as_u64(),
666 /// If the `Value` is a number, represent it as f64 if possible. Returns
671 /// # extern crate serde_json;
674 /// let v = json!({ "a": 256.0, "b": 64, "c": -64 });
676 /// assert_eq!(v["a"].as_f64(), Some(256.0));
677 /// assert_eq!(v["b"].as_f64(), Some(64.0));
678 /// assert_eq!(v["c"].as_f64(), Some(-64.0));
681 pub fn as_f64(&self) -> Option
<f64> {
683 Value
::Number(ref n
) => n
.as_f64(),
688 /// Returns true if the `Value` is a Boolean. Returns false otherwise.
690 /// For any Value on which `is_boolean` returns true, `as_bool` is
691 /// guaranteed to return the boolean value.
695 /// # extern crate serde_json;
698 /// let v = json!({ "a": false, "b": "false" });
700 /// assert!(v["a"].is_boolean());
702 /// // The string `"false"` is a string, not a boolean.
703 /// assert!(!v["b"].is_boolean());
706 pub fn is_boolean(&self) -> bool
{
707 self.as_bool().is_some()
710 /// If the `Value` is a Boolean, returns the associated bool. Returns None
715 /// # extern crate serde_json;
718 /// let v = json!({ "a": false, "b": "false" });
720 /// assert_eq!(v["a"].as_bool(), Some(false));
722 /// // The string `"false"` is a string, not a boolean.
723 /// assert_eq!(v["b"].as_bool(), None);
726 pub fn as_bool(&self) -> Option
<bool
> {
728 Value
::Bool(b
) => Some(b
),
733 /// Returns true if the `Value` is a Null. Returns false otherwise.
735 /// For any Value on which `is_null` returns true, `as_null` is guaranteed
736 /// to return `Some(())`.
740 /// # extern crate serde_json;
743 /// let v = json!({ "a": null, "b": false });
745 /// assert!(v["a"].is_null());
747 /// // The boolean `false` is not null.
748 /// assert!(!v["b"].is_null());
751 pub fn is_null(&self) -> bool
{
752 self.as_null().is_some()
755 /// If the `Value` is a Null, returns (). Returns None otherwise.
759 /// # extern crate serde_json;
762 /// let v = json!({ "a": null, "b": false });
764 /// assert_eq!(v["a"].as_null(), Some(()));
766 /// // The boolean `false` is not null.
767 /// assert_eq!(v["b"].as_null(), None);
770 pub fn as_null(&self) -> Option
<()> {
772 Value
::Null
=> Some(()),
777 /// Looks up a value by a JSON Pointer.
779 /// JSON Pointer defines a string syntax for identifying a specific value
780 /// within a JavaScript Object Notation (JSON) document.
782 /// A Pointer is a Unicode string with the reference tokens separated by `/`.
783 /// Inside tokens `/` is replaced by `~1` and `~` is replaced by `~0`. The
784 /// addressed value is returned and if there is no such value `None` is
787 /// For more information read [RFC6901](https://tools.ietf.org/html/rfc6901).
793 /// # extern crate serde_json;
796 /// let data = json!({
802 /// assert_eq!(data.pointer("/x/y/1").unwrap(), &json!("zz"));
803 /// assert_eq!(data.pointer("/a/b/c"), None);
806 pub fn pointer
<'a
>(&'a
self, pointer
: &str) -> Option
<&'a Value
> {
810 if !pointer
.starts_with('
/'
) {
816 .map(|x
| x
.replace("~1", "/").replace("~0", "~"));
817 let mut target
= self;
819 for token
in tokens
{
820 let target_opt
= match *target
{
821 Value
::Object(ref map
) => map
.get(&token
),
822 Value
::Array(ref list
) => parse_index(&token
).and_then(|x
| list
.get(x
)),
825 if let Some(t
) = target_opt
{
834 /// Looks up a value by a JSON Pointer and returns a mutable reference to
837 /// JSON Pointer defines a string syntax for identifying a specific value
838 /// within a JavaScript Object Notation (JSON) document.
840 /// A Pointer is a Unicode string with the reference tokens separated by `/`.
841 /// Inside tokens `/` is replaced by `~1` and `~` is replaced by `~0`. The
842 /// addressed value is returned and if there is no such value `None` is
845 /// For more information read [RFC6901](https://tools.ietf.org/html/rfc6901).
850 /// extern crate serde_json;
852 /// use serde_json::Value;
856 /// let s = r#"{"x": 1.0, "y": 2.0}"#;
857 /// let mut value: Value = serde_json::from_str(s).unwrap();
859 /// // Check value using read-only pointer
860 /// assert_eq!(value.pointer("/x"), Some(&1.0.into()));
861 /// // Change value with direct assignment
862 /// *value.pointer_mut("/x").unwrap() = 1.5.into();
863 /// // Check that new value was written
864 /// assert_eq!(value.pointer("/x"), Some(&1.5.into()));
866 /// // "Steal" ownership of a value. Can replace with any valid Value.
867 /// let old_x = value.pointer_mut("/x").map(|x| mem::replace(x, Value::Null)).unwrap();
868 /// assert_eq!(old_x, 1.5);
869 /// assert_eq!(value.pointer("/x").unwrap(), &Value::Null);
872 pub fn pointer_mut
<'a
>(&'a
mut self, pointer
: &str) -> Option
<&'a
mut Value
> {
876 if !pointer
.starts_with('
/'
) {
882 .map(|x
| x
.replace("~1", "/").replace("~0", "~"));
883 let mut target
= self;
885 for token
in tokens
{
886 // borrow checker gets confused about `target` being mutably borrowed too many times because of the loop
887 // this once-per-loop binding makes the scope clearer and circumvents the error
888 let target_once
= target
;
889 let target_opt
= match *target_once
{
890 Value
::Object(ref mut map
) => map
.get_mut(&token
),
891 Value
::Array(ref mut list
) => {
892 parse_index(&token
).and_then(move |x
| list
.get_mut(x
))
896 if let Some(t
) = target_opt
{
906 /// The default value is `Value::Null`.
908 /// This is useful for handling omitted `Value` fields when deserializing.
914 /// # extern crate serde_derive;
916 /// # extern crate serde_json;
918 /// use serde_json::Value;
920 /// #[derive(Deserialize)]
921 /// struct Settings {
923 /// #[serde(default)]
927 /// # fn try_main() -> Result<(), serde_json::Error> {
928 /// let data = r#" { "level": 42 } "#;
929 /// let s: Settings = serde_json::from_str(data)?;
931 /// assert_eq!(s.level, 42);
932 /// assert_eq!(s.extras, Value::Null);
938 /// # try_main().unwrap()
941 impl Default
for Value
{
942 fn default() -> Value
{
953 /// Convert a `T` into `serde_json::Value` which is an enum that can represent
954 /// any valid JSON data.
957 /// extern crate serde;
960 /// extern crate serde_derive;
963 /// extern crate serde_json;
965 /// use std::error::Error;
967 /// #[derive(Serialize)]
969 /// fingerprint: String,
970 /// location: String,
973 /// fn compare_json_values() -> Result<(), Box<Error>> {
975 /// fingerprint: "0xF9BA143B95FF6D82".to_owned(),
976 /// location: "Menlo Park, CA".to_owned(),
979 /// // The type of `expected` is `serde_json::Value`
980 /// let expected = json!({
981 /// "fingerprint": "0xF9BA143B95FF6D82",
982 /// "location": "Menlo Park, CA",
985 /// let v = serde_json::to_value(u).unwrap();
986 /// assert_eq!(v, expected);
992 /// # compare_json_values().unwrap();
998 /// This conversion can fail if `T`'s implementation of `Serialize` decides to
999 /// fail, or if `T` contains a map with non-string keys.
1002 /// extern crate serde_json;
1004 /// use std::collections::BTreeMap;
1007 /// // The keys in this map are vectors, not strings.
1008 /// let mut map = BTreeMap::new();
1009 /// map.insert(vec![32, 64], "x86");
1011 /// println!("{}", serde_json::to_value(map).unwrap_err());
1014 // Taking by value is more friendly to iterator adapters, option and result
1015 // consumers, etc. See https://github.com/serde-rs/json/pull/149.
1016 pub fn to_value
<T
>(value
: T
) -> Result
<Value
, Error
>
1020 value
.serialize(Serializer
)
1023 /// Interpret a `serde_json::Value` as an instance of type `T`.
1025 /// This conversion can fail if the structure of the Value does not match the
1026 /// structure expected by `T`, for example if `T` is a struct type but the Value
1027 /// contains something other than a JSON map. It can also fail if the structure
1028 /// is correct but `T`'s implementation of `Deserialize` decides that something
1029 /// is wrong with the data, for example required struct fields are missing from
1030 /// the JSON map or some number is too big to fit in the expected primitive
1035 /// extern crate serde_json;
1038 /// extern crate serde_derive;
1040 /// extern crate serde;
1042 /// #[derive(Deserialize, Debug)]
1044 /// fingerprint: String,
1045 /// location: String,
1049 /// // The type of `j` is `serde_json::Value`
1051 /// "fingerprint": "0xF9BA143B95FF6D82",
1052 /// "location": "Menlo Park, CA"
1055 /// let u: User = serde_json::from_value(j).unwrap();
1056 /// println!("{:#?}", u);
1059 pub fn from_value
<T
>(value
: Value
) -> Result
<T
, Error
>
1061 T
: DeserializeOwned
,
1063 T
::deserialize(value
)