Почему указатель на область malloc'd терпит неудачу, если не скопирован?

Question

У меня есть указатель на структуру. Я вызываю подпрограмму, которая определяет, нужна ли мне эта структура и выделяет место для нее, используя malloc, возвращая указатель на эту область или ноль, если он не используется.

Это работает, и я могу правильно получить доступ ко всем элементам структуры. Один из элементов узла struct - это следующий, который указывает на следующую структуру узла и указатель на строку, но возвращает указатель на строку, которая даже не существует в этой подпрограмме.

node_p=find_string(node_p->next,"string"); 

Однако это возвращает указатель в структуре к правильной строке.

struct node *node_p, *node_copy; 
node_copy=find_string(node_p->next,"string"); 

Единственная разница заключается в использовании второго указателя вместо оригинала. Я делаю что-то неправильно здесь или должен быть глубже в вызываемой функции? Проблема с обвинениями в вызываемой функции заключается в том, что я использую ее в нескольких местах в течение нескольких месяцев без проблем, однако другие вызовы ищут только строку и никогда не переходят к «следующей».

EDIT: Дальнейшая отладка показала, что проблема заключается в том, что указатель передается find_string, а не возвращенный указатель. Это меняет вопрос и проблему, поэтому мне нужно открыть другой вопрос.

Answer 1

В этом фрагменте:

struct node *node_p, *node_copy; 
node_copy=find_string(node_p->next,"string"); 

вы разыменования node_p когда он еще не инициализирована (не указывает на юридически выделенного блока памяти). Это неопределенное поведение. Сначала вы должны установить node_p в назначенный законом блок памяти соответствующего размера.

Answer 2

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