/* __ _____ _____ _____ __| | __| | | | JSON for Modern C++ (test suite) | | |__ | | | | | | version 3.10.5 |_____|_____|_____|_|___| https://github.com/nlohmann/json Licensed under the MIT License . SPDX-License-Identifier: MIT Copyright (c) 2013-2022 Niels Lohmann . Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ #include "doctest_compatibility.h" #define JSON_TESTS_PRIVATE #include using nlohmann::json; #include #include #include #include #include #include #include #if (defined(__cplusplus) && __cplusplus >= 201703L) || (defined(_HAS_CXX17) && _HAS_CXX17 == 1) // fix for issue #464 #define JSON_HAS_CPP_17 #define JSON_HAS_CPP_14 #elif (defined(__cplusplus) && __cplusplus >= 201402L) || (defined(_HAS_CXX14) && _HAS_CXX14 == 1) #define JSON_HAS_CPP_14 #endif // NLOHMANN_JSON_SERIALIZE_ENUM uses a static std::pair DOCTEST_CLANG_SUPPRESS_WARNING_PUSH DOCTEST_CLANG_SUPPRESS_WARNING("-Wexit-time-destructors") TEST_CASE("value conversion") { SECTION("get an object (explicit)") { json::object_t o_reference = {{"object", json::object()}, {"array", {1, 2, 3, 4}}, {"number", 42}, {"boolean", false}, {"null", nullptr}, {"string", "Hello world"} }; json j(o_reference); SECTION("json::object_t") { json::object_t o = j.get(); CHECK(json(o) == j); } SECTION("std::map") { std::map o = j.get>(); CHECK(json(o) == j); } SECTION("std::multimap") { std::multimap o = j.get>(); CHECK(json(o) == j); } SECTION("std::unordered_map") { std::unordered_map o = j.get>(); CHECK(json(o) == j); } SECTION("std::unordered_multimap") { std::unordered_multimap o = j.get>(); CHECK(json(o) == j); } SECTION("exception in case of a non-object type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS( json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be object, but is null"); CHECK_THROWS_WITH( json(json::value_t::array).get(), "[json.exception.type_error.302] type must be object, but is array"); CHECK_THROWS_WITH( json(json::value_t::string).get(), "[json.exception.type_error.302] type must be object, but is string"); CHECK_THROWS_WITH(json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be object, " "but is boolean"); CHECK_THROWS_WITH( json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be object, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be object, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be object, but is number"); } } SECTION("get an object (explicit, get_to)") { json::object_t o_reference = {{"object", json::object()}, {"array", {1, 2, 3, 4}}, {"number", 42}, {"boolean", false}, {"null", nullptr}, {"string", "Hello world"} }; json j(o_reference); SECTION("json::object_t") { json::object_t o = {{"previous", "value"}}; j.get_to(o); CHECK(json(o) == j); } SECTION("std::map") { std::map o{{"previous", "value"}}; j.get_to(o); CHECK(json(o) == j); } SECTION("std::multimap") { std::multimap o{{"previous", "value"}}; j.get_to(o); CHECK(json(o) == j); } SECTION("std::unordered_map") { std::unordered_map o{{"previous", "value"}}; j.get_to(o); CHECK(json(o) == j); } SECTION("std::unordered_multimap") { std::unordered_multimap o{{"previous", "value"}}; j.get_to(o); CHECK(json(o) == j); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get an object (implicit)") { json::object_t o_reference = {{"object", json::object()}, {"array", {1, 2, 3, 4}}, {"number", 42}, {"boolean", false}, {"null", nullptr}, {"string", "Hello world"} }; json j(o_reference); SECTION("json::object_t") { json::object_t o = j; CHECK(json(o) == j); } SECTION("std::map") { std::map o = j; CHECK(json(o) == j); } SECTION("std::multimap") { std::multimap o = j; CHECK(json(o) == j); } SECTION("std::unordered_map") { std::unordered_map o = j; CHECK(json(o) == j); } SECTION("std::unordered_multimap") { std::unordered_multimap o = j; CHECK(json(o) == j); } } #endif SECTION("get an array (explicit)") { json::array_t a_reference{json(1), json(1u), json(2.2), json(false), json("string"), json()}; json j(a_reference); SECTION("json::array_t") { json::array_t a = j.get(); CHECK(json(a) == j); } SECTION("std::list") { std::list a = j.get>(); CHECK(json(a) == j); } SECTION("std::forward_list") { std::forward_list a = j.get>(); CHECK(json(a) == j); CHECK_THROWS_AS(json(json::value_t::null).get>(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get>(), "[json.exception.type_error.302] type must be array, but is null"); } SECTION("std::vector") { std::vector a = j.get>(); CHECK(json(a) == j); CHECK_THROWS_AS(json(json::value_t::null).get>(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get>(), "[json.exception.type_error.302] type must be array, but is null"); #if !defined(JSON_NOEXCEPTION) SECTION("reserve is called on containers that supports it") { // make sure all values are properly copied json j2({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}); auto v2 = j2.get>(); CHECK(v2.size() == 10); } #endif } SECTION("built-in arrays") { const char str[] = "a string"; // NOLINT(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) const int nbs[] = {0, 1, 2}; // NOLINT(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) json j2 = nbs; json j3 = str; auto v = j2.get>(); auto s = j3.get(); CHECK(std::equal(v.begin(), v.end(), std::begin(nbs))); CHECK(s == str); } SECTION("std::deque") { std::deque a = j.get>(); CHECK(json(a) == j); } SECTION("exception in case of a non-array type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::object).get>(), "[json.exception.type_error.302] type must be array, but is object"); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( json(json::value_t::object).get(), "[json.exception.type_error.302] type must be array, but is object"); CHECK_THROWS_WITH( json(json::value_t::string).get(), "[json.exception.type_error.302] type must be array, but is string"); CHECK_THROWS_WITH( json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be array, but is boolean"); CHECK_THROWS_WITH( json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be array, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be array, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be array, but is number"); } } SECTION("get an array (explicit, get_to)") { json::array_t a_reference{json(1), json(1u), json(2.2), json(false), json("string"), json()}; json j(a_reference); SECTION("json::array_t") { json::array_t a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } SECTION("std::valarray") { std::valarray a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } SECTION("std::list") { std::list a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } SECTION("std::forward_list") { std::forward_list a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } SECTION("std::vector") { std::vector a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } SECTION("built-in arrays") { const int nbs[] = {0, 1, 2}; // NOLINT(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) int nbs2[] = {0, 0, 0}; // NOLINT(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) json j2 = nbs; j2.get_to(nbs2); CHECK(std::equal(std::begin(nbs), std::end(nbs), std::begin(nbs2))); } SECTION("std::deque") { std::deque a{"previous", "value"}; j.get_to(a); CHECK(json(a) == j); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get an array (implicit)") { json::array_t a_reference{json(1), json(1u), json(2.2), json(false), json("string"), json()}; json j(a_reference); SECTION("json::array_t") { json::array_t a = j; CHECK(json(a) == j); } SECTION("std::list") { std::list a = j; CHECK(json(a) == j); } SECTION("std::forward_list") { std::forward_list a = j; CHECK(json(a) == j); } SECTION("std::vector") { std::vector a = j; CHECK(json(a) == j); } SECTION("std::deque") { std::deque a = j; CHECK(json(a) == j); } } #endif SECTION("get a string (explicit)") { json::string_t s_reference{"Hello world"}; json j(s_reference); SECTION("string_t") { json::string_t s = j.get(); CHECK(json(s) == j); } SECTION("std::string") { std::string s = j.get(); CHECK(json(s) == j); } #if defined(JSON_HAS_CPP_17) SECTION("std::string_view") { std::string_view s = j.get(); CHECK(json(s) == j); } #endif SECTION("exception in case of a non-string type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS( json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be string, but is null"); CHECK_THROWS_WITH( json(json::value_t::object).get(), "[json.exception.type_error.302] type must be string, but is object"); CHECK_THROWS_WITH( json(json::value_t::array).get(), "[json.exception.type_error.302] type must be string, but is array"); CHECK_THROWS_WITH(json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be string, " "but is boolean"); CHECK_THROWS_WITH( json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be string, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be string, but is number"); CHECK_THROWS_WITH( json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be string, but is number"); } #if defined(JSON_HAS_CPP_17) SECTION("exception in case of a non-string type using string_view") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH(json(json::value_t::null).get(), "[json.exception.type_error.302] type must be string, but is null"); CHECK_THROWS_WITH(json(json::value_t::object).get(), "[json.exception.type_error.302] type must be string, but is object"); CHECK_THROWS_WITH(json(json::value_t::array).get(), "[json.exception.type_error.302] type must be string, but is array"); CHECK_THROWS_WITH(json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be string, but is boolean"); CHECK_THROWS_WITH(json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be string, but is number"); CHECK_THROWS_WITH(json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be string, but is number"); CHECK_THROWS_WITH(json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be string, but is number"); } #endif } SECTION("get a string (explicit, get_to)") { json::string_t s_reference{"Hello world"}; json j(s_reference); SECTION("string_t") { json::string_t s = "previous value"; j.get_to(s); CHECK(json(s) == j); } SECTION("std::string") { std::string s = "previous value"; j.get_to(s); CHECK(json(s) == j); } #if defined(JSON_HAS_CPP_17) SECTION("std::string_view") { std::string s = "previous value"; std::string_view sv = s; j.get_to(sv); CHECK(json(sv) == j); } #endif } SECTION("get null (explicit)") { std::nullptr_t n = nullptr; json j(n); auto n2 = j.get(); CHECK(n2 == n); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH(json(json::value_t::string).get(), "[json.exception.type_error.302] type must be null, but is string"); CHECK_THROWS_WITH(json(json::value_t::object).get(), "[json.exception.type_error.302] type must be null, but is object"); CHECK_THROWS_WITH(json(json::value_t::array).get(), "[json.exception.type_error.302] type must be null, but is array"); CHECK_THROWS_WITH(json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be null, but is boolean"); CHECK_THROWS_WITH(json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be null, but is number"); CHECK_THROWS_WITH(json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be null, but is number"); CHECK_THROWS_WITH(json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be null, but is number"); } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get a string (implicit)") { json::string_t s_reference{"Hello world"}; json j(s_reference); SECTION("string_t") { json::string_t s = j; CHECK(json(s) == j); } #if defined(JSON_HAS_CPP_17) SECTION("std::string_view") { std::string_view s = j.get(); CHECK(json(s) == j); } #endif SECTION("std::string") { std::string s = j; CHECK(json(s) == j); } } #endif SECTION("get a boolean (explicit)") { json::boolean_t b_reference{true}; json j(b_reference); SECTION("boolean_t") { auto b = j.get(); CHECK(json(b) == j); } SECTION("uint8_t") { auto n = j.get(); CHECK(n == 1); } SECTION("bool") { bool b = j.get(); CHECK(json(b) == j); } SECTION("exception in case of a non-number type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS( json(json::value_t::number_integer).get(), json::type_error&); CHECK_THROWS_AS( json(json::value_t::number_unsigned).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::number_float).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be boolean, but is null"); CHECK_THROWS_WITH(json(json::value_t::object).get(), "[json.exception.type_error.302] type must be boolean, " "but is object"); CHECK_THROWS_WITH( json(json::value_t::array).get(), "[json.exception.type_error.302] type must be boolean, but is array"); CHECK_THROWS_WITH(json(json::value_t::string).get(), "[json.exception.type_error.302] type must be boolean, " "but is string"); CHECK_THROWS_WITH( json(json::value_t::number_integer).get(), "[json.exception.type_error.302] type must be boolean, but is " "number"); CHECK_THROWS_WITH( json(json::value_t::number_unsigned).get(), "[json.exception.type_error.302] type must be boolean, but is " "number"); CHECK_THROWS_WITH( json(json::value_t::number_float).get(), "[json.exception.type_error.302] type must be boolean, but is " "number"); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get a boolean (implicit)") { json::boolean_t b_reference{true}; json j(b_reference); SECTION("boolean_t") { json::boolean_t b = j; CHECK(json(b) == j); } SECTION("bool") { bool b = j; CHECK(json(b) == j); } } #endif SECTION("get an integer number (explicit)") { json::number_integer_t n_reference{42}; json j(n_reference); json::number_unsigned_t n_unsigned_reference{42u}; json j_unsigned(n_unsigned_reference); SECTION("number_integer_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("number_unsigned_t") { auto n = j_unsigned.get(); CHECK(json(n) == j_unsigned); } SECTION("short") { auto n = j.get(); CHECK(json(n) == j); } SECTION("unsigned short") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int") { int n = j.get(); CHECK(json(n) == j); } SECTION("unsigned int") { auto n = j.get(); CHECK(json(n) == j); } SECTION("long") { long n = j.get(); CHECK(json(n) == j); } SECTION("unsigned long") { auto n = j.get(); CHECK(json(n) == j); } SECTION("long long") { auto n = j.get(); CHECK(json(n) == j); } SECTION("unsigned long long") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int8_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int16_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int32_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int64_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int8_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int16_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int32_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int64_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int8_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int16_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int32_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("int64_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint8_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint16_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint32_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint64_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint8_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint16_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint32_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint64_fast_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint8_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint16_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint32_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("uint64_least_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("exception in case of a non-number type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS( json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be number, but is null"); CHECK_THROWS_WITH( json(json::value_t::object).get(), "[json.exception.type_error.302] type must be number, but is object"); CHECK_THROWS_WITH( json(json::value_t::array).get(), "[json.exception.type_error.302] type must be number, but is array"); CHECK_THROWS_WITH( json(json::value_t::string).get(), "[json.exception.type_error.302] type must be number, but is string"); CHECK_THROWS_WITH( json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be number, but is " "boolean"); CHECK_NOTHROW( json(json::value_t::number_float).get()); CHECK_NOTHROW( json(json::value_t::number_float).get()); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get an integer number (implicit)") { json::number_integer_t n_reference{42}; json j(n_reference); json::number_unsigned_t n_unsigned_reference{42u}; json j_unsigned(n_unsigned_reference); SECTION("number_integer_t") { auto n = j.get(); CHECK(json(n) == j); } SECTION("number_unsigned_t") { auto n = j_unsigned.get(); CHECK(json(n) == j_unsigned); } SECTION("short") { short n = j; CHECK(json(n) == j); } SECTION("unsigned short") { unsigned short n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("int") { int n = j; CHECK(json(n) == j); } SECTION("unsigned int") { unsigned int n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("long") { long n = j; CHECK(json(n) == j); } SECTION("unsigned long") { unsigned long n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("long long") { long long n = j; CHECK(json(n) == j); } SECTION("unsigned long long") { unsigned long long n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("int8_t") { int8_t n = j; CHECK(json(n) == j); } SECTION("int16_t") { int16_t n = j; CHECK(json(n) == j); } SECTION("int32_t") { int32_t n = j; CHECK(json(n) == j); } SECTION("int64_t") { int64_t n = j; CHECK(json(n) == j); } SECTION("int8_fast_t") { int_fast8_t n = j; CHECK(json(n) == j); } SECTION("int16_fast_t") { int_fast16_t n = j; CHECK(json(n) == j); } SECTION("int32_fast_t") { int_fast32_t n = j; CHECK(json(n) == j); } SECTION("int64_fast_t") { int_fast64_t n = j; CHECK(json(n) == j); } SECTION("int8_least_t") { int_least8_t n = j; CHECK(json(n) == j); } SECTION("int16_least_t") { int_least16_t n = j; CHECK(json(n) == j); } SECTION("int32_least_t") { int_least32_t n = j; CHECK(json(n) == j); } SECTION("int64_least_t") { int_least64_t n = j; CHECK(json(n) == j); } SECTION("uint8_t") { uint8_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint16_t") { uint16_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint32_t") { uint32_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint64_t") { uint64_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint8_fast_t") { uint_fast8_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint16_fast_t") { uint_fast16_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint32_fast_t") { uint_fast32_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint64_fast_t") { uint_fast64_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint8_least_t") { uint_least8_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint16_least_t") { uint_least16_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint32_least_t") { uint_least32_t n = j_unsigned; CHECK(json(n) == j_unsigned); } SECTION("uint64_least_t") { uint_least64_t n = j_unsigned; CHECK(json(n) == j_unsigned); } } #endif SECTION("get a floating-point number (explicit)") { json::number_float_t n_reference{42.23}; json j(n_reference); SECTION("number_float_t") { auto n = j.get(); CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } SECTION("float") { auto n = j.get(); CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } SECTION("double") { auto n = j.get(); CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } SECTION("exception in case of a non-string type") { CHECK_THROWS_AS(json(json::value_t::null).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::object).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::array).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::string).get(), json::type_error&); CHECK_THROWS_AS(json(json::value_t::boolean).get(), json::type_error&); CHECK_THROWS_WITH( json(json::value_t::null).get(), "[json.exception.type_error.302] type must be number, but is null"); CHECK_THROWS_WITH( json(json::value_t::object).get(), "[json.exception.type_error.302] type must be number, but is object"); CHECK_THROWS_WITH( json(json::value_t::array).get(), "[json.exception.type_error.302] type must be number, but is array"); CHECK_THROWS_WITH( json(json::value_t::string).get(), "[json.exception.type_error.302] type must be number, but is string"); CHECK_THROWS_WITH( json(json::value_t::boolean).get(), "[json.exception.type_error.302] type must be number, but is " "boolean"); CHECK_NOTHROW( json(json::value_t::number_integer).get()); CHECK_NOTHROW( json(json::value_t::number_unsigned).get()); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get a floating-point number (implicit)") { json::number_float_t n_reference{42.23}; json j(n_reference); SECTION("number_float_t") { json::number_float_t n = j; CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } SECTION("float") { float n = j; CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } SECTION("double") { double n = j; CHECK(json(n).m_value.number_float == Approx(j.m_value.number_float)); } } #endif SECTION("get a binary value (explicit)") { json::binary_t n_reference{{1, 2, 3}}; json j(n_reference); SECTION("binary_t") { json::binary_t b = j.get(); CHECK(*json(b).m_value.binary == *j.m_value.binary); } SECTION("get_binary()") { SECTION("non-const") { auto& b = j.get_binary(); CHECK(*json(b).m_value.binary == *j.m_value.binary); } SECTION("non-const") { const json j_const = j; const auto& b = j_const.get_binary(); CHECK(*json(b).m_value.binary == *j.m_value.binary); } } SECTION("exception in case of a non-string type") { json j_null(json::value_t::null); json j_object(json::value_t::object); json j_array(json::value_t::array); json j_string(json::value_t::string); json j_boolean(json::value_t::boolean); const json j_null_const(json::value_t::null); const json j_object_const(json::value_t::object); const json j_array_const(json::value_t::array); const json j_string_const(json::value_t::string); const json j_boolean_const(json::value_t::boolean); CHECK_THROWS_WITH_AS(j_null.get(), "[json.exception.type_error.302] type must be binary, but is null", json::type_error&); CHECK_THROWS_WITH_AS(j_object.get(), "[json.exception.type_error.302] type must be binary, but is object", json::type_error&); CHECK_THROWS_WITH_AS(j_array.get(), "[json.exception.type_error.302] type must be binary, but is array", json::type_error&); CHECK_THROWS_WITH_AS(j_string.get(), "[json.exception.type_error.302] type must be binary, but is string", json::type_error&); CHECK_THROWS_WITH_AS(j_boolean.get(), "[json.exception.type_error.302] type must be binary, but is boolean", json::type_error&); CHECK_THROWS_WITH_AS(j_null_const.get(), "[json.exception.type_error.302] type must be binary, but is null", json::type_error&); CHECK_THROWS_WITH_AS(j_object_const.get(), "[json.exception.type_error.302] type must be binary, but is object", json::type_error&); CHECK_THROWS_WITH_AS(j_array_const.get(), "[json.exception.type_error.302] type must be binary, but is array", json::type_error&); CHECK_THROWS_WITH_AS(j_string_const.get(), "[json.exception.type_error.302] type must be binary, but is string", json::type_error&); CHECK_THROWS_WITH_AS(j_boolean_const.get(), "[json.exception.type_error.302] type must be binary, but is boolean", json::type_error&); CHECK_THROWS_WITH_AS(j_null.get_binary(), "[json.exception.type_error.302] type must be binary, but is null", json::type_error&); CHECK_THROWS_WITH_AS(j_object.get_binary(), "[json.exception.type_error.302] type must be binary, but is object", json::type_error&); CHECK_THROWS_WITH_AS(j_array.get_binary(), "[json.exception.type_error.302] type must be binary, but is array", json::type_error&); CHECK_THROWS_WITH_AS(j_string.get_binary(), "[json.exception.type_error.302] type must be binary, but is string", json::type_error&); CHECK_THROWS_WITH_AS(j_boolean.get_binary(), "[json.exception.type_error.302] type must be binary, but is boolean", json::type_error&); CHECK_THROWS_WITH_AS(j_null_const.get_binary(), "[json.exception.type_error.302] type must be binary, but is null", json::type_error&); CHECK_THROWS_WITH_AS(j_object_const.get_binary(), "[json.exception.type_error.302] type must be binary, but is object", json::type_error&); CHECK_THROWS_WITH_AS(j_array_const.get_binary(), "[json.exception.type_error.302] type must be binary, but is array", json::type_error&); CHECK_THROWS_WITH_AS(j_string_const.get_binary(), "[json.exception.type_error.302] type must be binary, but is string", json::type_error&); CHECK_THROWS_WITH_AS(j_boolean_const.get_binary(), "[json.exception.type_error.302] type must be binary, but is boolean", json::type_error&); } } #if JSON_USE_IMPLICIT_CONVERSIONS SECTION("get a binary value (implicit)") { json::binary_t n_reference{{1, 2, 3}}; json j(n_reference); SECTION("binary_t") { json::binary_t b = j; CHECK(*json(b).m_value.binary == *j.m_value.binary); } } #endif SECTION("get an enum") { enum c_enum { value_1, value_2 }; enum class cpp_enum { value_1, value_2 }; CHECK(json(value_1).get() == value_1); CHECK(json(cpp_enum::value_1).get() == cpp_enum::value_1); } SECTION("more involved conversions") { SECTION("object-like STL containers") { json j1 = {{"one", 1}, {"two", 2}, {"three", 3}}; json j2 = {{"one", 1u}, {"two", 2u}, {"three", 3u}}; json j3 = {{"one", 1.1}, {"two", 2.2}, {"three", 3.3}}; json j4 = {{"one", true}, {"two", false}, {"three", true}}; json j5 = {{"one", "eins"}, {"two", "zwei"}, {"three", "drei"}}; SECTION("std::map") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::unordered_map") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); // CHECK(m5["one"] == "eins"); } SECTION("std::multimap") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); // CHECK(m5["one"] == "eins"); } SECTION("std::unordered_multimap") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); // CHECK(m5["one"] == "eins"); } SECTION("exception in case of a non-object type") { CHECK_THROWS_AS((json().get>()), json::type_error&); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be object, but is null"); } } SECTION("array-like STL containers") { json j1 = {1, 2, 3, 4}; json j2 = {1u, 2u, 3u, 4u}; json j3 = {1.2, 2.3, 3.4, 4.5}; json j4 = {true, false, true}; json j5 = {"one", "two", "three"}; SECTION("std::list") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::forward_list") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::array") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); SECTION("std::array is larger than JSON") { std::array arr6 = {{1, 2, 3, 4, 5, 6}}; CHECK_THROWS_AS(j1.get_to(arr6), json::out_of_range&); CHECK_THROWS_WITH(j1.get_to(arr6), "[json.exception.out_of_range.401] " "array index 4 is out of range"); } SECTION("std::array is smaller than JSON") { std::array arr2 = {{8, 9}}; j1.get_to(arr2); CHECK(arr2[0] == 1); CHECK(arr2[1] == 2); } } SECTION("std::valarray") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::vector") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::deque") { j1.get>(); j2.get>(); j2.get>(); j4.get>(); j5.get>(); } SECTION("std::set") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::unordered_set") { j1.get>(); j2.get>(); j3.get>(); j4.get>(); j5.get>(); } SECTION("std::map (array of pairs)") { std::map m{{0, 1}, {1, 2}, {2, 3}}; json j6 = m; auto m2 = j6.get>(); CHECK(m == m2); json j7 = {0, 1, 2, 3}; json j8 = 2; CHECK_THROWS_AS((j7.get>()), json::type_error&); CHECK_THROWS_AS((j8.get>()), json::type_error&); CHECK_THROWS_WITH((j7.get>()), "[json.exception.type_error.302] type must be array, " "but is number"); CHECK_THROWS_WITH((j8.get>()), "[json.exception.type_error.302] type must be array, " "but is number"); SECTION("superfluous entries") { json j9 = {{0, 1, 2}, {1, 2, 3}, {2, 3, 4}}; m2 = j9.get>(); CHECK(m == m2); } } SECTION("std::unordered_map (array of pairs)") { std::unordered_map m{{0, 1}, {1, 2}, {2, 3}}; json j6 = m; auto m2 = j6.get>(); CHECK(m == m2); json j7 = {0, 1, 2, 3}; json j8 = 2; CHECK_THROWS_AS((j7.get>()), json::type_error&); CHECK_THROWS_AS((j8.get>()), json::type_error&); CHECK_THROWS_WITH((j7.get>()), "[json.exception.type_error.302] type must be array, " "but is number"); CHECK_THROWS_WITH((j8.get>()), "[json.exception.type_error.302] type must be array, " "but is number"); SECTION("superfluous entries") { json j9{{0, 1, 2}, {1, 2, 3}, {2, 3, 4}}; m2 = j9.get>(); CHECK(m == m2); } } SECTION("exception in case of a non-object type") { CHECK_THROWS_AS((json().get>()), json::type_error&); CHECK_THROWS_AS((json().get>()), json::type_error&); CHECK_THROWS_AS((json().get>()), json::type_error&); CHECK_THROWS_AS((json().get>()), json::type_error&); CHECK_THROWS_AS((json().get>()), json::type_error&); // does type really must be an array? or it rather must not be null? // that's what I thought when other test like this one broke CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); CHECK_THROWS_WITH( (json().get>()), "[json.exception.type_error.302] type must be array, but is null"); } } } } enum class cards {kreuz, pik, herz, karo}; // NOLINTNEXTLINE(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) - false positive NLOHMANN_JSON_SERIALIZE_ENUM(cards, { {cards::kreuz, "kreuz"}, {cards::pik, "pik"}, {cards::pik, "puk"}, // second entry for cards::puk; will not be used {cards::herz, "herz"}, {cards::karo, "karo"} }) enum TaskState { TS_STOPPED, TS_RUNNING, TS_COMPLETED, TS_INVALID = -1, }; // NOLINTNEXTLINE(cppcoreguidelines-avoid-c-arrays,hicpp-avoid-c-arrays,modernize-avoid-c-arrays) - false positive NLOHMANN_JSON_SERIALIZE_ENUM(TaskState, { {TS_INVALID, nullptr}, {TS_STOPPED, "stopped"}, {TS_RUNNING, "running"}, {TS_COMPLETED, "completed"}, }) TEST_CASE("JSON to enum mapping") { SECTION("enum class") { // enum -> json CHECK(json(cards::kreuz) == "kreuz"); CHECK(json(cards::pik) == "pik"); CHECK(json(cards::herz) == "herz"); CHECK(json(cards::karo) == "karo"); // json -> enum CHECK(cards::kreuz == json("kreuz")); CHECK(cards::pik == json("pik")); CHECK(cards::herz == json("herz")); CHECK(cards::karo == json("karo")); // invalid json -> first enum CHECK(cards::kreuz == json("what?").get()); } SECTION("traditional enum") { // enum -> json CHECK(json(TS_STOPPED) == "stopped"); CHECK(json(TS_RUNNING) == "running"); CHECK(json(TS_COMPLETED) == "completed"); CHECK(json(TS_INVALID) == json()); // json -> enum CHECK(TS_STOPPED == json("stopped")); CHECK(TS_RUNNING == json("running")); CHECK(TS_COMPLETED == json("completed")); CHECK(TS_INVALID == json()); // invalid json -> first enum CHECK(TS_INVALID == json("what?").get()); } } #ifdef JSON_HAS_CPP_17 #undef JSON_HAS_CPP_17 #endif #ifdef JSON_HAS_CPP_14 #undef JSON_HAS_CPP_14 #endif DOCTEST_CLANG_SUPPRESS_WARNING_POP