具有多种可能输出的函数

某些数学运算，如矩阵的奇异值分解和特征值分解，可以有多个答案。实现此类运算的两种不同算法可能会为相同的输入值返回不同的输出。相同算法的两种不同实现也可能会出现这种行为。

对于此类数学运算，使用生成代码中的对应函数与使用 MATLAB 可能会为相同的输入值返回不同的输出。要查看某个函数是否有这种行为，请在对应的函数参考页中，参阅扩展功能下的 C/C++ 代码生成部分。此类函数的示例包括 svd 和 eig。

在运行时传递输入参量名称

假设 foo 是使用名称-值参量验证的函数。当您从另一个函数 bar 调用 foo 时，代码生成器必须能够确定您在编译时提供给 foo 的名称。

如果在运行时传递参量名称，在大多数情况下代码生成都会失败。请参阅Names Must Be Compile-Time Constants (MATLAB Coder)。

在某些情况下，代码生成器会将您传递的名称赋给可选的位置或重复输入参量。在这种情况下，虽然能成功生成代码，但会出现警告，生成的代码可能会产生与 MATLAB 执行不同的结果。以如下函数为例：

function out = myNamedArg_warns(a,b)
out = local(a,b);
end

function out = local(varargin,args)
arguments (Repeating)
    varargin
end

arguments
    args.x
    args.y
end

if isfield(args,'x') && isfield(args,'y') 
    out = args.x / args.y;
elseif isfield(args,'x')
    out = args.x;
else
    out = varargin{1};
end
end

myNamedArg_warns('x',5)

ans =

     5

myNamedArg_warns('z',5)

ans =

    'z'

codegen myNamedArg_warns -args {'x',2}

Warning: This argument is not constant, and therefore does not match against a name-value argument inside 'myNamedArg_warns/local'
during code generation. Code generation might fail or produce results that do not agree with MATLAB if a name passed at a call site
is not known during code generation.

Warning in ==> myNamedArg_warns Line: 2 Column: 13
Code generation successful (with warnings): View report

myNamedArg_warns_mex('x',5)

ans =

    'x'

myNamedArg_warns_mex('z',5)

ans =

    'z'

codegen myNamedArg_warns -args {coder.Constant('x'),2}

Code generation successful.

myNamedArg_warns_mex('x',5)

ans =

     5

myNamedArg_warns_mex('z',5)

Constant function parameter 'a' has a different run-time value than the compile-time value.

Error in myNamedArg_warns_mex

空的重复输入参量

在代码生成中，如果重复输入参量（在 arguments 块中声明）在运行时为空，则该参量的大小为 0x0。相反，在 MATLAB 执行中，空的重复输入参量的大小是 1x0。

以如下函数为例：

function out = testVararginSize
out = local;
end

function out = local(varargin)
arguments (Repeating)
    varargin
end
out = size(varargin);
end

在 MATLAB 中运行 testVararginSize 会返回 [1 0]。如果您为 testVararginSize 生成 MEX 并运行生成的 MEX，您将得到 [0 0]。然而，通过使用 length(varargin) 或 numel(varargin) 来迭代 varargin 的元素会在 MATLAB 和代码生成中产生相同的行为。

有条件赋值的输出的输出参量验证

如果在代码生成过程中为某输出参量进行了类型赋值，则代码生成器会验证该输出参量。相反，如果在 MATLAB 函数返回时为输出参量赋值，则 MATLAB 执行会验证该输出参量。

在大多数情况下，这种潜在行为差异不会导致生成的代码的行为与 MATLAB 不同。下面的函数示例中体现了这种差异：

function outerFunc(in)
innerFunc(in);
end

function out = innerFunc(inputVal)
arguments (Output)
    out {mustBePositive}
end
if inputVal
    out = inputVal;
end
end

在 MATLAB 中，对于所有双精度输入，func 的执行都成功。如果输入为正值，则对 out 赋予此正值，并且验证器 mustBePositive 在没有断言的情况下运行。如果输入为负值或零，则不会对 out 赋值，也不会对其进行验证。

尝试为 func 生成代码。将输入类型指定为双精度标量。

