C语言如何实现类似Redux/Vuex的全局状态管理

你提出的get_game()全局访问思路本身在C项目里非常常见，并不是离谱的设计，但直接返回全局结构体可写指针的做法，并没有解决裸全局变量的核心问题，和Redux/Vuex的设计逻辑还有本质差异。

直接暴露全局指针的常见问题 #

• 可测试性极差：写单元测试时无法注入独立的mock实例，所有测试用例会共用同一份全局状态，用例之间的状态残留会互相干扰，测试结果不稳定。
• 丧失多实例扩展能力：如果后续需求变更，需要同时运行多个游戏实例、或者开多个独立窗口，所有直接调用get_game()的代码都要重构，完全无法复用。
• 状态修改完全不可控：Redux/Vuex的核心价值是强制所有状态修改走统一入口，能追溯修改来源和时机；如果直接返回可写的结构体指针，任何代码拿到指针都能随意修改内部字段，出问题时根本定位不到是哪段逻辑改坏了状态，这恰恰是全局变量“有害”的核心原因，你只是给全局变量套了层函数壳，本质问题没解决。
• 多线程场景下有数据竞争风险：没有统一的同步控制逻辑，多线程同时读写状态时很容易出现偶发的脏数据问题。

C语言中成熟的全局状态管理实现 #

实际上C生态里早就有和Redux设计逻辑完全对齐的实现模式，大量大型C项目都在使用，核心逻辑和前端状态管理的思路完全一致：

• 状态私有化存储：把所有全局状态收拢到单独的.c文件中，用static修饰为文件私有变量，外部文件根本拿不到状态的直接可写指针，从根源上禁止随意修改。
• 只读访问接口：对外只暴露返回const指针的查询接口，比如const Game* get_game()，外部拿到指针后只能读不能写，要修改状态必须走统一的公开入口。
• 统一修改入口：和Redux的action/reducer机制对齐，所有状态修改必须通过显式的分发接口，比如int game_dispatch(GameAction action, void* payload)，所有状态变更逻辑都收拢在这个函数内部，你可以在这里加日志、做参数校验、加线程锁，每一次状态变更都有明确的输入，完全可追溯。
• 可选订阅机制：可以实现状态变更的订阅回调，状态更新后自动通知所有依赖模块执行刷新逻辑，和Redux/Vuex的订阅能力完全对齐。

你觉得反复传上下文繁琐的感受非常真实，在确定是单实例的小型项目里，用封装好的全局状态管理完全没问题，开发效率比全链路透传上下文高很多；但如果是写可复用的通用库、或者未来可能扩展多实例的项目，显式传递上下文指针的模式长期维护成本反而更低。

给你一个最小可用的实现样例：

// game_state.h 对外公开的头文件
#ifndef GAME_STATE_H
#define GAME_STATE_H

typedef struct Game {
  int speed;
  int screen_width;
  int screen_height;
  int size;
} Game;

// 对应Redux的动作类型
typedef enum {
  GAME_INIT,
  GAME_SET_SPEED,
  GAME_SET_RESOLUTION
} GameActionType;

// 动作结构体
typedef struct {
  GameActionType type;
  union {
    struct { int w; int h; } resolution;
    int speed;
  } payload;
} GameAction;

// 状态订阅回调类型
typedef void (*GameStateSubscriber)(const Game* new_state);

// 对外接口：只读获取当前状态
const Game* get_game(void);
// 对外接口：唯一的状态修改入口
void game_dispatch(GameAction action);
// 对外接口：订阅状态变更
void game_subscribe(GameStateSubscriber sub);

#endif

// game_state.c 状态实现文件，外部无法直接访问内部私有变量
#include "game_state.h"

// 静态全局状态，仅当前文件可见
static Game g_game = {0};
// 订阅者列表
static GameStateSubscriber subscribers[16];
static int sub_count = 0;

const Game* get_game(void) {
  return &g_game;
}

// 内部方法：通知所有订阅者状态已更新
static void notify_all_subscribers(void) {
  for (int i = 0; i < sub_count; i++) {
    if (subscribers[i]) {
      subscribers[i](&g_game);
    }
  }
}

void game_dispatch(GameAction action) {
  // 这里可以统一加线程锁、参数校验、状态变更日志
  switch (action.type) {
    case GAME_INIT:
      g_game.speed = 5;
      g_game.screen_width = 1280;
      g_game.screen_height = 720;
      g_game.size = 1;
      break;
    case GAME_SET_SPEED:
      g_game.speed = action.payload.speed;
      break;
    case GAME_SET_RESOLUTION:
      g_game.screen_width = action.payload.resolution.w;
      g_game.screen_height = action.payload.resolution.h;
      break;
    default:
      // 未知动作类型可以打错误日志，直接返回不修改状态
      return;
  }
  // 状态更新完成后通知所有订阅方
  notify_all_subscribers();
}

void game_subscribe(GameStateSubscriber sub) {
  if (sub_count < 16 && sub != NULL) {
    subscribers[sub_count++] = sub;
  }
}

使用时不需要在各个函数间透传Game指针，任何文件只要引入头文件，读状态就调用get_game()，改状态就构造对应的Action调用game_dispatch()，所有修改逻辑集中管理，既解决了透传参数的繁琐问题，也避免了裸全局变量的各种隐患。这类实现代码量极小，小项目完全可以自己手写，不需要依赖第三方库。

内容的提问来源于stack exchange，提问作者Martin Zeltin