如何在MATLAB的(Repeating)参数块中验证输入数组尺寸兼容性？

在MATLAB函数中，使用固定参数块时，直接给参数绑定mustBeCompatibleSize验证函数，既能检查输入数组的隐式单例维度扩展兼容性，还能精准提示出错的参数。但如果用(Repeating)参数块接收任意数量的数组，会遇到两个问题：

• 直接给重复参数绑定mustBeCompatibleSize无效，因为验证函数每次仅接收单个参数元素，无法对比多个数组的尺寸；
• 在参数块后手动调用mustBeCompatibleSize，虽然能触发报错，但没法告知用户具体是哪个参数不兼容。

下面给出两种实用的解决方案，实现和固定参数块一致的精准验证效果：

方案1：自定义带索引追踪的验证函数 #

写一个自定义验证函数，专门处理重复参数的尺寸兼容性检查，同时记录参数的索引位置，报错时明确指出问题参数。

自定义验证函数代码 #

function mustBeCompatibleSizeWithIndex(varargin)
    % 拆分输入：前n-1个是待验证的数组，最后一个是参数索引数组
    inputArrays = varargin(1:end-1);
    paramIndices = varargin{end};
    
    % 以第一个数组为参考，逐个对比后续数组
    refSize = size(inputArrays{1});
    for idx = 2:length(inputArrays)
        currentSize = size(inputArrays{idx});
        % 检查尺寸是否兼容（支持隐式单例扩展）
        if ~isequal(refSize, currentSize) && ~all(refSize == 1 | currentSize == 1 | refSize == currentSize)
            error('参数%d与参数1尺寸不兼容：参数%d尺寸为%s，参考尺寸为%s', ...
                paramIndices(idx), paramIndices(idx), mat2str(currentSize), mat2str(refSize));
        end
    end
end

主函数中调用验证 #

function myCombinedFunc(varargin)
    arguments (Repeating)
        inputArray (:,:) double % 重复参数块，接收任意数量的数组
    end
    
    % 先判断是否有输入
    if nargin == 0
        error('至少需要传入一个数组');
    end
    
    % 遍历所有重复参数，验证与第一个参数的兼容性
    for i = 2:length(inputArray)
        mustBeCompatibleSizeWithIndex(inputArray{1}, inputArray{i}, [1, i]);
    end
    
    % 后续业务逻辑...
end

调用示例：myCombinedFunc([1 2], [3;4], [5 6 7])，会触发报错：参数3与参数1尺寸不兼容：参数3尺寸为[1 3]，参考尺寸为[1 2]，清晰指出问题所在。

方案2：批量验证所有参数对（进阶） #

如果需要确保所有参数之间两两尺寸兼容（而非仅和第一个参数对比），可以修改自定义函数，实现全量参数对的检查：

全量兼容性验证函数 #

function mustBeAllCompatibleSizesWithIndices(inputArrays)
    totalArgs = length(inputArrays);
    % 遍历所有参数对
    for i = 1:totalArgs-1
        refSize = size(inputArrays{i});
        for j = i+1:totalArgs
            currentSize = size(inputArrays{j});
            if ~isequal(refSize, currentSize) && ~all(refSize == 1 | currentSize == 1 | refSize == currentSize)
                error('参数%d与参数%d尺寸不兼容：参数%d尺寸为%s，参数%d尺寸为%s', ...
                    i, j, i, mat2str(refSize), j, mat2str(currentSize));
            end
        end
    end
end

主函数调用 #

function myCombinedFunc(varargin)
    arguments (Repeating)
        inputArray (:,:) double
    end
    
    if nargin == 0
        error('至少需要传入一个数组');
    end
    
    % 调用全量验证函数
    mustBeAllCompatibleSizesWithIndices(inputArray);
    
    % 后续业务逻辑...
end

这样当任意两个参数尺寸不兼容时，都会明确指出是哪两个参数出了问题。

内容的提问来源于stack exchange，提问作者Matthew Dvorsky