Блог

В настоящее время я разрабатываю инструмент статического анализа, который выполняет сопоставление с шаблоном. Я использую Flex для создания лексического анализатора, и я написал код для управления таблицей символов. У меня не очень большой опыт работы с C, поэтому я решил реализовать таблицу символов в виде линейного связанного списка.

 #include <stdlib.h>
#include <stdio.h>
#include <string.h>

struct symtab {
   int id;
   char *name;
   int type;
   struct symtab *next;
};

enum types {
   KEYWORD = 1,
   CONSTANT,
   IDENTIFIER,
   OPERATOR,
   DELIMITER,
   WHITESPACE
};

struct symtab *last_entry(struct symtab *start)
{
   struct symtab *p;
   p = start;
   while(p -> next != NULL) {
      p = p -> next;
   }
   return p;
}

void add_entry(char* name, int type, struct symtab *start)
{
   struct symtab *new;
   new = last_entry(start);
   int id;
   if(new == start) {
      new = start;
      id = 0;
   }
   else {
      new = malloc(sizeof(struct symtab));
      id = last_entry(start) -> id;
      last_entry(start) -> next = new;
   }
   new -> id = id   1;
   new -> name = name;
       new -> type = type;
   new -> next = NULL;
}

struct symtab *find_entry(char* name, struct symtab *start)
{
   struct symtab *p;
   p = start;
   while(p -> next != NULL) {
      if(strcmp(p -> name, name) == 0) {
         return p;
      }
   }
}
  

Однако, когда я использую add_entry() для добавления символов, а затем пытаюсь найти их с помощью find_entry() , find_entry() возвращает null. Может кто-нибудь, пожалуйста, помочь?

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

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

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

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