Почему я не могу конвертировать 'типа char*' в 'const чарса* константность*' в C?

> однако, в чистом C, это все еще дает предупреждение, и я не понимаю, почему

вы уже определили проблему -- этот код не является const-правильный. "Const correct" означает, что за исключением приведений const_cast и C-style, удаляющих const, вы никогда не сможете изменить объект const с помощью этих указателей или ссылок const.

значение const-correctness -- const существует, в значительной степени, для обнаружения ошибок программиста. Если вы объявляете что-то как const, вы заявив, что вы не думаете, что он должен быть изменен-или, по крайней мере, те, у кого есть доступ только к версии const, не должны быть в состоянии изменить его. Рассмотрим:

void foo(const int*);

Как объявлено, foo не имеет разрешение чтобы изменить целое число, на которое указывает его аргумент.

Если вы не уверены, почему код, который вы опубликовали, не является const-правильным, рассмотрите следующий код, только немного отличающийся от кода HappyDude:

char *y;

char **a = &y; // a points to y
const char **b = a; // now b also points to y

// const protection has been violated, because:

const char x = 42; // x must never be modified
*b = &x; // the type of *b is const char *, so set it 
         //     with &x which is const char* ..
         //     ..  so y is set to &x... oops;
*y = 43; // y == &x... so attempting to modify const 
         //     variable.  oops!  undefined behavior!
cout << x << endl;

типы Non-const могут только преобразование в типы const в частности способы предотвращения любого обхода "const" на типе данных без явного приведения.

объекты, первоначально объявленные const, являются особенно особенными-компилятор может предположить, что они никогда не изменяются. Однако, если 'b' может быть присвоено значение 'a' без приведения, то вы можете непреднамеренно попытаться изменить переменную const. Это не только нарушит проверку, которую вы попросили компилятор сделать, чтобы запретить вам изменять эти переменные значение -- это также позволит вам сломать оптимизацию компилятора!

На некоторых компиляторах это будет печатать '42', на некоторых' 43 ' и других, программа выйдет из строя.

Edit-add:

HappyDude:ваш комментарий находится на месте. Либо язык C, либо компилятор C, который вы используете, трактует const char * const * принципиально иначе, чем язык C++. Возможно, следует отключить предупреждение компилятора для этой исходной строки только.

Edit-delete: удалены опечатка

чтобы считаться совместимым, исходный указатель должен быть const на непосредственно переднем уровне косвенности. Итак, это даст вам предупреждение в GCC:

char **a;
const char* const* b = a;

но это не так:

const char **a;
const char* const* b = a;

В качестве альтернативы, вы можете бросить его:

char **a;
const char* const* b = (const char **)a;

Вы же бросили вызов функции f (), как вы упомянули. Насколько я знаю, в этом случае нет способа сделать неявное преобразование (за исключением C++).

это раздражает, но если вы хотите добавить еще один уровень перенаправления, вы часто можете сделать следующее, Чтобы нажать вниз в указатель на указатель:

char c = 'c';
char *p = &c;
char **a = &p;

const char *bi = *a;
const char * const * b = &bi;

Он имеет немного другое значение, но обычно он работоспособен, и он не использует приведение.

Я не могу получить ошибку при неявном приведении char** к const char * const *, по крайней мере, на MSVC 14 (VS2k5) и g++ 3.3.3. GCC 3.3.3 выдает предупреждение, которое я не совсем уверен, правильно ли это.

Я уверен, что ключевое слово const не означает, что данные не могут быть изменены/постоянны, только что данные будут обрабатываться только для чтения. Рассмотрим это:

const volatile int *const serial_port = SERIAL_PORT;

который является допустимым кодом. Как могут сосуществовать волатильность и Конст? Простой. volatile говорит компилятору всегда считывать память при использовании данных, а const говорит компилятору создавать ошибку при попытке записи в память с помощью указателя serial_port.

помогает ли const оптимизатор компилятора? Нет. Нисколько. Поскольку константы могут быть добавлены и удалены из данных посредством приведения, компилятор не может определить, действительно ли данные const постоянны (поскольку приведение может быть выполнено в другой единице перевода). В C++ у вас также есть ключевое слово mutable, чтобы еще больше осложнить ситуацию.

char *const p = (char *) 0xb000;
//error: p = (char *) 0xc000;
char **q = (char **)&p;
*q = (char *)0xc000; // p is now 0xc000

что происходит, когда делается попытка записи в память, которая действительно доступна только для чтения (ROM, например), вероятно, вообще не определена в стандарте.