常量双指针参数的非常量指针参数

Question

C++ 中的const 修饰符在star 之前意味着使用这个指针不能改变指向的值，而指针本身可以指向别的东西。在下面

void justloadme(const int **ptr)
{
    *ptr = new int[5];
}

int main()
{
    int *ptr = NULL;
    justloadme(&ptr);
}

justloadme 函数不应该被允许编辑传递的参数所指向的整数值（如果有的话），而它可以编辑 int* 值（因为 const 不在第一个星之后），但仍然为什么这样做我在 GCC 和 VC++ 中都遇到编译器错误？

GCC: 错误：从 int** 到 const int** 的无效转换

VC++: 错误 C2664: 'justloadme' : 无法将参数 1 从 'int **' 转换为 'const int **'。转换失去限定符

为什么它说转换丢失了限定符？不是获得const 限定词吗？此外，它不是类似于strlen(const char*)，我们传递一个非常量char*

Answer 1

在大多数情况下，编译器是正确的，而直觉是错误的。问题是，如果允许该特定分配，您可能会破坏程序中的 const 正确性：

const int constant = 10;
int *modifier = 0;
const int ** const_breaker = &modifier; // [*] this is equivalent to your code

*const_breaker = & constant;   // no problem, const_breaker points to
                               // pointer to a constant integer, but...
                               // we are actually doing: modifer = &constant!!!
*modifier = 5;                 // ouch!! we are modifying a constant!!!

标有 [*] 的行是该违规的罪魁祸首，并且由于该特定原因而被禁止。该语言允许将 const 添加到最后一级，但不能添加到第一级：

int * const * correct = &modifier; // ok, this does not break correctness of the code