C++实现任意二维整数数组求和函数模板的编译报错问题求助

第一个实现（addArraysOne）错误原因 #

C++ 标准不支持 C 语言的可变长数组（VLA）特性，内置数组的维度必须是编译期可确定的常量，你将运行期传入的cols参数作为数组第二维长度，不符合语法要求。此外代码还存在output变量未初始化就执行累加的问题，会触发未定义行为。

第二个实现（addArraysTwo）错误原因 #

1. 类型不匹配：原生二维int数组的类型是int (*)[N]（数组指针），和函数参数要求的int**（二级指针）是完全不同的类型，无法隐式转换，因此报函数调用不匹配错误。
2. 索引逻辑错误：代码中i*rows+j的偏移计算错误，正确偏移应为i*cols+j，且多了一层多余的解引用操作，同时也存在output未初始化的问题。

可行实现方案 #

方案1：模板非类型参数实现（编译期已知数组维度时推荐） #

利用C++模板非类型参数传递数组维度，编译器可自动推导维度，无需手动传参：

template<size_t Rows, size_t Cols>
int addArrays(const int (&arr)[Rows][Cols])
{
    int output = 0;
    for (size_t i = 0; i < Rows; ++i) {
        for (size_t j = 0; j < Cols; ++j) {
            output += arr[i][j];
        }
    }
    return output;
}

调用示例：

int arr[5][5] = { /* 初始化数据 */ };
int sum = addArrays(arr); // 自动推导Rows=5、Cols=5

方案2：连续内存数组通用实现（运行期已知维度时推荐） #

针对连续存储的二维数组，将参数改为一级指针传递首地址，手动计算元素偏移：

int addArraysDynamic(int rows, int cols, const int* arr)
{
    int output = 0;
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            output += arr[i * cols + j];
        }
    }
    return output;
}

调用示例：

int arr[5][5] = { /* 初始化数据 */ };
int sum = addArraysDynamic(5, 5, &arr[0][0]); // 传入二维数组首元素地址

方案3：适配int**参数的实现（仅当入参确实是二级指针时使用） #

如果必须使用int**作为参数，需要先构造指针数组再传入，同时修正函数内部逻辑：

// 修正后的函数实现
int addArraysTwo(int rows, int cols, int** arr)
{
    int output = 0;
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            output += arr[i][j];
        }
    }
    return output;
}

调用示例：

int arr[5][5] = { /* 初始化数据 */ };
// 构造指针数组
int* ptrArr[5];
for (int i = 0; i < 5; ++i) {
    ptrArr[i] = arr[i];
}
int sum = addArraysTwo(5, 5, ptrArr);

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