如何启用clang-tidy检查以要求复合表达式添加括号？

阿华AIGC实验室

2026-5-21

解答：给逻辑表达式子条件添加括号的clang-tidy方案

首先得明确：目前clang-tidy确实没有内置的检查项专门处理这个需求——也就是自动给if(a == 2 && b == 3)这类代码的子比较表达式加上括号，变成if((a == 2) && (b == 3))。不过你有几个可行的解决途径：

自定义clang-tidy检查器（最精准的方案）
这是实现你需求的最佳方式，利用Clang的AST（抽象语法树）匹配器就能完成。大致的思路是：
1. 匹配使用&&或||的二元运算符节点；
2. 检查其左右操作数是否是比较类运算符（==、!=、<、>等），且这些操作数没有被括号包裹；
3. 在回调函数中修改AST，给符合条件的子表达式添加括号。
  举个简单的匹配器示例（伪代码）：
```
auto comparisonOp = binaryOperator(hasAnyOperatorName("==", "!=", "<", ">", "<=", ">="));
auto logicalOp = binaryOperator(
    hasAnyOperatorName("&&", "||"),
    hasLHS(comparisonOp),
    hasRHS(comparisonOp)
);
```
你可以基于clang-tidy的框架，把这个逻辑封装成一个自定义检查器，编译后就能集成到你的工作流里。
借助clang-format的间接调整（仅风格辅助）
虽然clang-format主要负责代码格式而非语法结构调整，但如果你的核心需求是让子表达式的边界更清晰，也可以通过配置强化逻辑运算符的空格规则，比如：
```
# .clang-format
SpacesAroundBinaryOperators: true
AlignOperands: true
```
这会让a == 2 && b == 3的运算符周围更醒目，但没法自动添加括号，只能作为视觉上的辅助。
社区扩展或第三方工具
目前主流的clang-tidy扩展库中没有专门针对这个需求的检查项，毕竟这属于小众的代码风格偏好，而非潜在bug或代码质量问题。如果不想自己开发，也可以留意clang-tidy的社区讨论，看看是否有其他开发者分享过类似的自定义检查器。