const 포인터가 아닌 const 포인터 double 포인터 매개 변수

Question

별 앞에 C++에서 수식자인 const은 포인터가 가리키는 값을 변경할 수 없다는 것을 의미하며 포인터 자체는 다른 것을 가리 키도록 만들 수 있습니다. 펑션합니다 (CONST는 제 스타 후 아니므)는 INT * 값을 수정할 수 있지만, 통과 PARAM 가리키는 정수 값 (있는 경우)을 수정하도록 허용되어서는 안된다

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

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

justloadme

이하 ,하지만 여전히 GCC와 VC++ 모두에서 컴파일러 오류가 발생하는 이유는 무엇입니까?

GCC : 오류 : 유효하지 않은 변환 int**에서

VC++를 const int**에 : 오류 C2664 : 'justloadme': 변환 할 수 없습니다 매개 변수 1 'INT **'에서 'const를 INT **'이다. 변환에서 한정자가 없어짐

변환이 한정자를 잃는 이유는 무엇입니까? const 한정자를 얻지 못했습니까? 게다가, 우리가 non-const를 전달하는 strlen(const char*)과 비슷하지 않습니다. 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를-정확성을 깰 수 있다는 것입니다. 언어는 마지막 단계로 const를 추가하지만 첫 번째되지 허용 :

이

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