* docs: writing generic code for json_view A "Writing generic code" section on the json_view page: why a function taking json_view accepts no other view, the three signatures for editable, read-only, or either kind of view (passed by value), why the modes do not convert, is_json_view, and how a from_json() reads views (constrained to json values and views; the macros and the library's conversions do it already) with what differs then (duplicate keys, JSON_DIAGNOSTICS paths). Signed-off-by: Niels Lohmann <mail@nlohmann.me> * docs: name the documents the generic view function accepts Signed-off-by: Niels Lohmann <mail@nlohmann.me> * docs: views of read-only documents convert to editable views Signed-off-by: Niels Lohmann <mail@nlohmann.me> --------- Signed-off-by: Niels Lohmann <mail@nlohmann.me>
9.0 KiB
nlohmann::basic_json_view::get
template<typename T>
T get() const;
Converts the value to T.
For the types below, the conversion works directly on the flat index -- no BasicJsonType value is built for it:
#!cpp bool- arithmetic types other than
#!cpp bool(for a boolean,#!cpp 0/#!cpp 1, exactly as forBasicJsonType::get<T>()) #!cpp std::nullptr_t#!cpp std::basic_string<char, Traits, Alloc>(includingstring_t) -- a copy of the stringstring_view_t-- no copy: the returned view points into the document'ssource()text, or, for a string that contains escape sequences, into the document's own buffer of decoded strings (seeget_string())BasicJsonType-- equivalent tomaterialize()basic_json_view-- returns#!cpp *this#!cpp std::vector<U, A>of the types above -- from an array, element by element, each converted with#!cpp get<U>();#!cpp std::vector<basic_json_view>keeps a view of every element instead of a value#!cpp std::map<K, basic_json_view, C, A>and#!cpp std::unordered_map<K, basic_json_view, H, E, A>, ifKis constructible from a#!cpp (const char*, std::size_t)pair -- views of the members of an object; with a repeated key, the view of the last member is kept, asBasicJsonType::parse()keeps its value
A default-constructible T whose from_json() accepts views reads the view directly as well, without building a
BasicJsonType value. This covers the library's own conversions of the standard library types -- all other
#!cpp std::vectors, #!cpp std::map/#!cpp std::unordered_map (also with other key types), #!cpp std::list,
#!cpp std::deque, #!cpp std::set, #!cpp std::forward_list, #!cpp std::valarray, #!cpp std::array, C arrays,
#!cpp std::pair, #!cpp std::tuple, #!cpp std::optional, enumerations, #!cpp std::filesystem::path, ... --
which give the same values as #!cpp materialize().get<T>() (from an object, a repeated key keeps the last value,
as BasicJsonType::parse() does), as well as the types of the
NLOHMANN_DEFINE_TYPE_* and
NLOHMANN_DEFINE_DERIVED_TYPE_* macros and the enumerations of
NLOHMANN_JSON_SERIALIZE_ENUM, and any from_json() constrained to
accept views, e.g. with is_json_view. A from_json() that also accepts types that are no JSON
values at all, such as the unconstrained #!cpp template<typename BasicJsonType> void from_json(const BasicJsonType&, T&) of arbitrary type conversions, is not called with a view: it may use
BasicJsonType functions a view does not have. See Writing generic code.
!!! warning "Duplicate keys"
Such a `from_json()` looks members up in the view, where a repeated key finds the **first** member, while
`#!cpp materialize().get<T>()` sees the **last** one, as [`BasicJsonType::parse()`](../basic_json/parse.md)
keeps it: for `#!cpp {"x":1,"x":2}`, `#!cpp get<point>()` reads `#!cpp x == 1`. See
[Duplicate keys](../../features/json_view.md#duplicate-keys).
Every other T -- user types whose from_json() is written for BasicJsonType only, types without a default
constructor, #!cpp std::tuples holding references, ... -- is converted by #!cpp materialize().get<T>(): the subtree is built into a real BasicJsonType
value first (as BasicJsonType::parse() would), and converted from there exactly as
BasicJsonType::get<T>() would convert it.
Template parameters
T- the type to convert the value to
Return value
the value, converted to T
Exception safety
Strong guarantee: there are no changes to the view or the document it refers to.
Exceptions
- For the directly-converted types listed above (other than
BasicJsonTypeandbasic_json_view, which never throw): throwstype_error.302if the value's type does not matchT-- the same exception, with the same message, thatBasicJsonType::get<T>()throws for the same JSON type andT. - For
#!cpp std::vector<U, A>: throwstype_error.302if the value is not an array; otherwise, whatever converting an element toUthrows. - For
#!cpp std::map/#!cpp std::unordered_mapof views: throwstype_error.302if the value is not an object. - For a
Twhosefrom_json()reads the view: whatever thatfrom_json()throws; for the library's conversions and the macros, the same exceptions with the same messages asBasicJsonType::get<T>()of the same value. - For every other
T: whatevermaterialize().get<T>()throws -- typicallytype_error.302, or whatever a user-providedfrom_json()throws.
None of the exceptions thrown directly by this function or by a from_json() that reads the view (the first four
bullets above) carry a
JSON_DIAGNOSTICS path: the view has no BasicJsonType value to point at. An
exception thrown while converting through materialize() (the last bullet) is different: it is thrown by a real
BasicJsonType value, so it does carry a JSON_DIAGNOSTICS path if BasicJsonType was built with it enabled.
That path is relative to the root of the view's subtree, because materialize() builds only the subtree (with parent
pointers): it is empty if the failing value is the subtree's root itself, and it never is the path within the whole
document.
Complexity
#!cpp bool, arithmetic types,#!cpp std::nullptr_t,string_view_t,basic_json_view: constant.#!cpp std::basic_string<char, Traits, Alloc>: constant, plus one allocation and a copy of the string's bytes.BasicJsonType: linear in the size of the subtree, seematerialize().#!cpp std::vector<U, A>: linear in the number of elements, times the complexity of converting one element toU.#!cpp std::map/#!cpp std::unordered_map: linear in the number of members for walking them, plus the container's own insertion cost per member (logarithmic for#!cpp std::map, amortized constant for#!cpp std::unordered_map), times the complexity of converting one member to the mapped type.- a
Twhosefrom_json()reads the view: the cost of thatfrom_json(); for the macros, linear in the number of members times the cost of a lookup, plus the cost of converting the members. - every other
T: the cost ofmaterialize()and of destroying theBasicJsonTypevalue afterwards, plus that ofBasicJsonType::get<T>().
Notes
!!! info "Floating-point values"
A floating-point `T` is converted from the same digits the lexer would see during `#!cpp BasicJsonType::parse()`,
using the same conversion, so the result is bit-for-bit identical to `#!cpp BasicJsonType::parse(text).get<T>()`
for the same source text.
!!! info "Duplicate keys"
`#!cpp std::map`/`#!cpp std::unordered_map` conversions keep the *last* value of a repeated key, like
[`materialize()`](materialize.md) and [`BasicJsonType::parse()`](../basic_json/parse.md) do. This is the opposite
of [`operator[]`](operator[].md)/[`at`](at.md)/[`find`](find.md)/[`contains`](contains.md), which resolve to the
*first* occurrence (see the [Notes on duplicate keys](operator[].md#notes)).
!!! info "No pointers, references, or implicit conversion"
Unlike `BasicJsonType`, `basic_json_view` has no stored value anywhere to hand out a pointer or a reference to, so
it provides neither `#!cpp get_ptr()`, `#!cpp get_ref()`, nor `#!cpp operator ValueType()`.
[`get_string()`](get_string.md) (equivalently, `#!cpp get<string_view_t>()`) is the zero-copy alternative for
strings.
Examples
??? example
The example below reads typed fields straight into C++ variables, collects a view of every array element with
`#!cpp get<std::vector<basic_json_view>>()` instead of a value, and converts a nested object into a user type
through its `from_json()` -- which runs on a `BasicJsonType` value `materialize()` builds for just that one
member.
```cpp
--8<-- "examples/basic_json_view__get.cpp"
```
Output:
```json
--8<-- "examples/basic_json_view__get.output"
```
See also
- get_to - convert and write into a passed value
- get_string - the string, without a copy
- number_token - a number's token text, without a copy
- materialize - build the
BasicJsonTypevalue of this subtree BasicJsonType::get- the corresponding function ofbasic_json
Version history
- Added in version 3.13.0.