coder.mustBeConst

定义一个调用局部函数 local 的入口函数 testConstant。使用 coder.mustBeConst 验证函数将局部函数的第一个输入验证为编译时常量。

function out = testConst(in1,in2)
if in1 > 0
    out = local(in1,in2);
else
    out = local(-in1,in2);
end
end

function u = local(x,y)
arguments
    x {coder.mustBeConst}
    y 
end
u = sqrt(x) + y;
end

使用 codegen 命令为 testConst 函数生成代码。使用 -args 选项将入口函数输入 in1 和 in2 指定为双精度标量。

codegen testConst -args {0,0}

Value must be constant.（值必须为常量。）

代码生成失败，因为运行时输入 in1 的绝对值在调用函数 local 时直接作为第一个参量传递。由于此值在编译时未知，coder.mustBeConst 验证函数会在代码生成期间抛出错误。

通过使用 coder.Constant (MATLAB Coder) 函数将第一个入口函数输入指定为常量类型，修改 codegen 命令。

codegen testConst -args {coder.Constant(0),0}

Code generation successful.

由于传递给 local 的第一个输入是常量类型，因此 coder.mustBeConst 验证函数不会抛出错误，代码生成会成功。