json/docs/mkdocs/docs/features/parsing/index.md

Parsing

This library can create a JSON value from a wide range of inputs. This page gives an overview of the available parsing functions and how they behave; the linked pages go into more detail.

flowchart LR
    I["JSON input"] --> P["parse()"]
    I --> S["sax_parse()"]
    I --> A["accept()"]
    P -->|"optional parser callback filters values"| D["basic_json value (DOM)"]
    S --> H["events delivered to a user SAX handler"]
    A --> V["bool: is the input valid JSON?"]

Input

The parse function reads a JSON value from an input. The input can be

• a string (#!cpp std::string, C string, or string literal),
• a wide string (#!cpp std::u16string, #!cpp std::u32string, or #!cpp std::wstring, or a wide string literal),
• a #!cpp std::istream (e.g., an #!cpp std::ifstream reading from a file),
• a #!cpp FILE* pointer,
• a pair of iterators over a contiguous range (e.g., a #!cpp std::vector<std::uint8_t>), or
• a contiguous container.

// parse from a string
json j = json::parse(R"({"happy": true, "pi": 3.141})");

// parse from a file
std::ifstream f("example.json");
json data = json::parse(f);

The input must be encoded in UTF-8; other encodings are not supported. The exception is wide-character input, which is read as UTF-16 or UTF-32 -- depending on the character type -- and converted to UTF-8; see the parse page for an example. A single input may contain only one JSON value. Inputs consisting of multiple values separated by newlines are handled by the JSON Lines format.

By default, the library rejects comments and trailing commas. Both can be enabled with parameters of the parse function — see comments and trailing commas.

basic_json_document::parse accepts the same inputs with the same options, but keeps the result in a document rather than in a basic_json value; see Documents and views below.

Strictness and trailing data

parse reads a single JSON value and requires the whole input to be consumed: any non-whitespace data after the value is reported as a parse error. Use it when you want to guarantee that an input is exactly one complete JSON document.

operator>> follows relaxed #!cpp std::istream semantics instead: it parses one JSON value and leaves the stream positioned right after it, without requiring the rest of the stream to be consumed. This is what makes it possible to read several concatenated values from the same stream, but it also means that "a valid document followed by trailing bytes" is accepted rather than rejected. If you are validating conformance, or need to reject any input that is not exactly one JSON document, prefer parse.

When using operator>> to read several concatenated values this way, a value that is a number must be followed by whitespace, because operator>> consumes the character that terminates a number, unless JSON_PRECISE_STREAM_POSITION is defined to 1 — see the operator>> notes for details and examples.

Input sources and performance

All inputs produce the same values and the same exceptions, but they are read in different ways, which makes some of them faster than others:

input	how it is read
strings, string views, string literals, contiguous containers, pointer or iterator ranges over contiguous memory	the whole input is scanned in bulk: runs of string characters, numbers, and indentation are recognized several bytes at a time
#!cpp std::istream (#!cpp std::ifstream, #!cpp std::istringstream, ...)	the characters the stream buffer holds are scanned in bulk like a string; the stream buffer is asked for more when they are used up
#!cpp FILE*	one character at a time, with the file locked once for the whole parse
other iterator ranges (e.g., #!cpp std::list<char>, #!cpp std::istreambuf_iterator<char>), wide strings	one character at a time

Parsing a file from a #!cpp std::ifstream is therefore only about 10 to 20 % slower than reading the whole file into a #!cpp std::string first and parsing that, and it needs no memory for a copy of the file. The stream is never read ahead: after parsing, it is positioned exactly as if every character had been read one at a time, so operator>> can still read several values from one stream (see also JSON Lines).

Two macros switch these optimizations off without changing any result: JSON_DISABLE_STREAM_BULK_SCAN for stream buffers that do not follow the usual std::streambuf contract, and JSON_DISABLE_UNLOCKED_FILE_IO for programs in which another thread must use the same #!cpp FILE object while it is parsed.

Where the target has them, strings are scanned with vector instructions: SSE2 on x86-64 (and SSSE3 for UTF-8 text, when the CPU has it) and NEON on AArch64. JSON_NO_SIMD selects portable code instead, again without changing any result.

SAX vs. DOM parsing

The library offers two parsing models:

• DOM parsing (the default): the complete input is read and stored as an in-memory basic_json value that can be traversed and modified freely. This is what parse does, and it is the right choice for most use cases.
• SAX parsing: instead of building a value, the parser reports events (such as "a string was read" or "an object started") to a handler that you implement. This avoids building the full value in memory and is useful for very large inputs or when you only need to extract parts of the input. See the SAX interface for details and sax_parse for the API.

You can influence a DOM parse without switching to the SAX interface by passing a parser callback, which is called during parsing and can, for example, discard parts of the input.

Documents and views

A third model sits between DOM and SAX: basic_json_document::parse parses the input into a document that keeps the text and a flat index of the values in it, and basic_json_view gives read-only access to the values through that index. The whole input is validated during parsing, but only strings that contain escape sequences are decoded right away (into a buffer owned by the document). Numbers and all other strings stay in the source text and are only converted when they are read, which is faster and uses less memory than building a tree of basic_json values when only parts of the document are needed. A document can also be modified in place, and it can be saved and loaded again without parsing it.

#include <nlohmann/json_view.hpp>

json_document doc = json_document::parse(R"({"happy": true, "pi": 3.141})");
std::cout << doc.root()["happy"].get<bool>() << '\n';

See Zero-copy JSON views for the concept and the trade-offs.

Exceptions

When the input is not valid JSON, the parse function throws an exception by default. If exceptions are undesired or unavailable, the parser can instead return a discarded value, or accept can be used to only check whether an input is valid JSON. See parsing and exceptions for the available options.

See also

• parse - deserialize from a compatible input
• basic_json_document::parse - deserialize into a document instead of a value
• accept - check if the input is valid JSON
• sax_parse - generate SAX events
• JSON Lines - parse newline-delimited JSON
• parser callbacks - influence the parsing by a callback function
• SAX interface - implement a custom SAX handler
• parsing and exceptions - control error handling
• parsing untrusted input - what to consider when parsing input from untrusted sources
• Zero-copy JSON views - parse into a document and read it through a view