自动生成 C 结构构造函数？

Question

我想实现一门新语言，我想用 C 语言来实现，使用著名的 flex+yacc 组合。好吧，问题是，编写整个 AST 代码非常耗时。有没有工具可以自动生成结构体的构造函数？

我想要具有以下行为的东西：

输入：

enum AgentKind {A_KIND1, A_KIND2};
typedef struct Agent_st
{
    enum AgentKind kind;
    union {
        struct {int a, b, c} k1;
        struct {int a, GList* rest} k2;
    } u;
} Agent;

输出：

Agent*    agent_A_KIND1_new(int a, b, c)
{
    Agent* a = (Agent*)malloc(sizeof(Agent));
    a->kind = A_KIND1;
    a->k1.a = a;
    ...
    ...
    return a;
}

Agent*    agent_A_KIND2_new(int a, GList* rest)
{ ... }

谢谢！

Answer 1

您也许可以通过巧妙地使用预处理器宏来获得一些工作。

首先是头文件：

#ifndef AST_NODE
# define AST_NODE(token) \
    struct AST_ ## token \
    {                    \
        int kind;        \
    };
#endif

AST_NODE(TokenType1)
AST_NODE(TokenType2)

然后是源文件：

#define AST_NODE(token)                                        \
struct AST_ ## token *AST_ ## token ## _new()                  \
{                                                              \
    struct AST_ ## token *node = malloc(sizeof(AST_ ## token); \
    node->kind = token;                                        \
    return node;                                               \
}

#include "ast.h"

如果您在任何其他文件中包含“ast.h”文件，您将有两个结构：AST_TokenType1 和 AST_TokenType2。

上述源文件创建了两个函数：AST_TokenType1_new() 和 AST_TokenType2_new()，它们分配正确的结构并设置结构成员 kind。

Answer 2

好吧，由于没有工具，我决定今天下午编写一些代码。 我开始了一个看起来不错的项目，我想继续它。

我在 Haskell 中编写了一个有点简单（只是 IO monad 中的一堆嵌套折叠）的代码生成器，它基于内置的 haskell 类型。

AST 类型声明：

http://pastebin.com/gF9xF1vf

C 代码生成器，基于 AST 声明：

http://pastebin.com/83Z4GH38

以及生成的结果：

http://pastebin.com/jJPgm5PE

怎么会有人不喜欢 Haskell？ :)

ps：我编写这个代码是因为我目前正在从事的项目在不久的将来会发生大量变化，这些变化会使 AST 失效，从而迫使我编写另一个 AST 模块...... 现在我可以很快做到了！

谢谢你的回答。