13、静态代码分析：cppcheck使用、代码复杂度度量、圈复杂度、代码异味检测

静态代码分析，说白了就是让工具帮你读代码。不用跑程序，不用设断点，工具就能告诉你哪里可能藏着雷。我刚开始带项目那会儿，总觉得代码能编译通过、功能跑通就万事大吉了。直到有一次，一个看起来人畜无害的数组越界，在客户现场炸了整整三天才定位到……嗯，从那以后，我把静态分析加进了CI流程，谁不跑就不让合代码。

13.1 为什么需要静态代码分析？

你想想看，编译器只检查语法对不对。它不管你的变量有没有初始化，也不管你的函数是不是写得太长。这些“潜规则”全靠人肉review，效率低不说，还容易漏。

静态分析工具能帮你做三件事：

• 找bug：空指针、数组越界、资源泄漏，这些运行时才暴露的问题，工具在编译前就能揪出来。
• 管复杂度：函数太长、嵌套太深，工具会给你打分。分数高了，你就得重构。
• 闻臭味：代码里那些“看着不对劲”的地方，比如魔法数字、重复代码、过长参数列表，工具会标记为“代码异味”。

13.2 cppcheck：C语言静态分析的瑞士军刀

cppcheck是我个人最常用的工具。开源、轻量、支持C和C++，嵌入式项目尤其合适。你不需要装什么IDE插件，一条命令就能跑。

13.2.1 安装与基本使用

安装很简单，Linux下直接apt-get，Windows下下载安装包就行。我习惯把它加到构建脚本里，每次编译完自动跑一遍。

# 基本用法
cppcheck --enable=all --suppress=missingIncludeSystem ./src/

# 输出到文件
cppcheck --enable=all --xml ./src/ 2> report.xml

# 只检查严重级别
cppcheck --enable=warning,performance,portability ./src/

这里有个坑：--enable=all会打开所有检查项，包括一些风格建议。如果你项目刚起步，建议先开warning和error，等代码稳定了再开style。我曾经在一个老项目上直接开all，结果报了三千多条……那场面，你懂的。

13.2.2 常见检查项解读

检查项	说明	示例
arrayIndexOutOfBounds	数组越界访问	int a[5]; a[5] = 0;
nullPointer	空指针解引用	if (p) { *p = 1; } 但之前p可能为NULL
uninitvar	未初始化变量	int x; if (cond) { x = 1; } use(x);
memleak	内存泄漏	malloc()后没有free()
redundantAssignment	冗余赋值	int a = 1; a = 2; 第一次赋值没用

13.3 代码复杂度度量：圈复杂度

圈复杂度（Cyclomatic Complexity）是衡量代码复杂度的经典指标。它数的是代码里有多少条独立路径。说白了，if、else、case、while、for这些控制语句越多，复杂度就越高。

13.3.1 计算公式

圈复杂度 = 边数 - 节点数 + 2。但实际用的时候，有个更简单的算法：

圈复杂度 = 1 + (if个数 + while个数 + for个数 + case分支数 + catch个数 + &&/||个数)

举个例子：

int process(int x, int y) {
    int result = 0;
    if (x > 0) {          // +1
        if (y > 0) {      // +1
            result = x + y;
        } else {
            result = x - y;
        }
    }
    return result;
}
// 圈复杂度 = 1 + 2 = 3

13.3.2 什么算高？什么算低？

圈复杂度	风险等级	建议
1-10	低风险	结构清晰，容易测试
11-20	中风险	建议考虑重构
21-50	高风险	必须重构，测试覆盖率很难保证
50+	极高风险	这代码基本没法维护了

13.4 代码异味检测

代码异味（Code Smell）不是bug，但它是“潜在的问题信号”。有异味的代码不一定错，但维护起来很痛苦。cppcheck能检测一部分异味，但更专业的工具比如SonarQube会做得更细。

13.4.1 常见代码异味

• 过长函数：一个函数超过50行，基本就该拆了。我个人的红线是30行。
• 过长参数列表：超过3个参数，建议用结构体封装。超过5个，基本是设计有问题。
• 魔法数字：代码里直接写86400，没人知道这是啥。改成#define SECONDS_PER_DAY 86400，一目了然。
• 重复代码：同样的逻辑出现两次以上，就该抽成函数。
• 过大类/文件：一个源文件超过500行，建议拆分。

13.4.2 用cppcheck检测异味

# 检测魔法数字
cppcheck --enable=style --suppress=*:*/test/* ./src/

# 检测过长函数（需要配合其他工具）
# cppcheck本身不直接报函数行数，但可以用--enable=style间接提示

不过说实话，cppcheck在异味检测上不算最强。我一般用它做基础扫描，然后配合grep或者cloc统计函数长度。更专业的场景，我会用SonarQube做全量分析。

13.5 知识体系图

下面这张图总结了本章的核心内容。你可以把它当作一个检查清单，每次做静态分析时对照着看。

13.6 实战建议

说了这么多，最后给几条实在的建议：

1. 从小处开始：别想着一次性把所有代码都扫一遍。选一个模块，跑一遍cppcheck，把error级别的修完，再慢慢扩大范围。
2. 定好红线：圈复杂度超过15的代码，必须经过review才能合入。这是我带团队时定下的规矩，效果很好。
3. 异味要分类处理：魔法数字这种，改起来成本低，看到了就顺手改。过长函数这种，需要重构，可以排到迭代计划里。
4. 工具不是万能的：cppcheck也有漏报和误报。我见过一个项目，工具报了200条，实际只有30条是真问题。所以，人还是要参与判断。

静态分析这件事，说白了就是“早发现、早治疗”。你越早把问题揪出来，修起来成本越低。等到代码上线了、客户投诉了，那时候再修，代价就大了去了。

---

公众号:蓝海资料掘金营，微信deep3321