04 复杂数据类型序列化：数组、Union与Polymorphic类型的工业级处理

🧭变长数组与选择式联合体的序列化边界：从协议定义到工业级实现

复杂数据类型序列化的验收口径

在SOME/IP协议栈的源码实现中，复杂数据类型的序列化是导致线上通信故障的首要原因。变长数组（Dynamic Array）、选择式联合体（Union）与多态类型（Polymorphic Type）的序列化，其核心难点不在于数据编码本身，而在于如何精确控制序列化与反序列化的边界条件。一个字节的偏移错误，就可能导致整个服务发现（Service Discovery）流程崩溃。本节将聚焦于这些类型的序列化链路，剖析工业级源码中如何处理长度字段的预计算、选择字段（union selector）的校验以及多态类型的类型标识符（Type ID）管理

🎯问题定位：变长数组与Union的序列化陷阱

工业级SOME/IP协议栈在处理复杂数据类型时，面临三个典型的边界问题。第一，变长数组的长度字段（Length Field）通常位于数组数据之前，但不同规范对长度字段是计数字节数还是元素个数存在歧义，且对齐填充（Alignment Padding）的计算极易出错。第二，SOME/IP选择式联合体（SOME/IP Union）的序列化依赖于一个前置的selector字段，该字段决定了后续联合体成员的类型和长度。若selector值超出预定义范围，或联合体成员的实际数据长度与selector指示的类型不匹配，反序列化将直接产生内存越界。第三，Polymorphic选择式联合体（Polymorphic Union）引入了基类与派生类的概念，其序列化不仅需要处理selector，还需在数据流中嵌入类型标识符（Type ID），用于在反序列化时动态构造正确的派生类对象

在源码实现中，常见的错误做法是将union的序列化简化为一个switch-case语句，而忽略了selector字段的合法性校验与数据长度的二次验证。例如，当接收到一个selector值为0x05的包，但实际负载长度仅能容纳uint8类型时，工业级协议栈必须能够识别此异常并触发错误处理，而非直接读取越界内存

🧭对象配置与验证链路：主链路与校验步骤

处理复杂数据类型序列化的主链路，在源码层面通常遵循“预计算-序列化-校验-反序列化”四步流程。以SOME/IP选择式联合体为例，其序列化实现路径如下：

1. 预计算与长度锚定：在序列化前，遍历联合体成员，根据当前selector值确定活跃成员，并计算其序列化后的总长度（包括对齐填充）。此长度将用于填充Length字段
2. 序列化写入：先写入selector字段（通常为uint16），再写入对应成员的数据。对于Polymorphic选择式联合体，需在selector之后立即写入Type ID
3. 反序列化校验：读取selector后，立即校验其是否在协议定义的枚举范围内。若超出范围，直接返回错误码，并丢弃该报文
4. 类型安全构造：根据校验通过的selector值，从预注册的工厂类（Factory）中获取对应的反序列化器，完成数据读取与对象构造

技术资产：序列化核心函数接口示例

以下是一个简化的工业级序列化函数接口，展示了如何处理SOME/IP选择式联合体的边界校验：

// 序列化 SOME/IP Union
SerializeResult SerializeUnion(const UnionData& data, 
                               uint8_t* buffer, 
                               size_t bufferSize, 
                               size_t& offset) {
    // 1. 校验 selector 合法性
    if (!IsValidSelector(data.selector)) {
        return SerializeResult::kInvalidSelector;
    }
    // 2. 写入 selector (2字节)
    if (offset + 2 > bufferSize) return SerializeResult::kBufferOverflow;
    WriteUint16(buffer, offset, data.selector);
    offset += 2;
    // 3. 根据 selector 获取成员序列化器
    auto serializer = GetSerializerForSelector(data.selector);
    if (!serializer) {
        return SerializeResult::kUnsupportedType;
    }
    // 4. 执行成员序列化，并检查写入长度
    size_t memberStart = offset;
    auto result = serializer->Serialize(data.member, buffer, bufferSize, offset);
    if (result != SerializeResult::kSuccess) {
        return result;
    }
    // 5. 验证实际写入长度是否与预期一致（防御性检查）
    size_t writtenLength = offset - memberStart;
    if (writtenLength != GetExpectedMemberSize(data.selector)) {
        return SerializeResult::kLengthMismatch;
    }
    return SerializeResult::kSuccess;
}

这段配置属于“问题代码/原始配置”，核对键名、默认值、取值范围和修改后影响的行为。

上述代码中，IsValidSelector函数用于校验selector是否在协议定义的枚举范围内，GetExpectedMemberSize则返回该类型在协议规范中定义的固定或最大长度。这两步校验是防止恶意报文或协议栈bug导致内存破坏的关键防线