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;