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

Question

C++ 中 star 之前的 const 修饰符意味着使用该指针所指向的值无法更改，而指针本身可以指向其他内容。在下面的

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*) 我们传递一个非 const char*

Answer 1

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

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