在C ++中将动态声明的数组作为常量传递

Question

我使用如下函数动态创建了一个数组：

//..
    double ** allocate_2d(const int wd1, const int wd2){
    double **array = new double*[wd1];

    for(int idx=0; idx<wd1; idx++)
    {
        array[idx] = new double[wd2];
    }

    return array;
}

我想将结果数组作为常量参数传递给函数。 我希望函数内的数组为“只读”。

func(const double ** array)
{
    // computations using array
}

但是我收到以下错误： invalid conversion from 'double**' to 'const double**'

有可能做这样的事情吗？

Answer 1

OP之所以签名

func(const double ** array){
    // computations using array
}

当将double **作为参数传递时，会产生错误，这double **资格转换的规则。

引用https://en.cppreference.com/w/cpp/language/implicit_conversion （重点是我的）：

资格转换

• 甲prvalue类型的指针，以CV-合格类型T可以被转换为一个prvalue指针更 CV-合格相同类型T（换言之，常量性和波动可添加）。
• [...]

“更多”具有简历资格意味着

• 指向非限定类型的指针可以转换为指向const的指针；
• [...]

对于多级指针，以下限制适用： cv ¹ ₀合格指针cv ¹ ₁合格指针... ... cv ¹ _n-1合格指针cv ¹ _n合格指针T1转换为多级指针P2其是CV ² ₀ -qualified指向cv ² ₁ -qualified指针... CV ² _n-1个 -qualified指向cv ² _n个 -qualified只有T如果

• 两个指针的级别数n相同；
• 如果在P1的某个级别（零级别除外）的cv ¹ _k资格中存在const，则在P2的相同cv ² _k级别中存在const；
• [...]
• 如果在某个k级别，P2比c1更具有cv资格，则在p2的每个单个级别（零级别除外）上都必须有一个常量，直到k ： cv ² ₁ ， cv ² ₂ ... cv ² _k 。
• [...]
• 非多级资格转换的规则解决了零级问题。

\n char ** p = 0;\n const char ** p1 = p;  //错误：等级2更具有简历资格，但等级1不是const\n const char * const * p2 = p;  //好：再通过2级cv认证，并且 \n                             //在第1级添加const\n

请注意，在C编程语言中，只能将const / volatile添加到第一级：

\n char ** p = 0;\n char * const * p1 = p;  //在C和C ++中可以\n const char * const * p2 = p;  // C中的错误，在C ++中可以\n

因此，为了增强一致性，需要将签名更改为

void func(double const * const * array) {
    // ...               ^^^^^ 
}

也就是说，我强烈建议更改整体设计，并尽可能避免使用动态分配的锯齿状数组。

Answer 2

您可以使用const_cast向对象添加常量（需要显式强制const_cast ）。

double **p = allocate_2d(100,200);

// populate p

func(const_cast<const double**>(p));//array pointed by p will be read only inside func

不过，您仍然需要考虑是否根本需要const 。