我们无法用制造问题的同一思维层次来解决问题。¹ — “阿尔伯特·爱因斯坦”

一致性挑战

我第一次接触 X Macros，是在排查一个越界访问问题的时候。

下面是一段简化后的示例代码：

// a.h
typedef enum {
    SYS_OK,
    SYS_ERR_TIMEOUT,
    SYS_ERR_BUSY,
    SYS_ERR_INVALID_ARG,
    SYS_ERR_NOT_FOUND
} SysState;

// a.c
const char *state_desc[] = {
    [SYS_OK] = "System OK",
    [SYS_ERR_TIMEOUT] = "Timeout",
    [SYS_ERR_BUSY] = "System Busy",
    [SYS_ERR_INVALID_ARG] = "Invalid Argument"
    // 这里没有 SYS_ERR_NOT_FOUND
};

int main()
{
    printf("State = %s\n", state_desc[SYS_ERR_NOT_FOUND]);
}

问题显而易见：枚举中新增了SYS_ERR_NOT_FOUND，但字符串数组没有同步更新。

程序执行到 state_desc[SYS_ERR_NOT_FOUND]时会越过数组边界，最终导致崩溃。

只需要在字符串数组里加一行就可以防止访问越界。但是这样的修复并不能防止同类的问题再次发生。原因在于，这里实际上维护了两份必须保持一致的数据：

• 一份是枚举定义
• 一份是字符串表

只要这两份数据分散在不同位置，并且依赖人工同步维护，就很容易再次出现类似问题。

这里需要一种能够防止同类问题再次发生的方案。

X Macros

在查找解决方案的过程中，我看到了 Randy Meyers 发表在 Dr. Dobb’s Journal 上的一篇文章 The New C: X Macros ²。文章介绍了一种利用 C 预处理器实现简单代码生成的技巧。

这项技巧通常被称为 X Macros 。

它的基本思路是维护一份统一的数据列表，然后通过不同的宏定义方式生成所需要的代码结构。

我们可以对前面的例子做一个简单改造, 来展示 X Macros 的用法。

首先定义单一数据源：

#define SYS_STATE_LIST                         \
    X(SYS_OK,              "System OK")        \
    X(SYS_ERR_TIMEOUT,     "Timeout")          \
    X(SYS_ERR_BUSY,        "System Busy")      \
    X(SYS_ERR_INVALID_ARG, "Invalid Argument") \
    X(SYS_ERR_NOT_FOUND,   "Not Found")

这里创建了一个包含所有信息的“主列表”，每个条目都包裹在一个占位宏 X() 中 。X()就是这项技巧名称的由来，并没有什么特殊含义，当然也可以用其他名字。

接下来，我们定义宏 X ，利用这份数据生成枚举类型：

#define X(name, desc) name,
typedef enum {
    SYS_STATE_LIST
} SysState;
#undef X

然后，重新定义宏 X ，让同一份数据展开成字符串描述数组：

#define X(name, desc) [name] = desc,
const char *state_desc[] = {
    SYS_STATE_LIST
};
#undef X

