Почему не удается неявно преобразовать символ ** на константный символ **

Question

У меня есть код, который делает более или менее:

bar(const char**) 
{ 
// stuff 
} 

foo(char** arr) 
{ 
    bar(arr); 
} 

Компилятор уведомляет меня, что я делаю в invalid conversion from ‘char**’ to ‘const char**’. Хотя я знаю, что это значит, я не понимаю, почему это не допустимо. Это нормально нормально char* где const char* не требуется.

Answer 1

потому что, если это разрешено, вы можете непреднамеренно изменить то, что было объявлено const.

вот конкретный пример злоупотребления, если правила позволили этому:

char const* s = "a literal, very const"; 

bar(const char** pp) 
{ 
    *pp = s; 
} 

foo(char** arr) 
{ 
    bar(arr); 
    char* unconsted_s = *arr; 
    unconsted_s[0] = 'X'; 
} 

Это также FAQ. Это часто рекомендуется проверить FAQ (или просто Google), прежде чем спрашивать.

Answer 2

Это может привести к аналогичному сценарию, если это разрешено.

void foo(int** arr) 
{ 
    /*Can freely modify value at location pointed by a*/ 
    **arr = 6; 
} 


int main() 
{ 
/*Pointer to constant*/ 
int i = 5; 

const int* a =&a; 

/*Not a pointer to constant*/ 
int** aa= &a; 

foo(aa); 

return 0; 
}