Protocol Buffers - Google's data interchange format (grpc依赖)
https://developers.google.com/protocol-buffers/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
469 lines
16 KiB
469 lines
16 KiB
/* |
|
* Copyright (c) 2009-2021, Google LLC |
|
* All rights reserved. |
|
* |
|
* Redistribution and use in source and binary forms, with or without |
|
* modification, are permitted provided that the following conditions are met: |
|
* * Redistributions of source code must retain the above copyright |
|
* notice, this list of conditions and the following disclaimer. |
|
* * Redistributions in binary form must reproduce the above copyright |
|
* notice, this list of conditions and the following disclaimer in the |
|
* documentation and/or other materials provided with the distribution. |
|
* * Neither the name of Google LLC nor the |
|
* names of its contributors may be used to endorse or promote products |
|
* derived from this software without specific prior written permission. |
|
* |
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
|
* ARE DISCLAIMED. IN NO EVENT SHALL Google LLC BE LIABLE FOR ANY DIRECT, |
|
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
|
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS |
|
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
|
*/ |
|
|
|
#include "upb/message/accessors.h" |
|
|
|
#include "upb/collections/array_internal.h" |
|
#include "upb/message/message.h" |
|
#include "upb/wire/decode.h" |
|
#include "upb/wire/encode.h" |
|
#include "upb/wire/types.h" |
|
|
|
// Must be last. |
|
#include "upb/port/def.inc" |
|
|
|
static size_t _upb_MiniTableField_Size(const upb_MiniTableField* f) { |
|
static unsigned char sizes[] = { |
|
0, /* 0 */ |
|
8, /* kUpb_FieldType_Double */ |
|
4, /* kUpb_FieldType_Float */ |
|
8, /* kUpb_FieldType_Int64 */ |
|
8, /* kUpb_FieldType_UInt64 */ |
|
4, /* kUpb_FieldType_Int32 */ |
|
8, /* kUpb_FieldType_Fixed64 */ |
|
4, /* kUpb_FieldType_Fixed32 */ |
|
1, /* kUpb_FieldType_Bool */ |
|
sizeof(upb_StringView), /* kUpb_FieldType_String */ |
|
sizeof(void*), /* kUpb_FieldType_Group */ |
|
sizeof(void*), /* kUpb_FieldType_Message */ |
|
sizeof(upb_StringView), /* kUpb_FieldType_Bytes */ |
|
4, /* kUpb_FieldType_UInt32 */ |
|
4, /* kUpb_FieldType_Enum */ |
|
4, /* kUpb_FieldType_SFixed32 */ |
|
8, /* kUpb_FieldType_SFixed64 */ |
|
4, /* kUpb_FieldType_SInt32 */ |
|
8, /* kUpb_FieldType_SInt64 */ |
|
}; |
|
return upb_IsRepeatedOrMap(f) ? sizeof(void*) : sizes[f->descriptortype]; |
|
} |
|
|
|
// Maps descriptor type to elem_size_lg2. |
|
static int _upb_MiniTableField_CTypeLg2Size(const upb_MiniTableField* f) { |
|
static const uint8_t sizes[] = { |
|
-1, /* invalid descriptor type */ |
|
3, /* DOUBLE */ |
|
2, /* FLOAT */ |
|
3, /* INT64 */ |
|
3, /* UINT64 */ |
|
2, /* INT32 */ |
|
3, /* FIXED64 */ |
|
2, /* FIXED32 */ |
|
0, /* BOOL */ |
|
UPB_SIZE(3, 4), /* STRING */ |
|
UPB_SIZE(2, 3), /* GROUP */ |
|
UPB_SIZE(2, 3), /* MESSAGE */ |
|
UPB_SIZE(3, 4), /* BYTES */ |
|
2, /* UINT32 */ |
|
2, /* ENUM */ |
|
2, /* SFIXED32 */ |
|
3, /* SFIXED64 */ |
|
2, /* SINT32 */ |
|
3, /* SINT64 */ |
|
}; |
|
return sizes[f->descriptortype]; |
|
} |
|
|
|
void upb_MiniTable_ClearField(upb_Message* msg, |
|
const upb_MiniTableField* field) { |
|
char* mem = UPB_PTR_AT(msg, field->offset, char); |
|
if (field->presence > 0) { |
|
_upb_clearhas_field(msg, field); |
|
} else if (_upb_MiniTableField_InOneOf(field)) { |
|
uint32_t* oneof_case = _upb_oneofcase_field(msg, field); |
|
if (*oneof_case != field->number) return; |
|
*oneof_case = 0; |
|
} |
|
memset(mem, 0, _upb_MiniTableField_Size(field)); |
|
} |
|
|
|
void* upb_MiniTable_ResizeArray(upb_Message* msg, |
|
const upb_MiniTableField* field, size_t len, |
|
upb_Arena* arena) { |
|
return _upb_Array_Resize_accessor2( |
|
msg, field->offset, len, _upb_MiniTableField_CTypeLg2Size(field), arena); |
|
} |
|
|
|
typedef struct { |
|
const char* ptr; |
|
uint64_t val; |
|
} decode_vret; |
|
|
|
UPB_NOINLINE |
|
static decode_vret decode_longvarint64(const char* ptr, uint64_t val) { |
|
decode_vret ret = {NULL, 0}; |
|
uint64_t byte; |
|
int i; |
|
for (i = 1; i < 10; i++) { |
|
byte = (uint8_t)ptr[i]; |
|
val += (byte - 1) << (i * 7); |
|
if (!(byte & 0x80)) { |
|
ret.ptr = ptr + i + 1; |
|
ret.val = val; |
|
return ret; |
|
} |
|
} |
|
return ret; |
|
} |
|
|
|
UPB_FORCEINLINE |
|
static const char* decode_varint64(const char* ptr, uint64_t* val) { |
|
uint64_t byte = (uint8_t)*ptr; |
|
if (UPB_LIKELY((byte & 0x80) == 0)) { |
|
*val = byte; |
|
return ptr + 1; |
|
} else { |
|
decode_vret res = decode_longvarint64(ptr, byte); |
|
if (!res.ptr) return NULL; |
|
*val = res.val; |
|
return res.ptr; |
|
} |
|
} |
|
|
|
UPB_FORCEINLINE |
|
static const char* decode_tag(const char* ptr, uint32_t* val) { |
|
uint64_t byte = (uint8_t)*ptr; |
|
if (UPB_LIKELY((byte & 0x80) == 0)) { |
|
*val = (uint32_t)byte; |
|
return ptr + 1; |
|
} else { |
|
const char* start = ptr; |
|
decode_vret res = decode_longvarint64(ptr, byte); |
|
if (!res.ptr || res.ptr - start > 5 || res.val > UINT32_MAX) { |
|
return NULL; // Malformed. |
|
} |
|
*val = (uint32_t)res.val; |
|
return res.ptr; |
|
} |
|
} |
|
|
|
// Parses unknown data by merging into existing base_message or creating a |
|
// new message usingg mini_table. |
|
static upb_UnknownToMessageRet upb_MiniTable_ParseUnknownMessage( |
|
const char* unknown_data, size_t unknown_size, |
|
const upb_MiniTable* mini_table, upb_Message* base_message, |
|
int decode_options, upb_Arena* arena) { |
|
upb_UnknownToMessageRet ret; |
|
ret.message = |
|
base_message ? base_message : _upb_Message_New(mini_table, arena); |
|
if (!ret.message) { |
|
ret.status = kUpb_UnknownToMessage_OutOfMemory; |
|
return ret; |
|
} |
|
// Decode sub message using unknown field contents. |
|
const char* data = unknown_data; |
|
uint32_t tag; |
|
uint64_t message_len = 0; |
|
data = decode_tag(data, &tag); |
|
data = decode_varint64(data, &message_len); |
|
upb_DecodeStatus status = upb_Decode(data, message_len, ret.message, |
|
mini_table, NULL, decode_options, arena); |
|
if (status == kUpb_DecodeStatus_OutOfMemory) { |
|
ret.status = kUpb_UnknownToMessage_OutOfMemory; |
|
} else if (status == kUpb_DecodeStatus_Ok) { |
|
ret.status = kUpb_UnknownToMessage_Ok; |
|
} else { |
|
ret.status = kUpb_UnknownToMessage_ParseError; |
|
} |
|
return ret; |
|
} |
|
|
|
upb_GetExtension_Status upb_MiniTable_GetOrPromoteExtension( |
|
upb_Message* msg, const upb_MiniTableExtension* ext_table, |
|
int decode_options, upb_Arena* arena, |
|
const upb_Message_Extension** extension) { |
|
UPB_ASSERT(ext_table->field.descriptortype == kUpb_FieldType_Message); |
|
*extension = _upb_Message_Getext(msg, ext_table); |
|
if (*extension) { |
|
return kUpb_GetExtension_Ok; |
|
} |
|
|
|
// Check unknown fields, if available promote. |
|
int field_number = ext_table->field.number; |
|
upb_FindUnknownRet result = upb_MiniTable_FindUnknown(msg, field_number); |
|
if (result.status != kUpb_FindUnknown_Ok) { |
|
return kUpb_GetExtension_NotPresent; |
|
} |
|
// Decode and promote from unknown. |
|
const upb_MiniTable* extension_table = ext_table->sub.submsg; |
|
upb_UnknownToMessageRet parse_result = upb_MiniTable_ParseUnknownMessage( |
|
result.ptr, result.len, extension_table, |
|
/* base_message= */ NULL, decode_options, arena); |
|
switch (parse_result.status) { |
|
case kUpb_UnknownToMessage_OutOfMemory: |
|
return kUpb_GetExtension_OutOfMemory; |
|
case kUpb_UnknownToMessage_ParseError: |
|
return kUpb_GetExtension_ParseError; |
|
case kUpb_UnknownToMessage_NotFound: |
|
return kUpb_GetExtension_NotPresent; |
|
case kUpb_UnknownToMessage_Ok: |
|
break; |
|
} |
|
upb_Message* extension_msg = parse_result.message; |
|
// Add to extensions. |
|
upb_Message_Extension* ext = |
|
_upb_Message_GetOrCreateExtension(msg, ext_table, arena); |
|
if (!ext) { |
|
return kUpb_GetExtension_OutOfMemory; |
|
} |
|
memcpy(&ext->data, &extension_msg, sizeof(extension_msg)); |
|
*extension = ext; |
|
upb_Message_DeleteUnknown(msg, result.ptr, result.len); |
|
return kUpb_GetExtension_Ok; |
|
} |
|
|
|
upb_GetExtensionAsBytes_Status upb_MiniTable_GetExtensionAsBytes( |
|
const upb_Message* msg, const upb_MiniTableExtension* ext_table, |
|
int encode_options, upb_Arena* arena, const char** extension_data, |
|
size_t* len) { |
|
const upb_Message_Extension* msg_ext = _upb_Message_Getext(msg, ext_table); |
|
UPB_ASSERT(ext_table->field.descriptortype == kUpb_FieldType_Message); |
|
if (msg_ext) { |
|
upb_EncodeStatus status = |
|
upb_Encode(msg_ext->data.ptr, msg_ext->ext->sub.submsg, encode_options, |
|
arena, (char**)extension_data, len); |
|
if (status != kUpb_EncodeStatus_Ok) { |
|
return kUpb_GetExtensionAsBytes_EncodeError; |
|
} |
|
return kUpb_GetExtensionAsBytes_Ok; |
|
} |
|
int field_number = ext_table->field.number; |
|
upb_FindUnknownRet result = upb_MiniTable_FindUnknown(msg, field_number); |
|
if (result.status != kUpb_FindUnknown_Ok) { |
|
return kUpb_GetExtensionAsBytes_NotPresent; |
|
} |
|
const char* data = result.ptr; |
|
uint32_t tag; |
|
uint64_t message_len = 0; |
|
data = decode_tag(data, &tag); |
|
data = decode_varint64(data, &message_len); |
|
*extension_data = data; |
|
*len = message_len; |
|
return kUpb_GetExtensionAsBytes_Ok; |
|
} |
|
|
|
static const char* UnknownFieldSet_SkipGroup(const char* ptr, const char* end, |
|
int group_number); |
|
|
|
static const char* UnknownFieldSet_SkipField(const char* ptr, const char* end, |
|
uint32_t tag) { |
|
int field_number = tag >> 3; |
|
int wire_type = tag & 7; |
|
switch (wire_type) { |
|
case kUpb_WireType_Varint: { |
|
uint64_t val; |
|
return decode_varint64(ptr, &val); |
|
} |
|
case kUpb_WireType_64Bit: |
|
if (end - ptr < 8) return NULL; |
|
return ptr + 8; |
|
case kUpb_WireType_32Bit: |
|
if (end - ptr < 4) return NULL; |
|
return ptr + 4; |
|
case kUpb_WireType_Delimited: { |
|
uint64_t size; |
|
ptr = decode_varint64(ptr, &size); |
|
if (!ptr || end - ptr < size) return NULL; |
|
return ptr + size; |
|
} |
|
case kUpb_WireType_StartGroup: |
|
return UnknownFieldSet_SkipGroup(ptr, end, field_number); |
|
case kUpb_WireType_EndGroup: |
|
return NULL; |
|
default: |
|
assert(0); |
|
return NULL; |
|
} |
|
} |
|
|
|
static const char* UnknownFieldSet_SkipGroup(const char* ptr, const char* end, |
|
int group_number) { |
|
uint32_t end_tag = (group_number << 3) | kUpb_WireType_EndGroup; |
|
while (true) { |
|
if (ptr == end) return NULL; |
|
uint64_t tag; |
|
ptr = decode_varint64(ptr, &tag); |
|
if (!ptr) return NULL; |
|
if (tag == end_tag) return ptr; |
|
ptr = UnknownFieldSet_SkipField(ptr, end, (uint32_t)tag); |
|
if (!ptr) return NULL; |
|
} |
|
return ptr; |
|
} |
|
|
|
enum { |
|
kUpb_MessageSet_StartItemTag = (1 << 3) | kUpb_WireType_StartGroup, |
|
kUpb_MessageSet_EndItemTag = (1 << 3) | kUpb_WireType_EndGroup, |
|
kUpb_MessageSet_TypeIdTag = (2 << 3) | kUpb_WireType_Varint, |
|
kUpb_MessageSet_MessageTag = (3 << 3) | kUpb_WireType_Delimited, |
|
}; |
|
|
|
upb_FindUnknownRet upb_MiniTable_FindUnknown(const upb_Message* msg, |
|
uint32_t field_number) { |
|
size_t size; |
|
upb_FindUnknownRet ret; |
|
|
|
const char* ptr = upb_Message_GetUnknown(msg, &size); |
|
if (size == 0) { |
|
ret.status = kUpb_FindUnknown_NotPresent; |
|
ret.ptr = NULL; |
|
ret.len = 0; |
|
return ret; |
|
} |
|
const char* end = ptr + size; |
|
uint64_t uint64_val; |
|
|
|
while (ptr < end) { |
|
uint32_t tag = 0; |
|
int field; |
|
int wire_type; |
|
const char* unknown_begin = ptr; |
|
ptr = decode_tag(ptr, &tag); |
|
field = tag >> 3; |
|
wire_type = tag & 7; |
|
switch (wire_type) { |
|
case kUpb_WireType_EndGroup: |
|
ret.status = kUpb_FindUnknown_ParseError; |
|
return ret; |
|
case kUpb_WireType_Varint: |
|
ptr = decode_varint64(ptr, &uint64_val); |
|
if (!ptr) { |
|
ret.status = kUpb_FindUnknown_ParseError; |
|
return ret; |
|
} |
|
break; |
|
case kUpb_WireType_32Bit: |
|
ptr += 4; |
|
break; |
|
case kUpb_WireType_64Bit: |
|
ptr += 8; |
|
break; |
|
case kUpb_WireType_Delimited: |
|
// Read size. |
|
ptr = decode_varint64(ptr, &uint64_val); |
|
if (uint64_val >= INT32_MAX || !ptr) { |
|
ret.status = kUpb_FindUnknown_ParseError; |
|
return ret; |
|
} |
|
ptr += uint64_val; |
|
break; |
|
case kUpb_WireType_StartGroup: |
|
// tag >> 3 specifies the group number, recurse and skip |
|
// until we see group end tag. |
|
ptr = UnknownFieldSet_SkipGroup(ptr, end, field_number); |
|
break; |
|
default: |
|
ret.status = kUpb_FindUnknown_ParseError; |
|
return ret; |
|
} |
|
if (field_number == field) { |
|
ret.status = kUpb_FindUnknown_Ok; |
|
ret.ptr = unknown_begin; |
|
ret.len = ptr - unknown_begin; |
|
return ret; |
|
} |
|
} |
|
ret.status = kUpb_FindUnknown_NotPresent; |
|
ret.ptr = NULL; |
|
ret.len = 0; |
|
return ret; |
|
} |
|
|
|
upb_UnknownToMessageRet upb_MiniTable_PromoteUnknownToMessage( |
|
upb_Message* msg, const upb_MiniTable* mini_table, |
|
const upb_MiniTableField* field, const upb_MiniTable* sub_mini_table, |
|
int decode_options, upb_Arena* arena) { |
|
upb_FindUnknownRet unknown; |
|
// We need to loop and merge unknowns that have matching tag field->number. |
|
upb_Message* message = NULL; |
|
// Callers should check that message is not set first before calling |
|
// PromotoUnknownToMessage. |
|
UPB_ASSERT(upb_MiniTable_GetMessage(msg, field, NULL) == NULL); |
|
upb_UnknownToMessageRet ret; |
|
ret.status = kUpb_UnknownToMessage_Ok; |
|
do { |
|
unknown = upb_MiniTable_FindUnknown(msg, field->number); |
|
switch (unknown.status) { |
|
case kUpb_FindUnknown_Ok: { |
|
const char* unknown_data = unknown.ptr; |
|
size_t unknown_size = unknown.len; |
|
ret = upb_MiniTable_ParseUnknownMessage(unknown_data, unknown_size, |
|
sub_mini_table, message, |
|
decode_options, arena); |
|
if (ret.status == kUpb_UnknownToMessage_Ok) { |
|
message = ret.message; |
|
upb_Message_DeleteUnknown(msg, unknown_data, unknown_size); |
|
} |
|
} break; |
|
case kUpb_FindUnknown_ParseError: |
|
ret.status = kUpb_UnknownToMessage_ParseError; |
|
break; |
|
case kUpb_FindUnknown_NotPresent: |
|
// If we parsed at least one unknown, we are done. |
|
ret.status = |
|
message ? kUpb_UnknownToMessage_Ok : kUpb_UnknownToMessage_NotFound; |
|
break; |
|
} |
|
} while (unknown.status == kUpb_FindUnknown_Ok); |
|
if (message) { |
|
upb_MiniTable_SetMessage(msg, mini_table, field, message); |
|
ret.message = message; |
|
} |
|
return ret; |
|
} |
|
|
|
// Moves repeated messages in unknowns to a upb_Array. |
|
// |
|
// Since the repeated field is not a scalar type we don't check for |
|
// kUpb_LabelFlags_IsPacked. |
|
// TODO(b/251007554): Optimize. Instead of converting messages one at a time, |
|
// scan all unknown data once and compact. |
|
upb_UnknownToMessage_Status upb_MiniTable_PromoteUnknownToMessageArray( |
|
upb_Message* msg, const upb_MiniTableField* field, |
|
const upb_MiniTable* mini_table, int decode_options, upb_Arena* arena) { |
|
upb_Array* repeated_messages = upb_MiniTable_GetMutableArray(msg, field); |
|
// Find all unknowns with given field number and parse. |
|
upb_FindUnknownRet unknown; |
|
do { |
|
unknown = upb_MiniTable_FindUnknown(msg, field->number); |
|
if (unknown.status == kUpb_FindUnknown_Ok) { |
|
upb_UnknownToMessageRet ret = upb_MiniTable_ParseUnknownMessage( |
|
unknown.ptr, unknown.len, mini_table, |
|
/* base_message= */ NULL, decode_options, arena); |
|
if (ret.status == kUpb_UnknownToMessage_Ok) { |
|
upb_MessageValue value; |
|
value.msg_val = ret.message; |
|
if (!upb_Array_Append(repeated_messages, value, arena)) { |
|
return kUpb_UnknownToMessage_OutOfMemory; |
|
} |
|
upb_Message_DeleteUnknown(msg, unknown.ptr, unknown.len); |
|
} else { |
|
return ret.status; |
|
} |
|
} |
|
} while (unknown.status == kUpb_FindUnknown_Ok); |
|
return kUpb_UnknownToMessage_Ok; |
|
}
|
|
|