codegen outerFunc -args 0

Variable 'out' is not fully defined on some execution paths.

Error in ==> outerFunc Line: 7 Column: 5
Code generation failed: View Error Report

由于变量 out 在一个执行路径中被赋予双精度标量值，代码生成在编译时会将双精度标量类型赋给 out。然后，代码生成器尝试对 out 执行验证，如果 if 条件失败，则认为它未完全定义。

写入 ans 变量

当您在未指定输出参量的情况下运行 MATLAB 代码并返回输出时，MATLAB 会将输出隐式写入 ans 变量中。如果工作区中已存在变量 ans，MATLAB 会将其值更新为返回的输出。

从此类 MATLAB 代码生成的代码不会将输出隐式写入 ans 变量。

例如，定义 MATLAB 函数 foo，它在第一行中显式创建 ans 变量。在第二行执行时，该函数会隐式更新 ans 的值。

function foo %#codegen
ans = 1;
2;
disp(ans);
end

在命令行中运行 foo。ans 的最终值，即 2，显示在命令行上。

foo

2

从 foo 生成一个 MEX 函数。

codegen foo

运行生成的 MEX 函数 foo_mex。此函数显式创建 ans 变量，并为其赋值 1。但是，foo_mex 并不将 ans 的值隐式更新为 2。

foo_mex

1

逻辑短路

假设您的 MATLAB 代码中逻辑运算符 & 和 | 放在方括号（[ 和 ]）内。对于这种代码模式，生成的代码不会对这些逻辑运算符采用短路行为，但某些 MATLAB 执行会采用短路行为。请参阅提示和提示。

例如，定义 MATLAB 函数 foo，该函数在 if...end 模块的条件表达式中使用方括号内的 & 运算符。

function foo
if [returnsFalse() & hasSideEffects()]
end
end

function out = returnsFalse
out = false;
end

function out = hasSideEffects
out = true;
disp('This is my string');
end

& 运算符的第一个参量始终是 false，并确定条件表达式的值。因此，在 MATLAB 执行中，使用短路，并且不计算第二个参量。因此，foo 在执行期间不会调用 hasSideEffects 函数，也不会在命令行显示任何内容。

为 foo 生成一个 MEX 函数。调用生成的 MEX 函数 foo_mex。

foo_mex

This is my string

在生成的代码中，没有使用短路。因此，调用 hasSideEffects 函数，字符串显示在命令行中。

循环索引溢出

假设 for 循环结束值等于或接近循环索引数据类型的最大值或最小值。在生成的代码中，循环索引的最后一次递增或递减可能会导致索引变量溢出。索引溢出可能导致无限循环。

启用内存完整性检查时，如果代码生成器检测到循环索引可能溢出，它会报告错误。软件错误检查是保守型的。它可能会误报循环索引溢出。默认情况下，内存完整性检查对 MEX 代码启用，对独立 C/C++ 代码禁用。请参阅为什么要在 MATLAB 中测试 MEX 函数？ (MATLAB Coder)和Generate Standalone C/C++ Code That Detects and Reports Run-Time Errors (MATLAB Coder)。

为了避免循环索引溢出，请使用下表中的解决方法。

N=intmax('int16')
for k=N-10:N

for k=1:10

N=intmin('int32')
for k=N+10:-1:N

for k=10:-1:1

M= intmin('int16');
N= intmax('int16');
for k=M:N
	% Loop body
end

M= intmin('int16');
N= intmax('int16');
for k=int32(M):int32(N)
	% Loop body
end

使用单精度操作数对 for 循环进行索引

假设在您的 MATLAB 代码中，您正在对具有冒号运算符的 for 循环进行索引，其中至少一个冒号操作数是 single 类型的操作数，并且迭代次数大于 flintmax('single') = 16777216。当所有这些条件都满足时，代码生成可能会产生运行时或编译时错误，因为生成代码为循环索引变量计算的值与 MATLAB 计算的值不同。

以如下 MATLAB 代码为例：

function j = singlePIndex
n = flintmax('single') + 2;
j = single(0);
for i = single(1):single(n)
    j = i;
end
end

