你这个问题非常经典，涉及到 **宏定义中使用 GNU 语句表达式 `({ ... })` 和 `clang-format` 的格式化规则差异**。 --- ### ✅ **问题分析** 你给出的两个宏： ```c // 临界区 #define CRITICAL_ZONE(mutex) \ for (int _locked = ({ pthread_mutex_lock(mutex); 1; }); \ _locked; \ ({ pthread_mutex_unlock(mutex); _locked = 0; })) #define RUN_ONCE(fsm_status) \ for (int _first_run = ({ !fsm_status->is_stable ? 1 : 0; }); \ _first_run; \ ({ fsm_status->is_stable = 1; _first_run = 0; })) ``` 你说： > 为啥下面的能用 `clang-format` 对齐，上面的不行？ --- ### ❗ **根本原因：`clang-format` 对 `({ ... })` 的处理方式不同** #### ✅ `RUN_ONCE` 宏： ```c for (int _first_run = ({ !fsm_status->is_stable ? 1 : 0; }); \ _first_run; \ ({ fsm_status->is_stable = 1; _first_run = 0; })) ``` - `clang-format` 会将 `({ ... })` 视为一个完整的表达式块。 - 每行结构清晰，没有嵌套复杂结构。 - 所以可以正确对齐。 #### ❌ `CRITICAL_ZONE` 宏： ```c for (int _locked = ({ pthread_mutex_lock(mutex); 1; }); \ _locked; \ ({ pthread_mutex_unlock(mutex); _locked = 0; })) ``` - `clang-format` 在格式化 `for` 的初始化部分时，**对 `({ ... })` 中的语句嵌套结构处理不佳**。 - 特别是 `({ pthread_mutex_lock(...); 1; })` 里面有多个语句，`clang-format` 会尝试“美化”里面的语句，导致格式错乱。 - 有时会把 `pthread_mutex_lock(...)` 拆到下一行，破坏宏的结构。 --- ### ✅ **解决方案** #### ✅ 方法一：使用宏封装语句表达式，避免直接暴露在 `for` 初始化中 ```c #define LOCK_MUTEX(mutex) ({ pthread_mutex_lock(mutex); 1; }) #define UNLOCK_MUTEX(mutex, var) ({ pthread_mutex_unlock(mutex); var = 0; }) #define CRITICAL_ZONE(mutex) \ for (int _locked = LOCK_MUTEX(mutex); _locked; UNLOCK_MUTEX(mutex, _locked)) ``` 这样 `clang-format` 更容易理解结构，格式化更稳定。 --- #### ✅ 方法二：禁用 `clang-format` 对特定宏的格式化 ```c // clang-format off #define CRITICAL_ZONE(mutex) \ for (int _locked = ({ pthread_mutex_lock(mutex); 1; }); \ _locked; \ ({ pthread_mutex_unlock(mutex); _locked = 0; })) // clang-format on ``` 这样可以防止 `clang-format` 破坏你的宏结构。 --- ### ✅ 总结 | 宏 | 是否能被 `clang-format` 正确对齐 | 原因 | |----|-----------------------------|------| | `CRITICAL_ZONE` | ❌ | `({ ... })` 中有多个语句，结构复杂 | | `RUN_ONCE` | ✅ | `({ ... })` 逻辑简单，结构清晰 | ---