引言

Mojo C++ 绑定层构建于底层系统 API 之上，为进程间通信（IPC）提供了符合 C++ 编程习惯的原语。通过结合 Mojom 接口定义语言（IDL）生成的代码，开发者能够轻松地在不同进程或线程之间建立客户端与服务器的连接。本文档将深入探讨该 API 的使用细节，涵盖从基础管道创建到复杂类型映射的全过程。

详细的方法签名请参考 //mojo/public/cpp/bindings 下的头文件。若需了解针对特定浏览器内核开发的简化指南，可查阅相关配套文档。

入门与构建

当 Mojom IDL 文件经过绑定生成器处理后，会输出一系列基于输入文件名命名的 .h 和 .cc 文件。例如，定义一个名为 monitor 的模块：

module monitor.mojom;

interface EventSource {
  Emit(int32_t id, string msg);
};

interface Collector {
  RegisterSource(EventSource& src);
};

在对应的构建配置文件中添加目标：

import("//mojo/public/tools/bindings/mojom.gni")

mojom("bindings") {
  sources = [ "monitor.mojom" ]
}

依赖此接口的组件需在 BUILD.gn 中声明：deps += [ "//components/monitor/mojom" ]。执行构建后，将在输出目录生成类似 monitor.mojom.h 的文件，通过包含该头文件即可使用生成的类定义。

接口基础用法

Mojom 定义的接口会被转换为 C++ 纯虚类。每个方法对应一条请求消息的序列化接口。虽然底层涉及复杂的序列化处理，但对调用者而言是透明的。

指针与请求对象

生成的代码中通常会定义两个关键类型别名：InterfacePtr 和 InterfaceRequest。

• InterfacePtr<T>：代表管道的客户端端点。绑定后可直接调用接口方法，参数会被自动序列化并写入管道。
• InterfaceRequest<T>：代表管道的服务端端点。它仅持有管道句柄及编译时类型信息，本身不处理业务逻辑，直到被某个实现类"绑定"。

创建连接管道

手动创建管道较为繁琐，建议使用辅助函数：mojo::MakeRequest。

#include "components/monitor/mojom/monitor.mojom.h"

// 客户端视角
monitor::mojom::EventSourcePtr client_ptr;
auto server_request = mojo::MakeRequest(&client_ptr);

上述代码等价于手动构造 MessagePipe 并用强类型包装两端。InterfacePtr 必须绑定在单一序列上以确保消息分发的安全性，而 InterfaceRequest 可以自由跨线程传递。

实现服务绑定

为了让客户端发送的消息生效，服务端需要创建一个实现类并通过 mojo::Binding 接管请求。

#include "base/logging.h"
#include "components/monitor/mojom/monitor.mojom.h"

class EventSourceImpl : public monitor::mojom::EventSource {
 public:
  explicit EventSourceImpl(monitor::mojom::EventSourceRequest req)
      : binding_(this, std::move(req)) {}

  void Emit(int32_t id, const std::string& msg) override {
    LOG(INFO) << "Received event: " << id << " - " << msg;
  }

 private:
  mojo::Binding<monitor::mojom::EventSource> binding_;
};

// 服务端初始化
auto impl = std::make_unique<EventSourceImpl>(std::move(server_request));

一旦实现类构造完成，绑定器会自动监听管道可读事件。之前客户端发送但尚未消费的消息会被立即读取、反序列化并分发给实现类。

异步响应处理

部分接口方法支持双向通信，即方法调用携带一个回调，用于接收服务端回传的数据。

interface StatusChecker {
  GetLastId() => (int32_t id);
};

C++ 生成代码会将回调作为参数传递：

virtual void GetLastId(OnceCallback<void(int32_t)> cb) = 0;

客户端调用时将回调注册上去，服务端在处理完后调用该回调。需注意，客户端回调通常在调用方的序列上执行。

错误处理与生命周期

管道断开（如进程崩溃、对端关闭）时，绑定对象的连接错误处理器会被触发。可以通过 set_connection_error_handler 设置清理逻辑。一旦绑定对象析构，未完成的回调将被丢弃，因此在使用弱指针时需格外小心。

关于顺序性：关闭管道一端的操作相对于已发送的消息是有顺序保证的。这意味着在对端看到断开错误前，先前的合法消息必定已被处理。

数据类型详解

枚举（Enums）

Mojom 枚举直接映射为 C++11 enum class，底层类型为 int32_t。系统会自动生成 kMaxValue 成员以便统计直方图或兼容旧 IPC。

结构体（Structs）

