首页 > 解决方案 > C - 结构中的结构数组在 dfa 程序中返回意外结果

问题描述

我正在尝试制作一个基于用户输入创建 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;
}

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

标签: carraysstruct

解决方案


问题是这两行:

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;

推荐阅读