C语言 YacC语言 使用 %union 和链表构建数据结构

Question

我正在使用yacc时尝试在我的程序中构建特殊的数据结构。这是我语法的一部分：

commands      : commands command    {if($$ == 0){$$ = &$2;}
                                     struct Command* ptr = $$;
                                     while(ptr->next != 0){ ptr=ptr->next;} ptr->next = &$2;
                                     }
                  |                  {$$= 0;}
                  ;
command       : identifier ASSGNOP expression';'  {$$.id = $1; $$.exp=$3; $$.next = 0; }
              | IF condition THEN commands ENDIF  {$$.next = $4;  = $2; $4 = &$$; }
              ;

我希望我的程序在执行时创建链表。

%type <Command> command
%type <Commands> commands
     //..part in union%{
    struct Command {
        struct Command * next;
        struct Expression exp;
        char*  id;
        struct Condition cond;  
        int licznik;
        }Command;
       struct Command* Commands;         
    }

通过将命令连接在一起，列表应该会增长。最后，应返回一个指向整个结构列表的指针。不幸的是，我遇到了"分段"故障错误。此外，它会永远迭代，永远不会遇到 NULL。如果有人指出我做错了什么，我会很感激。当我删除 ptr=ptr->next;它正在工作，但我不明白为什么会发生这种情况。它应该在最后指向 NULL。

Answer 1

$n的

语义值保存在解析器堆栈上。它们不占用持久内存，获取其地址通常是错误的。执行语义操作后，它们将立即从堆栈中弹出，任何指向它们的指针都将变为无效。

如果要创建语义对象的链接列表，则需要手动分配内存，并将语义值设置为已分配对象的地址。

顺便说一下，向后构建列表更有效，只需将每个新节点推到列表的头部，然后在完成后反转列表。这样可以避免在每次推送时对列表进行二次扫描。