CONST 매개 변수 문제

Question

GCC 컴파일러는이 코드에 대한 오류를 제공

#include <iostream> 

void f(const int * & p) 
{ 
    int i =0; 
    i = p[0]; 
    std::cout << i << std::endl; 
} 

int main() 
{ 
    int * p =new int[1]; 
    p[0] =102; 
    f(p); 
    return 1; 
} 

:

prog.cpp: In function ‘int main()’: 
prog.cpp:16: error: invalid initialization of reference of type ‘const int*&’ from expression of type ‘int*’ 
prog.cpp:5: error: in passing argument 1 of ‘void f(const int*&)’ 

하지만

void f(const int * const & p) 

모두에 "F"기능을 변경하면 괜찮습니다. 누군가 const가 왜 이런 식으로 행동하는지 설명 할 수 있습니까? 감사.

Answer 1

int*에서 const int*으로 이동하려면 임시 const int* 포인터를 생성하고 참조 번호 const int*&을 임시로 바인딩해야합니다.

표준은 비 const 참조를 위해 임시로 만드는 것을 금지합니다. 그 때문에 수정 한 것처럼 참조를 const로 만들어야합니다.

이것은 const가 아닌 참조는 "호출자가 참조 매개 변수를 사용하여 전달하는 인수를 변경하려고합니다"를 의미하기 때문입니다. 그러나 호출자가 인수를 변환하여 일시적으로 끝나는 경우 참조의 요지는 아무 것도없는 것이므로 표준에서 임시로 전달하려고 시도하는 것이 오류라고 간주합니다.

Answer 2

최초의 변환 (int *const int * &에) 허용 한 경우이 같은 악한 기능을 쓸 수 있습니다 :

const int really_const[] = {1,2,3}; 

void evil(const int * & p) 
{ 
    p = really_const; 
} 

int main() 
{ 
    int not_const[3]; 
    int * p = not_const; 
    evil(p); 
    p[0] = 0; // Whoops: modifying a const object 
} 

는이에 포인터를 수정하는 기능을 방지하기 때문에 두 번째 변환, 괜찮를 방법.