7

Допустим, я создаю в main() массив указателей, под которые позже выделяю память и инициализирую посредством функции fgets().

int main(void){    
    char *p[5];
    ............
   /* инициализация */
}

Затем я хочу отсортировать данный массив указателей и вызываю функцию sorting(). Для того, чтобы случайно не изменить данные в массиве указателей, аргумент функции sorting я сделаю const, тобишь:

void sorting(const char **p){
/* функция сортировки указателей */
}

Однако при вызове данной функции из main(), я получаю ошибку

int main(void){
.............
.............
sorting(p); 

}

предупреждение:

passing argument 1 of ‘sorting’ from incompatible pointer type [-Wincompatible-pointer-types] sorting(p);
expected ‘const char **’ but argument is of type ‘char **’
void sorting(const char **p){

Насколько мне известно, то const значения можно инициализировать НЕ const значениями, но это я читал для просто указателей. Скажите, пожалуйста, как решить данную проблему?

1
  • Объявите const char *p[5].
    – 0andriy
    23 янв 2018 в 20:15

1 ответ 1

8

Ваше желание вполне понятно и естественно, но тем не менее в С не разрешено неявное приведение типа от char ** к const char **. На первый взгляд вам кажется, что вы просто запрещаете модификацию строк, но вместе с этим вы открываете другую "дыру" в защите константой корректности: если бы это было возможно, то внутри вашей функции sorting вы могли бы спокойно сделать, например

 p[0] = <адрес какого-то константного объекта типа char>;

 // Например:
 // static const char s[] = "Hello World!";
 // p[0] = s;

что привело бы к тому, что p[0] в main (имеющее тип char *) стало бы указывать на константный объект. И вы этого добились бы без применения явного приведения типа (!).

Вот для того, чтобы не открывать такой дыры в защите, С не разрешает неявных преобразований T ** -> const T **.

Красивого решения тут навскидку не придумаешь... В main вам, допустим, нужен именно char *[], а в sorting вы, допустим, хотите получать именно const char *[]. В такой ограниченной ситуации остается только применить явное приведение типа.

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

#define sorting(p) sorting((const char **) (p))

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.