自动生成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 中基于内置的 haskell 类型编写了一个有点简单的代码生成器（只是 IO monad 内的一堆嵌套折叠）。

AST 类型声明：

http://pastebin.com/gF9xF1vf

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

http://pastebin.com/83Z4GH38

生成的结果：

http://pastebin.com/jJPgm5PE

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

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

不过还是谢谢你的回答。