此代码片段会在 MATLAB 中执行，但它会导致编译时或运行时错误，因为循环索引变量 i 的值在生成代码中的计算方式不同。代码生成器显示编译时或运行时错误，并停止代码生成或执行以防止出现这种差异。

为了避免这种差异，请用双精度类型或整数类型操作数替换单精度类型操作数。

有关运行时错误的详细信息，请参阅Generate Standalone C/C++ Code That Detects and Reports Run-Time Errors (MATLAB Coder)。

未执行的 for 循环的索引

在您的 MATLAB 代码和生成代码中，在一个 for 循环执行完成后，索引变量的值等于其在 for 循环的最后一次迭代中的值。

在 MATLAB 中，如果循环不执行，则索引变量的值存储为 [ ]（空矩阵）。在生成代码中，如果循环不执行，则索引变量的值不同于 MATLAB 索引变量。

字符大小

MATLAB 支持 16 位字符，但生成的代码以 8 位字符表示，这是适用于大多数嵌入式语言（如 C）的标准大小。请参阅代码生成中的字符编码。

表达式中的计算顺序

生成的代码不强制指定表达式中的计算顺序。对于大多数表达式，计算的顺序并不重要。对于具有副作用的表达式，生成的代码可能以不同于原始 MATLAB 代码的顺序产生副作用。产生副作用的表达式包括：

此外，生成的代码不强制非短路逻辑运算符的计算顺序。

为获得更可预测的结果，最好在编码时根据计算顺序将表达式拆分为多个语句。

构造函数句柄时的名称解析

MATLAB 和代码生成遵循不同优先级规则来解析符号 @ 后面的名称。这些规则不适用于匿名函数。下表总结了这些优先级规则。

如果 x 是局部变量且本身就是函数句柄，则生成代码和 MATLAB 对表达式 @x 的解释将有所不同：

以下示例说明对于包含两个句点的表达式在行为上的差异。

假设您的当前工作文件夹包含一个 MATLAB 命名空间 x，该命名空间包含另一个命名空间 y，其中又包含函数 z。当前工作文件夹还包含您要为其生成代码的入口函数 foo。

以下是文件 foo 的定义：

function out = foo
    x.y.z = @()'x.y.z is an anonymous function';
    out = g(x);
end

function out = g(x)
    f = @x.y.z;
    out = f();
end

以下是函数 z 的定义：

function out = z
    out = 'x.y.z is a namespace function';
end

为 foo 生成一个 MEX 函数。分别调用生成的 MEX 函数 foo_mex 和 MATLAB 函数 foo。

codegen foo
foo_mex
foo

ans =

    'x.y.z is an anonymous function'


ans =

    'x.y.z is a namespace function'

生成代码产生第一个输出。MATLAB 产生第二个输出。代码生成将 @x.y.z 解析为在 foo 中定义的局部变量 x。MATLAB 将 @x.y.z 解析为在 x.y 命名空间内的 z。

终止行为

生成的代码与 MATLAB 源代码的终止行为不一致。例如，如果无限循环不具有副作用，则优化会从生成的代码中删除它们。因此，即使对应的 MATLAB 代码不会终止，生成的代码也可能会终止。

可变大小 N 维数组的大小

对于可变大小 N 维数组，size 函数在生成的代码中返回的结果可能与在 MATLAB 源代码中不同。size 函数有时会在生成的代码中返回尾部维（单一维），但在 MATLAB 中始终会丢弃尾部维。例如，对于维度为 [4 2 1 1] 的 N 维数组 X，size(X) 可能会在生成的代码中返回 [4 2 1 1]，但在 MATLAB 中始终返回 [4 2]。请参阅在确定可变大小 N 维数组的大小方面与 MATLAB 的不兼容性。

空数组的大小

空数组的大小在生成的代码中可能与 MATLAB 源代码中不同。请参阅在确定空数组的大小方面与 MATLAB 的不兼容性。

删除数组元素所生成的空数组的大小

删除数组的所有元素将生成空数组。此空数组的大小在生成的代码中可能与在 MATLAB 源代码中不同。

coder.varsize('X',[4,4],[1,1]);
X = zeros(2);
X(:) = [];

