аргумент указателя non-const для параметра double double указателя const

Question

Модификатор const в C++ перед звездой означает, что с помощью этого указателя указанное значение не может быть изменено, в то время как сам указатель может указывать на что-то другое. В ниже

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

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

justloadme функция не должна иметь возможность редактировать целые значения (если таковые имеются), на который указывает пройденный парам, в то время как он может изменить INT * значение (так как сопзЬ не после первой звезды) , но все же, почему я получаю ошибку компилятора как в GCC, так и в VC++?

GCC: ошибка: неправильное преобразование int**const int** в

VC++: ошибка C2664: 'justloadme': не удается преобразовать параметр 1 из 'междунар **' до 'Const INT **. Конверсия теряет квалификаторы

Почему говорится, что конверсия теряет квалификаторы? Разве он не получает квалификатор 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!!! 

линии, отмеченные [*] является виновником этого нарушения, и отвергается по этой конкретной причине. Язык позволяет добавлять сопзЬ до последнего уровня, но не первый:

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