Почему вызов функции, которая принимает (const char * const **) с char ***, вызывает флаг -Wcast-qual?

Question

Если мы имеем void foo(const char * const ** bar); и мы называем его char *** bar = malloc(...);, такие как foo((const char * const **) bar); возвращает:

error: to be safe all intermediate pointers in cast from ‘char ***’ to ‘const char * const**’ must be ‘const’ qualified [-Werror=cast-qual] 

Попытку передать его в без литья приводит к предупреждению типа, но проходя char * в const char *работы, я также может передать char *** в параметр функции char ** const *, но я хочу получить больше только для чтения, чем только один уровень.

Цель состоит в том, что функция предполагает, что все данные указателя и передаваемый указатель являются доступными только для чтения, так что указатель не будет записываться каким-либо образом.

Я понимаю, что флаг является дополнительной один, но он определен как:

-Wcast-qual 

Warn whenever a pointer is cast so as to remove a type qualifier from the target type. For example, warn if a const char * is cast to an ordinary char *. 

Насколько я могу судить, ни один из типов классификатора не удаляются, а мы добавления отборочных типа в сообщите пользователю, что функция не изменяет никаких данных.

Почему упомянутый выше код запускает дополнительное предупреждение -Wcast-qual? Есть ли лучший способ перевести полный malloc'd тройной указатель как функцию только для чтения?

Answer 1

TL; DR: const char * const ** ->const char * const * const *

Чтобы закончить вопрос, ответ в комментариях по/пользователей/2410359/chux (попросили их сделать пост, но они не имеют). Решение заключалось в использовании const char * const * const *, который не запускает флаг -Wcast-qual. В основном то, что у меня было, было не истинным квалификатором только для чтения, мне нужен был другой уровень.

Answer 2

Почему передача char* функции, ожидающей работы char const*?

Это просто понять. Вы не можете изменить строку в вызываемой функции. Ничего страшного.

Почему передача char** функции, ожидающей, что char const** не работает?

Это звучит неинтуитивно, но есть причина. Возьмите эту аналогию с int.

const int a = 10; 
void foo(int const ** ap) 
{ 
    *ap = &a; 
} 

void bar() 
{ 
    int * p = NULL; 
    foo(&p); 
    *p = 20; 
} 

Если вы разрешили использовать это, вы можете изменить a, который const в bar косвенно.

Именно поэтому &p, тип которого int**, не допускается к лишению к int const** неявным образом.