结构体映射为拥有公共字段的标准 C++ 类，并提供构造、克隆及比较函数。当作为参数传递时，通常包裹在 mojo::StructPtr 中，类似于智能指针。可通过静态 New() 方法快速实例化。

struct Profile { int32_t age; string name; };
// 使用示例
auto p = monitor::mojom::Profile::New(25, "Alice");

联合体（Unions）

联合体的字段均为私有，必须通过访问器操作。每个联合类型包含一个嵌套的 Tag 枚举用于区分当前激活的字段。尝试访问未设置的字段会导致运行时断言失败。

接口透传

IPC 的核心在于能够通过消息管道传递接口本身。Mojom 中使用 & 后缀表示传递接口请求（Request），不带后缀表示传递接口指针（Ptr）。

传递请求

若接口定义为 AddWorker(Worker& w)，则 C++ 签名接收 WorkerRequest。服务端收到后可将其绑定到新的实现实例上。

class WorkerImpl : public monitor::mojom::Worker { ... };

class JobQueue : public monitor::mojom::Scheduler {
  void AddWorker(monitor::mojom::WorkerRequest req) override {
    workers_.push_back(std::make_unique<WorkerImpl>(std::move(req)));
  }
};

其他绑定模式

• 强绑定 (Strong Binding)：利用 MakeStrongBinding 管理实现对象的生命周期，实现对象随管道错误自动销毁。
• 绑定集 (BindingSet)：允许一个实现类同时服务多个客户端请求，避免重复实例化。
• 指针集 (InterfacePtrSet)：用于维护观察者列表等场景，批量向一组客户端推送通知。

关联接口 (Associated Interfaces)

当需要在同一个主消息管道上传输多个不同类型的接口且保持有序时，可使用关联接口。这在多序列并发模型下尤为有用。

基本用法

在 Mojom 中使用 associated 关键字标记字段。C++ 侧对应 AssociatedInterfacePtr 和 AssociatedRequest。建立连接时，关联接口的一端必须通过主接口传递过去。

// 客户端
BarAssociatedPtr bar;
foo_ptr->GetBar(mojo::MakeRequest(&bar)); // 发送请求关联到 foo 管道
bar->InvokeAction();

注意时序约束：必须先发送关联请求才能使用该指针，否则可能导致死锁。实现侧则使用 AssociatedBinding 进行接收。

同步调用风险

虽然同步方法编写方便，但在高并发环境下极易引发性能瓶颈甚至死锁。

• 阻塞线程：调用方在等待响应期间无法处理其他任务。
• 重入问题：嵌套同步调用会打乱消息处理栈的顺序。
• 死锁隐患：A 调用 B 同步返回，B 反向同步调用 A 将导致永久阻塞。

仅在极端必要情况下使用带有 [Sync] 属性的方法。此时生成的代码会提供两个重载：一个是带回调的异步版本，另一个是阻塞式的同步版本。

类型映射 (Type Mapping)

为了减少样板代码，可以将 Mojom 原生类型映射为现有框架库的类型（如 gfx::Rect）。这需要通过定义 StructTraits 特化类来实现。

定义 traits

需要为源类型和目标类型提供一个转换模板，包含所有字段的读取访问器和一个用于反序列化的 Read 方法。这不仅是类型转换，也是数据校验的绝佳位置（例如检查负数尺寸）。

template <>
class StructTraits<geometry::mojom::BoxDataView, geom::Box> {
 public:
  static float x(const geom::Box& b) { return b.x; }
  static bool Read(geometry::mojom::BoxDataView v, geom::Box* out) {
     if (v.width() <= 0) return false; // 校验逻辑
     *out = geom::Box(v.x(), ...);
     return true;
  }
};

配置构建系统

定义完 traits 后，需创建 .typemap 文件告知生成器应用此规则，并在全局配置中引用该映射文件。对于不同的构建变体（如 Blink 与非 Blink），映射关系可能是独立的。

版本控制与兼容性

接口演进时，可利用 InterfacePtr::QueryVersion 查询对端版本能力。对于可扩展的枚举类型，生成的辅助函数 IsKnownEnumValue 可用于判断接收到的值是否在当前版本定义范围内，从而安全地处理未来新增的值。

总结

Mojo C++ 绑定机制通过将管道抽象为对象模型，极大地简化了复杂的 IPC 开发流程。无论是基础的消息收发，还是高级的接口传输、类型映射，其设计核心都在于类型安全与资源管理的自动化。开发者应优先采用异步模式以保证系统响应性，并在必要时利用工具链提供的特性来适应复杂的架构需求。