C语言中结构体与函数的循环定义问题求解

你的问题核心是两个头文件互相依赖导致的类型未定义错误，通过前向声明和调整头文件包含逻辑就能解决，具体重构方案如下：

1. 核心思路 #

• 对于仅需要指针类型的场景，用前向声明替代头文件包含，避免循环引用
• 仅在需要完整类型定义的地方包含对应头文件
• 将函数实现移至.c文件，头文件只保留类型声明和函数原型

2. 修改后的代码 #

重构后的lexer.h #

#ifndef LEXER_H
#define LEXER_H

#include "expand_array.h"  // 需要DynamicCharArray的完整定义，直接包含头文件

// 存储Token值的联合体
typedef union {
    DynamicCharArray arr;     // 用于标识符、字符串等
    int intValue;             // 用于整数字面量
    float floatValue;         // 用于浮点数字面量
} TokenValue;

// Token结构体（命名struct方便前向声明）
typedef struct Token {
    TokenValue value;    // Token的值
} Token;

#endif

重构后的expand_array.h #

#ifndef EXPAND_ARRAY
#define EXPAND_ARRAY

#include <stdio.h>

// 前向声明Token结构体：仅需知道Token是结构体类型，无需完整定义即可使用指针
typedef struct Token Token;

// 动态字符数组结构体定义
typedef struct {
    char *stringValue;  // 指向动态分配的字符数组
    size_t size;        // 当前数组中的字符数量
    size_t capacity;    // 数组的容量
} DynamicCharArray;

// 函数原型（仅需Token指针，前向声明足够）
void init_array(Token *token);
void free_array(Token *token);
void add_char(Token *token, int c);

#endif // EXPAND_ARRAY

新增expand_array.c（存储函数实现） #

#include "expand_array.h"
#include "lexer.h"  // 这里需要Token的完整定义，所以包含lexer.h
#include <stdlib.h>

void init_array(Token *token) {
    token->value.arr.stringValue = malloc(16 * sizeof(char));
    token->value.arr.size = 0;
    token->value.arr.capacity = 16;
}

void free_array(Token *token) {
    free(token->value.arr.stringValue);
    token->value.arr.stringValue = NULL;
    token->value.arr.size = 0;
    token->value.arr.capacity = 0;
}

void add_char(Token *token, int c) {
    if (token->value.arr.size >= token->value.arr.capacity) {
        token->value.arr.capacity *= 2;
        token->value.arr.stringValue = realloc(token->value.arr.stringValue, token->value.arr.capacity * sizeof(char));
    }
    token->value.arr.stringValue[token->value.arr.size++] = (char)c;
    token->value.arr.stringValue[token->value.arr.size] = '\0';
}

3. 方案说明 #

• 前向声明的作用：typedef struct Token Token;告诉编译器“Token是一个结构体类型”，此时使用Token*作为函数参数是合法的——因为指针类型不需要知道结构体的具体大小和成员，仅需确认类型存在。
• 头文件包含逻辑：lexer.h需要DynamicCharArray的完整定义来声明联合体成员，所以直接包含expand_array.h；expand_array.h仅需Token的指针，用前向声明替代头文件包含，打破循环。
• 函数实现分离：函数实现放在.c文件中，此时可以安全包含lexer.h获取Token的完整定义，从而访问其内部成员。

内容的提问来源于stack exchange，提问作者demon