With JSON_DIAGNOSTICS and JSON_DIAGNOSTIC_POSITIONS, the exceptions of views now carry the same context as those of basic_json: "(/path) " and "(bytes a-b) " in front of the message, in basic_json's format (with JSON_DIAGNOSTICS, no context for the root). Before, views threw without any context, and since get<T>() reads the view directly, conversions had lost even the relative path they used to get through materialize(). The throw helpers of detail/view/errors.hpp take an error_site (document and node; empty without the two macros). Only on the error path, the path is found by descending from the root (pruned by subtree extent before the first edit, a full walk through edited sequences after), and the bytes as materialize() sets them (position_source; a container's end by following the chain of last elements and scanning to the closing brackets). from_json() for views and the strict enum macro put the same context in front through exception_prefix(). Iterators keep their container only under the two macros, for key(). Without the macros, the accessors compile to the same code as before. Tests compare every value's exceptions with those of the parsed or materialized basic_json value, including edited documents; the checks that were disabled under the two macros run again. Signed-off-by: Niels Lohmann <mail@nlohmann.me>
9.1 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.
The exceptions thrown directly by this function or by a from_json() that reads the view (the first four bullets
above) carry the context of those of BasicJsonType: with JSON_DIAGNOSTICS the
JSON Pointer path of the value within the document, and with
JSON_DIAGNOSTIC_POSITIONS its bytes in the source text. An exception
thrown while converting through materialize() (the last bullet) is thrown by the materialized BasicJsonType value
instead: its path is relative to the root of the view's subtree, because materialize() builds only the subtree
(with parent pointers), so it is empty if the failing value is the subtree's root itself.
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 valueget_string- the string, without a copynumber_token- a number's token text, without a copymaterialize- build theBasicJsonTypevalue of this subtreeBasicJsonType::get- the corresponding function ofbasic_json- Zero-copy JSON views - which conversions avoid building a basic_json value
Version history
- Added in version 3.13.0.