указатель на сопзЬ преобразования в C

Question

Следующий код компилируется без предупреждения GCC, но выдает предупреждение в Visual Studio 2005.

const void * x = 0; 
char * const * p = x; 

х указывает на константный объект неизвестного типа, и р указывает на постоянный указатель на char. Почему при присвоении p возникает предупреждение?

Опять же, это C, а не C++. Благодарю.

Answer 1

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

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

 const void * x = 0; 
     char * const * p = (char * const *)x; 

---

P.S. На первом месте я написал «большую часть времени сделано непреднамеренно», но AndreyT заставил меня пересмотреть его, когда он по праву сказал, что void * существует специально для этой цели.

Answer 2

Что делать, если x будет указывать, скажем, struct Thing, в отличие от char? В этом случае вы будете делать что-то с неуказанным поведением. GCC имеет тенденцию позволять вам делать это, потому что предполагает, что вы достаточно умны, чтобы не стрелять себе в ногу, но есть веские причины для предупреждения.

Answer 3

warning C4090: 'initializing' : different 'const' qualifiers 

Вы не можете бросить const void к char *const или даже char *. При разыменовании p теперь вы можете изменить *(char *)(*x). Это малоизвестная тонкость про указатели в С.

Рабочего типа для p будет:

char const **p = x; 

И да, я поставил const на праве, как человек.

Answer 4

Вы должны прочитать следующее справа налево.
char * const * p = x;

Пример:
P указывает на указатель const типа char.

Answer 5

Код C действителен, и соответствующий компилятор не должен предупреждать, поскольку const ness сохранен правильно, а преобразование void * в любой тип указателя (в сторону указателей функций) неявно.

Компилятор C++ должен предупредить о неявном преобразовании, но предупреждение об отбрасывании квалификатора const является неправильным и должно считаться ошибкой компилятора.

Answer 6

const void * x = 0; 
char * const * p = x; 

Сначала я предположил, что вы решили взять адрес x и написали код для этого. Затем я решил, что x указывает на указатель на char [].И в любом случае, и это все еще довольно запутанным:

#include <stdio.h> 
int main() 
{ 
     char s [] = "Hello World!"; 
     const void * x = s; 
     const char * const * const p = (const char * const *)&x; 
     printf("%s\n", *p); 
/* won't compile 
     *p++;  // increments x to point to 'e' 
     (**p)++; // increments 'H' to 'I' 
*/ 
     const char * y = s; 
     x = &y; 
     const char * const * const q = x; 
     printf("%s\n", *q); 
/* won't compile 
     *q++; 
     (**q)++; 
*/ 
     return 0; 
} 

Дополнительный const перед char в декларации p предотвращает (**p)++ от компиляции. Однако добавлено const до объявления q (в GCC) теней warning: dereferencing ‘void *’ pointer с error: increment of read-only location ‘**q’ за (**q)++. Надеюсь, что это поможет, это немного помогло мне :-)