Parsing from a FILE* reads one character at a time with std::fgetc, which locks and unlocks the FILE object for every character. file_input_adapter now locks the file once when it is created and unlocks it when it is destroyed - also when parsing throws - and reads with the unlocked stdio functions in between: flockfile/getc_unlocked/funlockfile with glibc, Apple, Android, and the BSDs, and _lock_file/_fgetc_nolock/_unlock_file with the Microsoft C runtime. Other C libraries keep std::fgetc. The lock is recursive, so fread() in the binary readers and stdio calls of a SAX handler or parser callback on the same thread keep working. On an Apple M1 Max, parsing from a FILE* is 2.9 to 4.0 times as fast (twitter.json 14.3 -> 4.1 ms, citm_catalog.json 35.4 -> 8.8 ms); with glibc, whose locking is cheaper, 1.1 to 1.3 times. The values and the position of the file after parsing are unchanged. Other threads that use the same FILE object now wait until parsing is done instead of interleaving their reads with the parser's. JSON_DISABLE_UNLOCKED_FILE_IO restores std::fgetc, for programs in which a SAX handler waits for another thread that uses the same FILE. The new tests check from a second thread that the lock is released after success and after a parse error, and run again with the macro. Signed-off-by: Niels Lohmann <mail@nlohmann.me>
6.8 KiB
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
#!cpp std::istream(e.g., an#!cpp std::ifstreamreading 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. 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.
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.
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_jsonvalue that can be traversed and modified freely. This is whatparsedoes, 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_parsefor 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.
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 inputaccept- check if the input is valid JSONsax_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