coder.varsize('X',[1,4],[0,1]);
X = zeros(1,4);
X(:) = [];

coder.varsize('X',[4,1],[1,0]);
X = zeros(4,1);
X(:) = [];

coder.varsize('X',[4,1],[1,0]);
X = zeros(4,1);
for i = 1:4
    X(1)= [];
end

增大在运行时初始化为标量的可变大小列元胞数组

在 MATLAB 执行中，如果您使用 {end+1} 索引来增大标量元胞数组，则元胞数组将沿第二个维度增大并生成一个行元胞数组。例如，定义函数 growCell：

function z = growCell(n, m)
for i = 1:m
    n{end+1} = m;
end
z = n;
end

使用示例输入调用 growCell：

growCell({2}, 3)

ans =

  1×4 cell array

    {[2]}    {[3]}    {[3]}    {[3]}

相反，在代码生成中，假设：

在这种情况下，生成的代码沿第一个维度增大标量元胞数组，并生成一个列元胞数组。例如，为 growCell 生成 MEX 代码。将输入 n 指定为 :Inf x 1 元胞数组，以双精度作为基础类型。将输入 m 指定为双精度标量类型。

codegen growCell -args {coder.typeof({0}, [Inf 1], [1 0]), 1}

Code generation successful.

使用与之前相同的输入运行生成的 MEX。

growCell_mex({2}, 3)

ans =

  4×1 cell array

    {[2]}
    {[3]}
    {[3]}
    {[3]}

单精度和双精度操作数的二元按元素运算

如果您的 MATLAB 代码包含涉及单精度类型操作数和双精度类型操作数的二元按元素运算，则生成代码的运算结果与 MATLAB 的运算结果可以会稍有不同。

对于此类运算，MATLAB 会先将两项操作数都转换为双精度类型，并用双精度类型执行运算。然后，MATLAB 再将运算结果转换为单精度类型并返回结果。

而生成代码则是将双精度类型操作数转换为单精度类型。然后用两个单精度类型执行运算并返回结果。

例如，定义一个 MATLAB 函数 foo，用它调用二元按元素运算 plus。

function out = foo(a,b)
out = a + b;
end

定义单精度类型的变量 s1 和双精度类型的变量 v1。为 foo 生成一个 MEX 函数，该函数接受单精度类型输入和双精度类型输入。

s1 = single(1.4e32); 
d1 = -5.305e+32; 
codegen foo -args {s1, d1} 

使用 s1 和 d1 作为输入调用 foo 和 foo_mex。比较两个结果。

ml = foo(s1,d1); 
mlc = foo_mex(s1,d1);
ml == mlc

ans =

  logical

   0

比较的输出是逻辑值 0，这表明生成代码和 MATLAB 对这些输入分别产生了不同结果。

浮点数值结果

在下列情况下，生成的代码可能不会产生与 MATLAB 相同的浮点数值结果：

 计算机硬件使用扩展精度寄存器时

 对于某些高级库函数

 对于 BLAS 库函数的实现

NaN 和无穷

当 NaN 和 Inf 值在数学上没有意义时，它们在生成的代码中的模式可能不会与在 MATLAB 代码中完全相同。例如，如果 MATLAB 输出包含 NaN，生成的代码的输出也应包含 NaN，但不一定在相同的位置。

NaN 的位模式在 MATLAB 代码输出和生成的代码输出之间可能有所不同，这是因为用于生成代码的 C99 语言标准未对所有实现中的 NaN 指定唯一位模式。请避免比较不同实现中的位模式，例如，在 MATLAB 输出和 SIL 或 PIL 输出之间进行比较。

负零

在浮点类型中，值 0 具有正号或负号。在算术上，0 等于 -0，但某些运算对 0 输入符号敏感。示例包括 rdivide、atan2、atan2d 和 angle。除以 0 会生成 Inf，而除以 -0 会生成 -Inf。同样，atan2d(0,-1) 生成 180，而 atan2d (-0,-1) 生成 -180。