对于熟悉 Python 或 Java 等动态语言的开发者，上述例子可能让您联想到反射机制。可以看到，X Macros 把分散的信息收拢到单一的数据表中，通过对宏 X 的多次定义和撤销 (#undef)，我们可以将上述数据“注入”到不同的模板中 。不论你添加还是删除数据， 甚至前后移动都不会带来不一致的问题。

这项技巧适用于许多需要维护数据一致性的场合：

• 错误码，状态，事件类型及描述的管理
• 命令，协议定义，解析代码的生成
• 序列化与反序列化
• 配置数据初始化与读写代码的生成

进阶提示

X Macros 带来的好处并不是没有代价的。宏的写法会略微降低代码的直观可读性，可调试性。

• 提高可读性：可以参考 Andrew Lucas 的建议，把宏 X 作为参数传递给数据列表，以提高代码的可读性³。

• 大数据量：如果数据量足够大，可能会碰到编译器行长度限制。 Randy Meyers在文章中已经给出了方案 —— 把数据列表定义在一个独立的 .def 或者 .h 文件中, 在需要展开的地方用 #include 包含进来。

• 预编译检查：可以通过 gcc -E 查看预编译结果。如果你用 IDE 结合语言服务器的话， 就更容易了。

• 团队沟通：这项技巧并非人人皆知，最好在代码中加上必要注释，并向团队成员说明其用途。

• 适度使用：与其他的宏技巧一样，应当谨慎使用，避免滥用。

总结

X Macros 本质上是一种基于 C/C++ 预处理器的简单元编程技巧。在缺乏反射或代码生成机制的情况下，这种方法为 C/C++ 提供了一种轻量而实用的工程技巧。

它通过维护一份单一数据源（Single Source of Truth），再利用宏展开生成不同的代码结构，从而避免多处重复定义带来的同步问题。

它的历史可以溯源到上世纪60年代的汇编语言编程，传承至今， 在需要维护大量一致性数据的场景中，它仍然有不可替代的价值, 是每一个C/C++工程师的必备工具。

其中最常见的一个是命令 set-mark-command ，默认键绑定是C-SPC(Ctrl+Space) ¹。在 Windows 系统中， Ctrl+Space 默认用于切换中英文输入法，这个冲突会导致在 Windows 下的 Emacs 无法使用 Ctrl+Space 进行标记设置。

要解决这个问题，可以选择使用 set-mark-command 的备用快捷键 C-@ ，或者禁用 Windows 的 Ctrl+Space 功能。此外，由于空格键左右手操作同样方便，还有“第三选择: 把 Ctrl+Space 一分为二，一侧的 Ctrl+Space 留给 Windows，另一侧释放出来供 Emacs 或其他应用程序使用。这正是我采用的方案，因为这样我就可以保留用两个大拇指操作的习惯。

在最新的 Windows 11 下可以这么做：

1. 找到 Settings > Time & Language > Language & region > Options > Microsoft Pinyin > Keys , 取消勾选 Ctrl + Space ，保留勾选 Shift 。

2. 打开 PowerToys (没有的话先安装）， 在 Keyboard Manager 功能中，添加一个快捷键重映射：将 Ctrl(Left) + Space 映射为 Shift 或者 Win(Left) + Space 。

此前的 Windows 版本存在一个 UI 无法更改相关设置的缺陷²，可以通过修改注册表解决：

1. 找到 HKEY_CURRENT_USER\Control Panel\Input Method\Hot Keys\00000010 条目， 将其中的 Key Modifiers 修改为 02 80 00 00 , 或者 02 40 00 00 ³。
2. 如果希望将更改应用于所有新用户，还需要在 HKEY_USERS\.DEFAULT\Control Panel\Input Method\Hot Keys\00000010 中进行同样的修改。

修改完成后，重启电脑即可生效。

似乎只有 Ctrl+Space 才能“劈开”， 其他的键天然的只对一只手来说顺手，比如Ctrl+a 就已经隐含着 Right Ctrl+a 。

脚注

这篇修改过翻译腔的问题。原文放在后面，留作纪念。

修订版

这是我所有计算机上的必备配置，全是因为 Emacs。

Emacs 最早是 TECO 编辑器的宏程序(Editing MACroS)。当年开发者用的键盘，Ctrl 键在空格键两侧¹，大拇指就能按，所以 Emacs 最常用的命令都是用 Ctrl 修饰。不知为何，后来的个人电脑标准键盘把 Ctrl 移到了最边上，在这些键盘上使用 Emacs 就显得不太顺手。

我的解决办法是把 Ctrl 和 Alt 互换，让 Ctrl 回到大拇指能按到的位置。这样就可以用大拇指来操作 Emacs 最常用的命令，既轻松又高效。

具体方法：

• Windows 用 SharpKeys 改键位；
• Linux (GNOME 桌面)用 GNOME Tweak Tool直接设置²。

这是一个“一旦用上就再也回不去”的设置。它还有一个“隐藏功能”——让试图操作我键盘的人抓狂。

原版

这是我所有所用计算机上的必备配置，全是因为 Emacs。

Emacs 最初是为 TECO 编辑器开发的宏程序(Editing MACroS)。当时的开发者所用键盘布局将 Ctrl 键放在空格键两侧¹，便于大拇指操作。不知什么原因，微型机普及后的标准键盘却将 Ctrl 键移至最外侧，只能靠小拇指操作。这种设计容易导致小拇指疲劳。

因此，我选择交换 Ctrl 和 Alt 键，让 Ctrl 键重回大拇指位置，既缓解小拇指负担，又显著提升效率。

我的具体方法是：

• Windows：通过 SharpKeys 实现键位重映射。
• Linux (GNOME 桌面)：GNOME Tweak Tool可轻松完成设置²。

这是一个“一旦用上就回不去”的配置。它还有一个“隐藏功能”——让其他尝试操作我键盘的人抓狂。

脚注：