Блог

Я читаю книгу, в которой есть следующий код:

 int list_ins_next(List *list, ListElmt *element, const void *data) {  ListElmt *new_element;  /* Allocate storage for the element.*/  if ((new_element = (ListElmt *)malloc(sizeof(ListElmt))) == NULL)  return -1;  /* Insert the element into the list.*/  new_element-gt;data = (void *)data;  /* and so on */ }  

Как мы видим, функция получает const void *data в качестве одного из аргументов.

Почему он повторно отлит в строке: new_element-gt;data = (void *)data; ?

Дополнительная информация:

 /* Define a structure for linked list elements. */ typedef struct ListElmt_ {  void *data;  struct ListElmt_ *next; } ListElmt;  /* Define a structure for linked lists.*/ typedef struct List_ {  ListElmt *head;  ListElmt *tail; } List;  

Без приведения и с включенными достаточными уровнями предупреждений компилятора ваша компиляция завершилась бы неудачей с чем-то вроде:

предупреждение: назначение удаляет квалификатор ‘const’ из целевого типа указателя

Это означает, что следующее задание нарушает некоторые правила:

 new_element-gt;data = data; // lt;-- danger!  

Что случилось?

Ну, в сообщении говорится, что в результате назначения отбрасывается «классификатор констант». Давайте разберемся, что это означает.

Переменная data имеет тип const void* , что означает, что память, на которую она указывает, никогда не должна изменяться в результате следования этому указателю. Другими словами, функции list_ins_next не разрешается делать ничего, что приведет к изменению этой памяти.

Итак, теперь узел списка, в котором хранится указатель, не дает таких обещаний. У него есть элемент данных типа void* , который означает, что любому, кто следует указателю, хранящемуся в списке, разрешено изменять память, на которую он указывает.

Некоторая память действительно не может быть изменена. Примером могут служить строковые литералы. Если у вас есть строка "hello" в вашей программе, она на самом деле хранится где-то в памяти как часть кода. И у вас может быть указатель: const char* hello = "hello"; … но вам действительно не следует бросать const и начинать возиться с этими данными.

Вы видите в чем проблема? Если бы это было разрешено, то функция list_ins_next могла бы неосознанно нарушать правила. Даже несмотря на то , что ему запрещено изменять память, на которую указывает data , он хранит этот указатель в структуре, не связанной такими ограничениями. Позже кто-то, использующий эту структуру, мог бы с радостью пойти и использовать data ее так, как если бы она не была постоянной, не осознавая, что она должна быть постоянной.

Время аналогии (непослушный)

Представьте, что вы отправились в отпуск, и кто-то присмотрел за вашим домом. Перед тем как уйти, ты взял с них обещание не прикасаться к твоему виски на верхней полке. Вы возвращаетесь через неделю, виски кончилось. Вы спрашиваете их, почему они нарушили свое обещание, и они настаивают, что действительно не прикасались к нему, но они пригласили друга и дали им полное разрешение выпить все это.

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