2. MATLAB Coder基础

MATLAB Coder 的核心任务，是把一个在 MATLAB 中可运行的函数，翻译成等价的、可独立编译的 C/C++ 代码。它并不是把 MATLAB 解释器打包进去，而是通过静态分析推导出每个变量的类型、大小和内存布局，再据此生成目标语言代码。因此，能否成功生成代码，关键不在于函数“跑不跑得通”，而在于它是否满足代码生成就绪性（code generation readiness）——即所有变量类型可静态确定、所有被调函数都支持代码生成、不支持动态特性的用法被替换为等价写法。

一、代码生成的整体流程

一次完整的代码生成通常包含五个阶段：准备入口函数、创建工程配置、执行就绪性检查、生成代码、验证生成结果。入口函数是代码生成的起点，它决定了外部 C 代码如何调用生成的函数；工程配置则规定了目标语言、数据类型映射、内存分配方式等关键约束。下图给出了这一流程中各阶段的输入、输出与反馈关系。

二、入口函数定义

入口函数是代码生成的“接口契约”。MATLAB Coder 从入口函数出发，沿着调用链分析所有被调函数。入口函数必须满足几个条件：函数名与文件名一致；输入参数个数固定；输出参数个数固定；所有输入参数的类型和大小在编译期可确定。通常会在函数体第一行加上 %#codegen 指令，让 MATLAB 编辑器实时提示不支持的用法。

以一个简单的滑动平均函数为例：

function y = movingAvg(u, N)
%#codegen
% u: 输入信号向量，长度固定为 1024
% N: 窗口长度，编译期常量
persistent buf;
if isempty(buf)
    buf = zeros(1, N);
end
buf = [u, buf(1:end-1)];
y = sum(buf) / N;
end

这里 N 必须是编译期常量，否则 zeros(1, N) 无法确定大小。如果确实需要运行时可变窗口，应改用 coder.varsize 声明上界，或把窗口长度作为固定参数传入。入口函数的输入输出类型可以通过 coder.typeof 或 fiaccel 的 -args 选项显式指定，避免 Coder 从示例数据推断出错误类型。

三、工程配置要点

工程配置决定了生成代码的形态。使用 coder.config 创建配置对象时，需要关注以下参数：

• TargetLang：选择 'C' 或 'C++'。C++ 支持类封装和命名空间，适合面向对象接口。
• GenCodeOnly：设为 true 时只生成代码，不编译 MEX，适合快速检查。
• GenerateReport：生成 HTML 报告，包含代码生成摘要、变量类型表和潜在问题列表。
• CppInterfaceStyle：C++ 目标下可选 'Functions' 或 'Classes'，后者把入口函数封装为类方法。
• PreserveArrayDimensions：控制多维数组在 C 代码中的维度顺序，默认按列优先映射。

配置完成后，用 codegen 命令执行生成。例如：

cfg = coder.config('lib');
cfg.TargetLang = 'C';
cfg.GenerateReport = true;
codegen -config cfg movingAvg -args {coder.typeof(0, [1 1024]), coder.Constant(8)}

其中 coder.Constant(8) 把窗口长度固定为编译期常量，coder.typeof(0, [1 1024]) 声明输入为 1×1024 的 double 向量。生成结束后，在 codegen/lib/movingAvg/ 目录下会得到 movingAvg.c、movingAvg.h 以及对应的 MEX 文件。

四、就绪性检查与常见问题

coder.screener 可以在不生成代码的情况下快速扫描函数，报告不支持的特性。常见问题包括：使用了 eval、input、load 等动态函数；变量在循环中改变大小；元胞数组元素类型不一致；递归调用未设置最大深度；全局变量未声明为常量。处理方向通常是：把动态调用改为固定分支，把可变大小数组改为预分配固定大小或使用 coder.varsize 声明上界，把元胞数组改为结构体数组或固定类型数组。

五、验证生成结果

生成代码后，MATLAB Coder 会同时生成一个 MEX 函数。在 MATLAB 中调用该 MEX 函数，其行为应与原 MATLAB 函数一致。可以用一组覆盖边界条件的输入进行比对：

u = randn(1, 1024);
y_matlab = movingAvg(u, 8);
y_mex = movingAvg_mex(u, 8);
err = max(abs(y_matlab - y_mex));
assert(err < 1e-12, 'MEX 结果与 MATLAB 不一致');