Protobuf 3.21 C++环境下如何区分未设置与越界枚举字段？

在Protobuf 3.21的C++实现中，封闭枚举的这两种场景确实无法通过hasField或has_presence()直接区分，但可以通过检查UnknownFieldSet中的字段号映射来实现区分，具体方法如下：

核心原理 #

当反序列化到越界的封闭枚举值时，Protobuf会将该字段的原始数据（字段号+越界值）存入UnknownFieldSet，同时将枚举字段重置为默认值；而字段未设置的情况下，UnknownFieldSet中不会存在对应字段号的条目。利用这一差异即可区分两种场景。

具体实现步骤 #

1. 遍历UnknownFieldSet，匹配目标枚举字段的字段号
   越界枚举值会以Varint类型存储在UnknownFieldSet中，你可以通过字段号定位到对应的条目：

   #include <google/protobuf/unknown_field_set.h>
   
   // 假设你的消息对象为message，目标枚举字段号为YOUR_ENUM_FIELD_NUM
   const google::protobuf::UnknownFieldSet& unknown_fields = message.unknown_fields();
   bool has_invalid_enum_value = false;
   uint64_t invalid_enum_val = 0;
   
   for (int i = 0; i < unknown_fields.field_count(); ++i) {
       const google::protobuf::UnknownField& field = unknown_fields.field(i);
       // 匹配字段号+Varint类型（枚举默认编码类型）
       if (field.number() == YOUR_ENUM_FIELD_NUM && field.type() == google::protobuf::UnknownField::TYPE_VARINT) {
           has_invalid_enum_value = true;
           invalid_enum_val = field.varint_value(); // 可获取具体的越界值
           break;
       }
   }
   

2. 验证字段号对应的是目标枚举字段（可选）
   为避免字段号冲突，可以先通过消息描述符确认字段号对应的是目标枚举字段：

   const google::protobuf::Descriptor* msg_desc = message.GetDescriptor();
   const google::protobuf::FieldDescriptor* enum_field = msg_desc->FindFieldByNumber(YOUR_ENUM_FIELD_NUM);
   if (enum_field && enum_field->type() == google::protobuf::FieldDescriptor::TYPE_ENUM) {
       // 确认字段号对应目标枚举字段，再执行上述UnknownFieldSet检查
   }
   

关键说明 #

• has_presence()仅用于判断字段是否支持“存在性”语义，Protobuf 3中默认的封闭枚举字段（非optional修饰）不具备该语义，因此两种场景下返回值一致，无法用于区分。
• 仅当序列化数据中明确包含越界枚举值时，UnknownFieldSet才会生成对应条目；字段未设置时，不会有任何相关条目存入。

内容的提问来源于stack exchange，提问作者Vinzent Brömauer