489 , input_end(input.get_data() + input.get_length())
490 , structure(structure)
491 , p(input.get_data())
493 , root_type(TYPE_NULL)
494 , out(structure + input.get_length())
501 return document(input, structure, root_type, out, 0, 0, std::string());
504 return document(input, 0, TYPE_NULL, 0, error_line, error_column, error_message);
510 operator bool()
const {
515 struct parse_result {
518 , value_type(TYPE_NULL)
526 bool operator!()
const {
535 return p == input_end;
538 char peek_structure() {
540 if (p == input_end) {
561 char* c = input.get_data();
564 if (c + 1 < p && c[1] ==
'\n') {
572 }
else if (*c ==
'\n') {
586 va_start(ap, format);
587 vsnprintf(buf, 1023, format, ap);
595 char c = peek_structure();
597 return error(
"no root element");
600 type current_structure_type;
602 current_structure_type = TYPE_ARRAY;
603 }
else if (c ==
'{') {
604 current_structure_type = TYPE_OBJECT;
606 return error(
"document root must be object or array");
610 size_t* current_base = temp;
611 *temp++ = make_element(current_structure_type, ROOT_MARKER);
616 const char closing_bracket = (current_structure_type == TYPE_OBJECT ?
'}' :
']');
617 const bool is_first_element = temp == current_base + 1;
618 bool had_comma =
false;
620 c = peek_structure();
621 if (is_first_element) {
623 return error(
"unexpected comma");
628 c = peek_structure();
630 }
else if (c != closing_bracket) {
631 return error(
"expected ,");
635 if (current_structure_type == TYPE_OBJECT && c !=
'}') {
637 return error(
"object key must be quoted");
639 result = parse_string(temp);
641 return error(
"invalid object key");
643 if (peek_structure() !=
':') {
644 return error(
"expected :");
650 switch (peek_structure()) {
652 parse_result (parser::*structure_installer)(
size_t* base);
655 return error(
"unexpected end of input");
657 result = parse_null();
660 result = parse_false();
663 result = parse_true();
676 result = parse_number();
679 result = parse_string();
683 next_type = TYPE_ARRAY;
686 next_type = TYPE_OBJECT;
690 size_t* previous_base = current_base;
692 *temp++ = make_element(current_structure_type, previous_base - structure);
693 current_structure_type = next_type;
698 if (current_structure_type == TYPE_ARRAY) {
699 structure_installer = &parser::install_array;
702 return error(
"expected }");
705 if (current_structure_type == TYPE_OBJECT) {
706 structure_installer = &parser::install_object;
709 return error(
"expected ]");
713 return error(
"trailing commas not allowed");
716 size_t element = *current_base;
717 result = (this->*structure_installer)(current_base + 1);
718 size_t parent = get_element_value(element);
719 if (parent == ROOT_MARKER) {
720 root_type = result.value_type;
724 current_base = structure + parent;
725 current_structure_type = get_element_type(element);
729 return error(
"unexpected comma");
731 return error(
"cannot parse unknown value");
735 return result.success;
738 *temp++ = make_element(result.value_type, out - current_base - 1);
742 if (0 == peek_structure()) {
745 return error(
"expected end of input");
749 bool has_remaining_characters(ptrdiff_t remaining) {
750 return input_end - p >= remaining;
754 if (SAJSON_UNLIKELY(!has_remaining_characters(4))) {
755 return error(
"unexpected end of input");
760 if (SAJSON_UNLIKELY(p1 !=
'u' || p2 !=
'l' || p3 !=
'l')) {
761 return error(
"expected 'null'");
768 if (SAJSON_UNLIKELY(!has_remaining_characters(5))) {
769 return error(
"unexpected end of input");
775 if (SAJSON_UNLIKELY(p1 !=
'a' || p2 !=
'l' || p3 !=
's' || p4 !=
'e')) {
776 return error(
"expected 'false'");
783 if (SAJSON_UNLIKELY(!has_remaining_characters(4))) {
784 return error(
"unexpected end of input");
789 if (SAJSON_UNLIKELY(p1 !=
'r' || p2 !=
'u' || p3 !=
'e')) {
790 return error(
"expected 'true'");
796 static double pow10(
int exponent) {
797 if (exponent > 308) {
798 return std::numeric_limits<double>::infinity();
799 }
else if (exponent < -323) {
802 static const double constants[] = {
803 1e-323,1e-322,1e-321,1e-320,1e-319,1e-318,1e-317,1e-316,1e-315,1e-314,
804 1e-313,1e-312,1e-311,1e-310,1e-309,1e-308,1e-307,1e-306,1e-305,1e-304,
805 1e-303,1e-302,1e-301,1e-300,1e-299,1e-298,1e-297,1e-296,1e-295,1e-294,
806 1e-293,1e-292,1e-291,1e-290,1e-289,1e-288,1e-287,1e-286,1e-285,1e-284,
807 1e-283,1e-282,1e-281,1e-280,1e-279,1e-278,1e-277,1e-276,1e-275,1e-274,
808 1e-273,1e-272,1e-271,1e-270,1e-269,1e-268,1e-267,1e-266,1e-265,1e-264,
809 1e-263,1e-262,1e-261,1e-260,1e-259,1e-258,1e-257,1e-256,1e-255,1e-254,
810 1e-253,1e-252,1e-251,1e-250,1e-249,1e-248,1e-247,1e-246,1e-245,1e-244,
811 1e-243,1e-242,1e-241,1e-240,1e-239,1e-238,1e-237,1e-236,1e-235,1e-234,
812 1e-233,1e-232,1e-231,1e-230,1e-229,1e-228,1e-227,1e-226,1e-225,1e-224,
813 1e-223,1e-222,1e-221,1e-220,1e-219,1e-218,1e-217,1e-216,1e-215,1e-214,
814 1e-213,1e-212,1e-211,1e-210,1e-209,1e-208,1e-207,1e-206,1e-205,1e-204,
815 1e-203,1e-202,1e-201,1e-200,1e-199,1e-198,1e-197,1e-196,1e-195,1e-194,
816 1e-193,1e-192,1e-191,1e-190,1e-189,1e-188,1e-187,1e-186,1e-185,1e-184,
817 1e-183,1e-182,1e-181,1e-180,1e-179,1e-178,1e-177,1e-176,1e-175,1e-174,
818 1e-173,1e-172,1e-171,1e-170,1e-169,1e-168,1e-167,1e-166,1e-165,1e-164,
819 1e-163,1e-162,1e-161,1e-160,1e-159,1e-158,1e-157,1e-156,1e-155,1e-154,
820 1e-153,1e-152,1e-151,1e-150,1e-149,1e-148,1e-147,1e-146,1e-145,1e-144,
821 1e-143,1e-142,1e-141,1e-140,1e-139,1e-138,1e-137,1e-136,1e-135,1e-134,
822 1e-133,1e-132,1e-131,1e-130,1e-129,1e-128,1e-127,1e-126,1e-125,1e-124,
823 1e-123,1e-122,1e-121,1e-120,1e-119,1e-118,1e-117,1e-116,1e-115,1e-114,
824 1e-113,1e-112,1e-111,1e-110,1e-109,1e-108,1e-107,1e-106,1e-105,1e-104,
825 1e-103,1e-102,1e-101,1e-100,1e-99,1e-98,1e-97,1e-96,1e-95,1e-94,1e-93,
826 1e-92,1e-91,1e-90,1e-89,1e-88,1e-87,1e-86,1e-85,1e-84,1e-83,1e-82,1e-81,
827 1e-80,1e-79,1e-78,1e-77,1e-76,1e-75,1e-74,1e-73,1e-72,1e-71,1e-70,1e-69,
828 1e-68,1e-67,1e-66,1e-65,1e-64,1e-63,1e-62,1e-61,1e-60,1e-59,1e-58,1e-57,
829 1e-56,1e-55,1e-54,1e-53,1e-52,1e-51,1e-50,1e-49,1e-48,1e-47,1e-46,1e-45,
830 1e-44,1e-43,1e-42,1e-41,1e-40,1e-39,1e-38,1e-37,1e-36,1e-35,1e-34,1e-33,
831 1e-32,1e-31,1e-30,1e-29,1e-28,1e-27,1e-26,1e-25,1e-24,1e-23,1e-22,1e-21,
832 1e-20,1e-19,1e-18,1e-17,1e-16,1e-15,1e-14,1e-13,1e-12,1e-11,1e-10,1e-9,
833 1e-8,1e-7,1e-6,1e-5,1e-4,1e-3,1e-2,1e-1,1e0,1e1,1e2,1e3,1e4,1e5,1e6,1e7,
834 1e8,1e9,1e10,1e11,1e12,1e13,1e14,1e15,1e16,1e17,1e18,1e19,1e20,1e21,
835 1e22,1e23,1e24,1e25,1e26,1e27,1e28,1e29,1e30,1e31,1e32,1e33,1e34,1e35,
836 1e36,1e37,1e38,1e39,1e40,1e41,1e42,1e43,1e44,1e45,1e46,1e47,1e48,1e49,
837 1e50,1e51,1e52,1e53,1e54,1e55,1e56,1e57,1e58,1e59,1e60,1e61,1e62,1e63,
838 1e64,1e65,1e66,1e67,1e68,1e69,1e70,1e71,1e72,1e73,1e74,1e75,1e76,1e77,
839 1e78,1e79,1e80,1e81,1e82,1e83,1e84,1e85,1e86,1e87,1e88,1e89,1e90,1e91,
840 1e92,1e93,1e94,1e95,1e96,1e97,1e98,1e99,1e100,1e101,1e102,1e103,1e104,
841 1e105,1e106,1e107,1e108,1e109,1e110,1e111,1e112,1e113,1e114,1e115,1e116,
842 1e117,1e118,1e119,1e120,1e121,1e122,1e123,1e124,1e125,1e126,1e127,1e128,
843 1e129,1e130,1e131,1e132,1e133,1e134,1e135,1e136,1e137,1e138,1e139,1e140,
844 1e141,1e142,1e143,1e144,1e145,1e146,1e147,1e148,1e149,1e150,1e151,1e152,
845 1e153,1e154,1e155,1e156,1e157,1e158,1e159,1e160,1e161,1e162,1e163,1e164,
846 1e165,1e166,1e167,1e168,1e169,1e170,1e171,1e172,1e173,1e174,1e175,1e176,
847 1e177,1e178,1e179,1e180,1e181,1e182,1e183,1e184,1e185,1e186,1e187,1e188,
848 1e189,1e190,1e191,1e192,1e193,1e194,1e195,1e196,1e197,1e198,1e199,1e200,
849 1e201,1e202,1e203,1e204,1e205,1e206,1e207,1e208,1e209,1e210,1e211,1e212,
850 1e213,1e214,1e215,1e216,1e217,1e218,1e219,1e220,1e221,1e222,1e223,1e224,
851 1e225,1e226,1e227,1e228,1e229,1e230,1e231,1e232,1e233,1e234,1e235,1e236,
852 1e237,1e238,1e239,1e240,1e241,1e242,1e243,1e244,1e245,1e246,1e247,1e248,
853 1e249,1e250,1e251,1e252,1e253,1e254,1e255,1e256,1e257,1e258,1e259,1e260,
854 1e261,1e262,1e263,1e264,1e265,1e266,1e267,1e268,1e269,1e270,1e271,1e272,
855 1e273,1e274,1e275,1e276,1e277,1e278,1e279,1e280,1e281,1e282,1e283,1e284,
856 1e285,1e286,1e287,1e288,1e289,1e290,1e291,1e292,1e293,1e294,1e295,1e296,
857 1e297,1e298,1e299,1e300,1e301,1e302,1e303,1e304,1e305,1e306,1e307,1e308
859 return constants[exponent + 323];
863 bool negative =
false;
869 return error(
"unexpected end of input");
873 bool try_double =
false;
881 if (c <
'0' || c >
'9') {
886 if (SAJSON_UNLIKELY(at_eof())) {
887 return error(
"unexpected end of input");
890 char digit = c -
'0';
892 if (SAJSON_UNLIKELY(!try_double && i > INT_MAX / 10 - 9)) {
897 if (SAJSON_UNLIKELY(try_double)) {
898 d = 10.0 * d + digit;
913 return error(
"unexpected end of input");
917 if (c <
'0' || c >
'9') {
923 return error(
"unexpected end of input");
925 d = d * 10 + (c -
'0');
931 if (
'e' == e ||
'E' == e) {
938 return error(
"unexpected end of input");
941 bool negativeExponent =
false;
943 negativeExponent =
true;
946 return error(
"unexpected end of input");
948 }
else if (
'+' == *p) {
951 return error(
"unexpected end of input");
958 if (SAJSON_UNLIKELY(c <
'0' || c >
'9')) {
959 return error(
"missing exponent");
962 exp = 10 * exp + (c -
'0');
966 return error(
"unexpected end of input");
970 if (c <
'0' || c >
'9') {
974 exponent += (negativeExponent ? -exp : exp);
979 d *= pow10(exponent);
990 out -= double_storage::word_length;
991 double_storage::store(out, d);
1003 const size_t length = temp - array_base;
1004 size_t*
const new_base = out - length - 1;
1005 while (temp > array_base) {
1007 *(--out) = *(--temp) + (array_base - new_base);
1015 const size_t length = (temp - object_base) / 3;
1016 object_key_record* oir =
reinterpret_cast<object_key_record*
>(object_base);
1020 object_key_comparator(input.get_data()));
1022 size_t*
const new_base = out - length * 3 - 1;
1026 *(--out) = *(--temp) + (object_base - new_base);
1027 *(--out) = *(--temp);
1028 *(--out) = *(--temp);
1042 size_t start = p - input.get_data();
1044 if (SAJSON_UNLIKELY(p >= input_end)) {
1045 return error(
"unexpected end of input");
1048 if (SAJSON_UNLIKELY(*p >= 0 && *p < 0x20)) {
1055 tag[1] = p - input.get_data();
1060 return parse_string_slow(tag, start);
1073 unsigned char c = *p++;
1074 if (c >=
'0' && c <=
'9') {
1076 }
else if (c >=
'a' && c <=
'f') {
1078 }
else if (c >=
'A' && c <=
'F') {
1081 return error(
"invalid character in unicode escape");
1090 void write_utf8(
unsigned codepoint,
char*& end) {
1091 if (codepoint < 0x80) {
1093 }
else if (codepoint < 0x800) {
1094 *end++ = 0xC0 | (codepoint >> 6);
1095 *end++ = 0x80 | (codepoint & 0x3F);
1096 }
else if (codepoint < 0x10000) {
1097 *end++ = 0xE0 | (codepoint >> 12);
1098 *end++ = 0x80 | ((codepoint >> 6) & 0x3F);
1099 *end++ = 0x80 | (codepoint & 0x3F);
1101 assert(codepoint < 0x200000);
1102 *end++ = 0xF0 | (codepoint >> 18);
1103 *end++ = 0x80 | ((codepoint >> 12) & 0x3F);
1104 *end++ = 0x80 | ((codepoint >> 6) & 0x3F);
1105 *end++ = 0x80 | (codepoint & 0x3F);
1109 parse_result parse_string_slow(
size_t* tag,
size_t start) {
1113 if (SAJSON_UNLIKELY(p >= input_end)) {
1114 return error(
"unexpected end of input");
1117 if (SAJSON_UNLIKELY(*p >= 0 && *p < 0x20)) {
1124 tag[1] = end - input.get_data();
1130 if (SAJSON_UNLIKELY(p >= input_end)) {
1131 return error(
"unexpected end of input");
1136 case '"': replacement =
'"';
goto replace;
1137 case '\\': replacement =
'\\';
goto replace;
1138 case '/': replacement =
'/';
goto replace;
1139 case 'b': replacement =
'\b';
goto replace;
1140 case 'f': replacement =
'\f';
goto replace;
1141 case 'n': replacement =
'\n';
goto replace;
1142 case 'r': replacement =
'\r';
goto replace;
1143 case 't': replacement =
'\t';
goto replace;
1145 *end++ = replacement;
1150 if (SAJSON_UNLIKELY(!has_remaining_characters(4))) {
1151 return error(
"unexpected end of input");
1158 if (u >= 0xD800 && u <= 0xDBFF) {
1159 if (SAJSON_UNLIKELY(!has_remaining_characters(6))) {
1160 return error(
"unexpected end of input during UTF-16 surrogate pair");
1164 if (p0 !=
'\\' || p1 !=
'u') {
1165 return error(
"expected \\u");
1169 result = read_hex(v);
1174 if (v < 0xDC00 || v > 0xDFFF) {
1175 return error(
"invalid UTF-16 trail surrogate");
1177 u = 0x10000 + (((u - 0xD800) << 10) | (v - 0xDC00));
1183 return error(
"unknown escape");
1194 mutable_string_view input;
1195 char*
const input_end;
1196 size_t*
const structure;
1203 size_t error_column;
1204 std::string error_message;