C++编译报错：无法将double[10][Globals::MAX_COL]转换为对应指针类型

编译C++程序时出现如下错误：

No matching function for call to 'fillWithRandomNum'
Candidate function not viable: no known conversion from 'double[10][Globals::MAX_COL]' to 'double (*)[Globals::MAX_COL]'

将Globals::MAX_COL替换为具体数值（如10）时程序可正常编译运行，请问如何使用命名空间变量Globals::MAX_COL解决该问题？

相关代码 #

Matrix.h

#include "namespaces.h"

#ifndef MATRIX_H
#define MATRIX_H

void fillWithRandomNum(double[][Globals::MAX_COL], const int);

#endif

namespaces.h

#ifndef namespaces_h
#define namespaces_h

namespace Globals {
    int MAX_COL = 10;
};

#endif

main.cpp

#include <iostream>
#include "Matrix.h"
#include "namespaces.h"

int main() {
    double matrix[10][Globals::MAX_COL];
    
    fillWithRandomNum(matrix, 10);
    
    return 0;
}

尝试将函数声明改为指针形式仍报错：

void fillWithRandomNum(double (*matrix)[Globals::MAX_COL], const int);

问题原因 #

C++中，数组的维度必须是编译期常量。当前Globals::MAX_COL是命名空间内的普通int变量，属于运行期变量，编译器无法在编译阶段确定它的值，因此不能用来作为二维数组的维度，也无法匹配函数参数的数组类型。

解决方法 #

有两种可行的修改方式：

1. 将MAX_COL改为编译期常量（推荐）

把Globals::MAX_COL定义为constexpr或const编译期常量，让编译器能在编译阶段确定它的值：

修改namespaces.h：

#ifndef namespaces_h
#define namespaces_h

namespace Globals {
    constexpr int MAX_COL = 10; // C++11及以上支持，编译期确定值
    // 兼容旧标准也可以用：const int MAX_COL = 10;
};

#endif

修改后，原有的函数声明和main中的数组定义都能正常编译，因为Globals::MAX_COL已满足编译期常量的要求。

2. 使用动态数组替代静态数组

如果必须让MAX_COL是运行期变量，可以改用std::vector实现动态二维数组，避开静态数组的维度限制：

• 修改Matrix.h：

#include <vector>
#include "namespaces.h"

#ifndef MATRIX_H
#define MATRIX_H

void fillWithRandomNum(std::vector<std::vector<double>>& matrix, const int rows);

#endif

• 修改main.cpp：

#include <iostream>
#include <vector>
#include "Matrix.h"
#include "namespaces.h"

int main() {
    std::vector<std::vector<double>> matrix(10, std::vector<double>(Globals::MAX_COL));
    
    fillWithRandomNum(matrix, 10);
    
    return 0;
}

这种方式下，数组大小可在运行期确定，同时更符合现代C++编程习惯。

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