C++如何将空数组设为函数默认参数？代码报错如何解决

问题根因 #

你的代码存在两个核心问题：

• C标准要求原生数组的大小必须是编译期常量，你用函数入参a、b（运行期才能确定取值）作为数组维度，属于C语言的变长数组（VLA）扩展，并不属于C标准语法，兼容性极低。
• 即使部分编译器支持VLA扩展，你写的int (&M)[a][b]也无法和传入的数组匹配，参数a、b和数组M的维度推导顺序不符合编译器要求，因此会抛出类型绑定错误。

解决方案 #

你需要的数组作为递归存储载体、支持默认空值的需求，可以按数组大小是否在编译期确定选择对应方案：

方案1：数组大小编译期已知（性能最优） #

用模板非类型参数自动推导数组维度，语法符合C++标准，也可以方便设置默认空数组：

#include <iostream>

// 模板参数直接捕获数组的两个维度，不需要单独传a、b
template<int a, int b>
void foo(int (&M)[a][b] = nullptr) {
    // 传入默认空数组的处理逻辑
    if (M == nullptr) {
        // 用static声明存储载体，保证递归过程中共享同一块内存
        static int temp_arr[2][3]{};
        foo(temp_arr);
        return;
    }
    // 你的业务逻辑
    std::cout << a << '\n';
}

int main(){
    int M[2][3];
    foo(M); // 传入自定义数组
    foo(); // 使用默认空数组走内部初始化逻辑
    return 0;
}

方案2：数组大小运行期动态确定 #

如果数组大小是运行时计算得到的，直接用std::vector替代原生数组，语法更灵活，不需要处理复杂的数组引用规则：

#include <iostream>
#include <vector>

// 不需要传数组的对外接口
void foo(int a, int b) {
    // 初始化对应大小的存储载体
    std::vector<std::vector<int>> M(a, std::vector<int>(b, 0));
    foo(a, b, M);
}

// 实际执行业务逻辑的函数，递归时直接传入M的引用即可共享存储
void foo(int a, int b, std::vector<std::vector<int>>& M) {
    // 你的业务逻辑
    std::cout << a << '\n';
}

int main(){
    std::vector<std::vector<int>> M(2,3);
    foo(2,3,M); // 传入自定义数组
    foo(2,3); // 使用内部初始化的存储载体
    return 0;
}

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