C语言中如何编写适配所有数据类型的void指针栈通用显示函数？

首先明确个绕不开的限制：C语言没有运行时类型反射机制，你存在栈数组里的void*就是个裸地址，根本不带“这个地址里存的是int、float还是字符串”的信息。靠原来的结构体字段，是不可能自动判断该用什么格式输出的。要写通用的display，核心思路就是把“怎么把单个元素打出来”这部分逻辑，从栈的通用遍历代码里拆出去，每个栈实例自己记着怎么打自己存的元素。

具体实现步骤 #

1. 改造原有栈结构体，新增打印函数指针字段 #

先定义统一的打印函数签名，再把这个函数指针类型加到栈结构体里：

// 通用元素打印函数的签名：入参为栈中存储的void*元素，无返回值
typedef void (*ElementPrinter)(void *element);

typedef struct {
    void **arr;
    int size;
    int top;
    int count;
    ElementPrinter printer; // 新增字段：绑定当前栈适配的元素打印逻辑
} stack_T;

2. 为不同数据类型编写轻量的打印适配函数 #

每种数据类型只需要写一个1-2行的适配函数，逻辑和你原来单独写的displayIntStack里的核心打印逻辑完全一致：

// int类型元素打印适配
void printIntElement(void *element) {
    printf("%d ", *(int *)element);
}

// 字符串类型元素打印适配
void printStrElement(void *element) {
    printf("%s ", (char *)element);
}

// 浮点类型元素打印适配
void printFloatElement(void *element) {
    printf("%.2f ", *(float *)element);
}

3. 初始化栈时绑定对应类型的打印逻辑 #

创建不同类型的栈实例时，在初始化结构体的阶段，把对应类型的适配打印函数赋值给printer字段即可：

// 例如创建int类型栈时的初始化代码
stack_T* createIntStack(int maxSize) {
    stack_T *newStack = malloc(sizeof(stack_T));
    // 原有基础初始化逻辑：
    // 给arr分配maxSize个void*大小的内存
    // 设置top = -1, count = 0, size = maxSize
    newStack->printer = printIntElement; // 绑定打印逻辑
    return newStack;
}

4. 编写通用的display函数 #

通用函数只需要负责栈的遍历、边界判断，遇到元素时直接调用绑定好的printer方法即可，不需要关心元素的实际类型：

void displayStack(stack_T *stack) {
    if (isEmpty(stack)) {
        printf("当前栈为空\n");
        return;
    }
    // 临时记录栈顶位置，避免遍历过程破坏栈的存储状态
    // 你原示例中直接pop的写法是破坏性遍历，会把栈清空，这里做了非破坏性优化
    int savedTop = stack->top;
    while (stack->top >= 0) {
        // 调用当前栈绑定的打印逻辑处理元素
        stack->printer(stack->arr[stack->top]);
        stack->top--;
    }
    // 恢复栈顶位置
    stack->top = savedTop;
    printf("\n");
}

方案的实际好处 #

• 不用给每种类型重复写判空、栈顶移动的遍历逻辑，所有栈共用一套display代码
• 加新类型的时候，只要写个两三行的适配打印函数就行，不用动栈的核心逻辑
• 打印逻辑和存储类型是绑定好的，不会出现乱转类型导致的内存越界、输出乱码的问题

有人可能会想，能不能不绑函数指针，直接在结构体里加个类型标记，比如int type，然后display里用switch分支判断类型？这种写法不是不能用，但每加一种类型就要改display函数的分支逻辑，代码耦合度高，扩展性远不如函数指针方案。

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