如果代码生成器检测到某浮点变量只接受适当范围的整数值，则代码生成器可以在生成的代码中对该变量使用整数类型。如果代码生成器对该变量使用整数类型，则该变量将 -0 存储为 +0，因为整数类型不存储值 0 的符号。如果生成的代码将该变量强制转换回浮点类型，则 0 的符号为正。除以 0 会生成 Inf，而不是 -Inf。同样，atan2d(0,-1) 生成 180，而不是 -180。

在其他情况下，生成的代码可能会以不同于 MATLAB 的方式处理 -0。例如，假设您的 MATLAB 代码使用 z = min(x,y) 计算两个双精度标量值 x 和 y 的最小值。生成的 C 代码中对应的行可能是 z = fmin(x,y)。函数 fmin 是在 C 编译器的运行时数学库中定义的。由于比较运算 0.0 == -0.0 在 C/C++ 中返回 true，因此编译器对 fmin 的实现可能会为 fmin(0.0,-0.0) 返回 0.0 或 -0.0。

代码生成目标

coder.target 函数在 MATLAB 中返回的值与在生成的代码中返回的值不同。这是为了帮助您确定您的函数是在 MATLAB 中执行，还是已针对仿真或代码生成目标进行编译。请参阅 coder.target。

MATLAB 类属性初始化

在代码生成之前，MATLAB 在类加载时计算类默认值。代码生成器使用 MATLAB 计算的值。它不会重新计算默认值。如果属性定义使用函数调用来计算初始值，则代码生成器不会执行此函数。如果函数具有修改全局变量或持久变量等副作用，则生成的代码可能会产生与 MATLAB 不同的结果。有关详细信息，请参阅为代码生成定义类属性。

具有 set 方法的嵌套属性赋值中的 MATLAB 类

当您为句柄对象属性赋值时，如果该属性本身就是另一个对象的属性（依此类推），则生成的代码可以调用 MATLAB 不调用的句柄类 set 方法。

例如，假设您定义一组变量，使得 x 是句柄对象，pa 是对象，pb 是句柄对象，pc 是 pb 的属性。然后进行嵌套属性赋值，例如：

x.pa.pb.pc = 0;

在本例中，生成的代码调用对象 pb 的 set 方法和 x 的 set 方法。MATLAB 仅调用 pb 的 set 方法。

MATLAB 句柄类析构函数

在下列情况下，生成的代码中句柄类析构函数的行为可能与 MATLAB 中的行为不同：

有关详细信息，请参阅Code Generation for Handle Class Destructors。

可变大小数据

请参阅在代码生成的可变大小支持方面与 MATLAB 的不兼容性。

复数

请参阅复数数据的代码生成。

将使用连续一元运算符的字符串转换为 double

如果将包含多个连续一元运算符的字符串转换为 double，则在 MATLAB 和生成的代码之间可能产生不同结果。以如下函数为例：

function out = foo(op)
out = double(op + 1);
end

对于输入值 "--"，该函数将字符串 "--1" 转换为 double。在 MATLAB 中，结果为 NaN。在生成的代码中，结果为 1。

显示函数

MATLAB 代码中省略分号的语句和表达式隐式调用 display 函数。您也可以显式调用 display，如下所示：

display(2+3);

     5

为调用 display 函数的 MATLAB 代码生成的 MEX 代码将保留对此函数的调用并显示输出。在为无权访问 MATLAB Runtime 的目标生成的独立代码中，删除了对 display 的隐式和显式调用。这包括对 display 的覆盖类方法的调用。

要在为其他目标生成的代码中显示文本，请在 MATLAB 类中覆盖 disp 函数。例如：

%MATLAB Class

classdef foo
    methods
        function obj = foo
        end
        function disp(self)
            disp("Overridden disp");
        end
    end
end

%Entry-point Function

function callDisp
a = foo;
disp(a);
end

为入口函数生成的代码如下所示：

/* Include Files */
#include "callDisp.h"
#include <stdio.h>

/* Function Definitions */
/*
 * Arguments    : void
 * Return Type  : void
 */
void callDisp(void)
{
  printf("%s\n", "Overridden disp");
  fflush(stdout);
}

function displayDiff
z = 10;
f = @display;
f(z)
end

z =

    10