另一个结构中的结构的realloc数组

我正在做一个项目，目标是创造自动化

自动机由结构定义：

typedef struct {
    int num_states;
    int initial_state;
    State * states;
} Automaton;

状态是定义状态之间弧的另一个结构：

typedef struct {
    int num_arcs;
    bool is_final;
    Arc * arcs;
} State;

typedef struct {
    int symbol;
    int destination;
} Arc;

我使用malloc创建了一个自动机，如下所示：

Automaton* create_automaton(void) {
    Automaton * a = (Automaton *)malloc(sizeof(Automaton));
    assert(a != NULL);
    a->initial_state = UNDEFINED;
    a->num_states = 0;
    a->states = NULL;
    return a;
}

然后我想用两个自动机，它们的状态和弧都是用这些函数创建的：

int add_state(Automaton* a) {
    State* state = (State *)realloc(a->states, (a->num_states + 1) * sizeof(State));
    if(state == NULL)
        exit(EXIT_FAILURE);
    a->states = state;
    a->states[a->num_states].num_arcs = 0;
    a->states[a->num_states].is_final = FALSE;
    a->states[a->num_states].arcs = NULL;

    return a->num_states++;
}

void add_arc(Automaton* a, int from, int to, int symbol) {
    if(from >= a->num_states || to >= a->num_states)
        exit(EXIT_FAILURE);
    Arc * arc = (Arc *)realloc(a->states[from].arcs, (a->states[from].num_arcs + 1) * sizeof(Arc));
    if(arc == NULL)
        exit(EXIT_FAILURE);
    a->states[from].arcs = arc;
    a->states[from].arcs[a->states[from].num_arcs].destination = to;
    a->states[from].arcs[a->states[from].num_arcs].symbol = symbol;
    a->states[from].num_arcs++;
}

我想将这两个自动机合并为一个，因此我编写了以下函数：

Automaton* append_automaton(Automaton * a1, Automaton * a2)
{
    Automaton * a = copy_automaton(a1);
    int i = 0;
    for(i = 0; i < a2->num_states; i++)
    {
        add_state(a);
        a->states[a1->num_states + i] = a2->states[i];
        for(j = 0;j<a->states->num_arcs;j++)
        {
            a->states[i].arcs[j].destination =+ a2->num_states;
        }
    }
    a->initial_state = a1->initial_state;

    return a;
}

---

我看到的问题是，在for循环之后，您正在更新

a->num\u states

。但是

a->num\u states

它在函数

add\u state（a）的循环内使用
您需要将（a->num_states）++放入循环中。
我看到的问题是您在for循环后正在更新
a->num_states
。但是
a->num\u states
它在函数
add\u state（a）的循环内使用
您需要将（a->num_states）++放入循环中。
我看到的问题是您在for循环后正在更新
a->num_states
。但是
a->num\u states
它在函数
add\u state（a）的循环内使用
您需要将（a->num_states）++放入循环中。
我看到的问题是您在for循环后正在更新
a->num_states
。但是
a->num\u states
它在函数
add\u state（a）的循环内使用
您需要将（a->num_states）++放入循环中。
是的，谢谢您，我没有看到这个错误，但当我添加状态时，我仍然在realloc中遇到seg错误。问题是如果我更新for循环中的a->num\u states，num\u states的增量为2，因为add\u state也会增加num\u state。所以我刚刚删除了append_自动机中的num_状态增量。是的，谢谢，我没有看到那个错误，但当我添加一个状态时，我仍然得到realloc的seg错误。问题是如果我更新for循环中的a->num\u states，num\u states的增量为2，因为add\u state也会增加num\u state。所以我刚刚删除了append_自动机中的num_状态增量。是的，谢谢，我没有看到那个错误，但当我添加一个状态时，我仍然得到realloc的seg错误。问题是如果我更新for循环中的a->num\u states，num\u states的增量为2，因为add\u state也会增加num\u state。所以我刚刚删除了append_自动机中的num_状态增量。是的，谢谢，我没有看到那个错误，但当我添加一个状态时，我仍然得到realloc的seg错误。问题是如果我更新for循环中的a->num\u states，num\u states的增量为2，因为add\u state也会增加num\u state。所以我刚刚删除了append_自动机中的num_状态增量。你能提供一个最简单的例子来说明segfault的非工作输入吗？你也说过add_arc（）segfault，但是这个函数从来没有被调用过。对不起，我的意思是add_state（）segfault不是add_arc（）在append_automaton（）赋值
a=copy_automaton（a1）清除
a=create_automaton（）的上一个值（初始化器）是的，我确实更新了我的帖子来解决这个问题，但这并不重要，因为copy_automaton（）只是覆盖了用create_automaton（）创建的一个。你能提供一个简单的示例来说明这个错误吗？你也说过add_arc（）segfault，但是这个函数从来没有被调用过。对不起，我的意思是add_state（）segfault不是add_arc（）在append_automaton（）赋值
a=copy_automaton（a1）清除
a=create_automaton（）的上一个值（初始化器）是的，我确实更新了我的帖子来解决这个问题，但这并不重要，因为copy_automaton（）只是覆盖了用create_automaton（）创建的一个。你能提供一个简单的示例来说明这个错误吗？你也说过add_arc（）segfault，但是这个函数从来没有被调用过。对不起，我的意思是add_state（）segfault不是add_arc（）在append_automaton（）赋值
a=copy_automaton（a1）清除
a=create_automaton（）的上一个值（初始化器）是的，我确实更新了我的帖子来解决这个问题，但这并不重要，因为copy_automaton（）只是覆盖了用create_automaton（）创建的一个。你能提供一个简单的示例来说明这个错误吗？你也说过add_arc（）segfault，但是这个函数从来没有被调用过。对不起，我的意思是add_state（）segfault不是add_arc（）在append_automaton（）赋值
a=copy_automaton（a1）清除
a=create_automaton（）的上一个值（初始化器）是的，我确实更新了我的帖子来解决这个问题，但这并不重要，因为copy\u automaton（）只是覆盖了用create\u automaton（）创建的帖子
Automaton* copy_automaton(Automaton* a) {
    int i = 0;
    Automaton * cp_a = malloc(sizeof(Automaton));
    cp_a->states = malloc(sizeof(a->states));
    for(i = 0; i < a->num_states; i++)
    {
        cp_a->states[i].arcs = malloc(sizeof(a->states[i].arcs));
        cp_a->states[i] = a->states[i];
    }
    cp_a->num_states = a->num_states;
    cp_a->initial_state = a->num_states;
    //memcpy(a, cp_a, sizeof(Automaton));
    return cp_a;
}