C - 结构中的结构数组在 dfa 程序中返回意外结果

Question

我正在尝试制作一个根据用户输入创建 dfa 的程序。每个节点和转换必须是一个结构体，并且 dfa 也是一个结构体。 dfa 结构体包含节点结构体数组和转换结构体链表。这是我到目前为止所拥有的:

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

#define MAX_STATES 25
#define TRUE 1
#define FALSE 0
#define MAXCHAR 256

/* struct for a state of the DFA */
typedef struct state {
    char *id;
    int isInitial;
    int isFinal;
} STATE_T;

/* struct for a transition of the DFA*/
typedef struct transition {
    STATE_T *startState;
    char condition;
    STATE_T *endState;
    struct transistion *next;
} TRANSITION_T;

/* struct for the DFA */
typedef struct automaton {
    STATE_T state[MAX_STATES];
    TRANSITION_T *transition;
} AUTOMATON_T;

/* main function reads initial user inputs to build dfa */
int main() {
    AUTOMATON_T dfa;
    STATE_T stateA;
    TRANSITION_T *trans;

文本文件的第一行是逗号分隔的节点/状态，例如:“a,b,c”。但是，当我将每个节点作为状态 id 分配到 dfa 结构中时，最终状态将分配给每个状态的 id。以下代码中的 for 语句打印 0c 1c 2c，而我期望的是 0a 1b 2c。

    FILE *fp = fopen(fileName, "r");

    while (fgets(useIn, MAXCHAR, fp)) {
        if (lineNum == 0) {
            i = 0;
            char *token = strtok(useIn, ",");
            while (token != NULL) {
                strcpy(stateId, token);
                stateA.id = stateId;
                dfa.state[i] = stateA;
                i++;
                token = strtok(NULL, ",");
            }
            stateAmt = i;
            for (i = 0; i < stateAmt; i++) {
                printf("%d", i);
                printf("%s", dfa.state[i].id);
            }
        }
    fclose(fp);
    return 0;
}

为什么会这样呢？我是否错误地处理了状态数组？

Answer 1

问题是这两行:

strcpy(stateId, token);
stateA.id = stateId;

在state结构中，id成员是一个指向可变字符串的指针。用于存储该字符串的内存仅分配了一次，并且其地址已存储在每个状态结构中。

为了让每个状态都有自己的ID，需要为每个状态分配一个新的ID缓冲区。您可以在运行时使用 malloc 动态地执行此操作，或者您可以简单地将此缓冲区的存储作为 state 结构的一部分包含在内，如下所示:

typedef struct state {
    char id[MAX_ID_LENGTH+1];
    int isInitial;
    int isFinal;
} STATE_T;