2. HIDL 基础概念

HIDL（HAL Interface Definition Language）是 Android 系统中用于定义 HAL 与框架之间进程间通信（IPC）接口的规范语言。理解 HIDL 的核心概念是进行通信链路调试的前提。本节将深入剖析 HIDL 接口定义语言、.hal 文件结构、包名与版本管理以及数据类型系统。

2.1 HIDL 接口定义语言

HIDL 是一种描述性语言，它不包含实现逻辑，仅定义接口的契约。其核心作用在于：

• 接口契约化：明确指定 HAL 服务端必须实现的方法、回调以及数据类型。
• 语言无关性：HIDL 定义可被编译为 C++ 或 Java 的桩代码（Stub/Proxy），实现跨语言通信。
• 版本化演进：通过严格的版本管理机制，确保接口在升级过程中的向后兼容性。

2.2 .hal 文件结构

一个标准的 .hal 文件遵循严格的语法结构，包含包声明、导入、类型定义和接口定义。以下是一个典型的 .hal 文件示例：

// 包声明：定义命名空间和版本
package android.hardware.light@2.0;

// 导入其他 HIDL 包
import android.hardware.graphics.common@1.0::types;

// 枚举类型定义
enum FlashMode : int32_t {
    NONE,
    TORCH,
    AUTO
};

// 结构体类型定义
struct LightState {
    int32_t color;
    FlashMode flashMode;
    int32_t brightness;
};

// 接口定义
interface ILight {
    // 方法：设置灯光状态
    setLight(LightState state) generates (Status status);
    // 方法：获取当前灯光状态
    getLight() generates (Status status, LightState state);
};

文件结构的关键组成部分：

2.3 包名与版本管理

HIDL 的包名和版本号共同构成了接口的唯一标识符。版本管理遵循语义化版本规则：

• 主版本（Major）：不向后兼容的变更，如删除方法或修改方法签名。
• 次版本（Minor）：向后兼容的扩展，如新增方法或类型。

版本管理机制确保了系统组件的独立演进。下图展示了 HIDL 版本管理的核心逻辑：

2.4 数据类型

HIDL 定义了一套完整的数据类型系统，包括基础类型、容器类型和自定义类型。理解这些类型在序列化时的内存布局对于调试数据损坏问题至关重要。

2.4.1 基础数据类型

2.4.2 容器与字符串类型

• string：UTF-8 编码的字符串，在 IPC 传输时自动序列化为长度前缀 + 数据。
• vec<T>：动态数组，支持任意 HIDL 类型。调试时需关注数组长度是否越界。
• hidl_array<T, S>：固定大小数组，在 .hal 中使用 T[S] 表示。
• hidl_handle：用于传递文件描述符（FD），调试时需检查 FD 的有效性。

2.4.3 自定义类型

通过 struct、enum 和 union 关键字，开发者可以构建复杂的数据结构。自定义类型在序列化时遵循以下规则：

• 内存对齐：HIDL 编译器会为结构体成员添加填充字节（padding）以满足对齐要求。
• 嵌套限制：结构体可以嵌套，但递归定义是不允许的。
• 联合体（union）：使用 safe_union 替代传统 union，通过 discriminator 确保类型安全。

下图展示了 HIDL 数据类型在 IPC 通信中的序列化与反序列化流程：