C 语言中的链式调用

什么是链式调用

链式调用（Method Chaining）是一种让代码更简洁、更易读的编写技巧：把多个方法调用串成一条链，前一个方法的返回值直接作为下一个方法的接收者，从而避免大量临时变量。

以 Java 为例：

StringBuilder sb = new StringBuilder();
sb.append("Hello")
  .append(" ")
  .append("World")
  .toString();

append() 每次执行后返回 StringBuilder 对象本身，因此可以不断追加调用，最终用 toString() 取出结果。整段代码读起来像一句自然语言："Hello"、空格、"World"，依次拼上去。

核心原理

链式调用能成立，依赖以下几个条件：

1. 返回自身：每个方法执行完操作后，返回调用对象本身（OOP 语言中通常是 this / self，C 中则是对象指针）。
2. 状态累积：链上每一步都在修改同一个对象的状态，最终得到期望结果。
3. 返回类型一致：除链尾外，每个方法的返回类型必须与对象类型相同，链才能继续。
4. 引用语义：操作作用于同一个实例，而非副本，因此 C 中必须使用指针。

部分框架（如数据库 ORM、构建器模式）还会引入惰性求值——链只是记录意图，真正执行发生在链尾的 build() / execute() 调用。但这不是链式调用的必要条件，上面的 C 示例就是立即执行的。

C 语言中的实现思路

C 没有类和方法，但可以用"结构体 + 函数指针"模拟：

• 把数据成员和操作函数指针放在同一个 struct 里。
• 每个"方法"执行操作后返回 MyObject*（即对象自身的指针）。
• 调用方通过 -> 在返回的指针上继续访问下一个函数指针，形成链。

下面是一个最小示例：

#include <stdio.h>

typedef struct MyObject {
	int num;
	struct MyObject* (*MyObject_new)();
	struct MyObject* (*MyObject_add)(struct MyObject* obj, int value);
	struct MyObject* (*MyObject_multiply)(struct MyObject* obj, int value);
	void (*MyObject_print)(struct MyObject* obj);
} MyObject;

MyObject* MyObject_new(MyObject* obj) {
  obj->num = 0;
  return obj;
}

MyObject* MyObject_add(MyObject* obj, int value) {
  obj->num += value;
  return obj;
}

MyObject* MyObject_multiply(MyObject* obj, int value) {
  obj->num *= value;
  return obj;
}

void MyObject_print(MyObject* obj) {
  printf("%d\n", obj->num);
}

MyObject my_fun = {
	 0,
	 MyObject_new,
	 MyObject_add,
	 MyObject_multiply,
	 MyObject_print,
};

int main() {

  	MyObject_new(&my_fun)
		->MyObject_add(&my_fun, 100)
		->MyObject_multiply(&my_fun, 2)
		->MyObject_print(&my_fun);

	return 0;

  return 0;
}

代码说明

• MyObject 结构体包含一个 int num 数据成员和四个函数指针成员。
• 全局变量 my_fun 在定义时把四个函数指针初始化好。
• 链式调用部分：

int my_main() {
	MyObject_new(&my_fun)
		->MyObject_add(&my_fun, 100)
		->MyObject_multiply(&my_fun, 2)
		->MyObject_print(&my_fun);

	return 0;
}

执行流程：MyObject_new(&my_fun) 将 num 置 0 并返回 &my_fun；随后 ->MyObject_add(&my_fun, 100) 通过结构体中的函数指针把 num 加 100，再返回 &my_fun；->MyObject_multiply(&my_fun, 2) 将 num 乘 2；最后 ->MyObject_print(&my_fun) 打印结果（此处 num 应为 200）。

注意事项与局限

上面的示例能跑通基本流程，但离生产代码还有距离，以下几点需要留意：

• 函数指针签名：结构体中 MyObject_new 声明为 struct MyObject* (*MyObject_new)()，圆括号内为空在 C 中表示"参数未指定"，并非"无参数"（无参数应写 (void)）。实际定义 MyObject* MyObject_new(MyObject* obj) 带一个参数，严格来说签名不匹配。建议改为 struct MyObject* (*MyObject_new)(struct MyObject*) 以保持一致。
• 重复的 return 0;：示例 main 函数末尾出现了两次 return 0;，第二次不可达，应删除。
• 链尾必须返回 void 或不再被使用：MyObject_print 返回 void，因此它只能出现在链的末尾。如果误把它放在中间，后续 -> 操作会编译报错。
• 显式传参略显冗余：链上每一步都手动传入 &my_fun，而 -> 解引用的指针本身就是 &my_fun。这是 C 没有隐式 this 的代价，读起来不如 OOP 语言自然。
• 内存管理：示例使用全局变量，不涉及分配与释放。如果改为 malloc 动态创建对象，需要额外提供 MyObject_free()，并确保链中不会在释放后继续访问。
• 线程安全：多个线程同时对同一个 MyObject 执行链式调用时，num 的读写没有同步保护，存在数据竞争。若需并发使用，应加锁或改为无锁设计。
• 平台与编译器：函数指针的调用约定、结构体对齐等细节可能因平台和编译器而异。示例未做跨平台验证，移植时建议用 -Wall -Wextra 编译并检查警告。

小结

链式调用的本质是"方法返回自身，让调用方可以接着调"。在 C 中通过结构体函数指针可以模拟这一模式，代码可读性确实优于逐行调用。但由于缺少隐式 this、类型系统和自动内存管理，实现上会更啰嗦，边界条件（签名匹配、链尾约束、并发、内存）也需要开发者自行把控。适合在构建器、配置器、日志记录器等"多步操作同一对象"的场景中使用。

本文最初于 2023/8/26 发布在 CSDN。