为什么我在将'float **'转换为'const float **'时出错？

Question

我有一个接收float**作为参数的函数，我试图将其更改为const float**。

编译器（g++）不喜欢它，并发出：

invalid conversion from ‘float**’ to ‘const float**’

这是没有意义的，我知道（和验证）我可以通过char*给接受const char*功能，那为什么不用const float**？

Answer 1

见Why am I getting an error converting a Foo** → const Foo**?

由于转换Foo**→const Foo**是非法且危险的......究其原因，从Foo**→const Foo**转换是危险的是，它可以让你悄无声息，不小心修改一个const Foo对象，而不演员阵容

参考文献继续举例说明这种隐式转换如何允许我修改const对象而无需强制转换。

Answer 2

这是一个非常棘手的限制。它与语言的别名规则有关。看看标准说什么，因为我已经遇到此之前曾经：

（第61页）

[注：如果一个程序可以一 指针类型的T **分配给指针 类型为const T **（也就是说，如果允许下面的行// 1 ），则程序可能会无意中修改常量对象 （因为它在行// 2上完成）。对于 例如，

int main() { 
    const char c = 'c'; 
    char* pc; 
    const char** pcc = &pc; //1: not allowed 
    *pcc = &c; 
    *pc = 'C'; //2: modifies a const object 
} 

就要收注]

Answer 3

如果转换的参数const float**然后你可以在存储器位置参数指向存储const float*。但是调用函数认为这个内存位置应该包含一个非const float*，并可能稍后尝试更改指向的这个float。

因此，您不能将float**转换为const float**，它将允许您在指向可变值的指针所在的位置存储指向常量的指针。

详情请参阅C++ FAQ Lite。

Answer 4

其他anwers已详细说明为什么这是C++中的错误。

让我解决你的问题背后的问题。你想在你的函数的接口中声明你的函数不会修改数组中包含的浮点值。意图很好，并且可以使用const float **数组调用您的函数。你的问题背后的问题是，如何实现这一点，而不会解决丑陋的演员。

要达到目标的正确方法是将函数参数的类型更改为const float * const *。

星号之间的附加const确保编译器确保您的方法不会尝试存储指向数组中const float的指针，因为此类型声明指针值也是const。

您现在可以使用float **（这是您的问题中的示例），const float **和const float * const *参数调用此函数。