C语言可变参函数前置参数传递调用异常问题排查

你的代码有三个核心错误，直接导致可变参数读取异常：

• do_print中虽然调用va_start初始化了指向自身可变参数的va_list，但调用fmt_print时完全没有使用这个列表，仅传入了name、42两个固定参数。fmt_print内部启动可变参数遍历时，栈上对应位置没有传入"Bob"、4、"Alice"这几个实参，自然会读到重复的name值和后续垃圾数据。
• 可变参数列表不存在“拼接”能力：你期望把固定参数name、42和do_print收到的可变参数合并后传给vasprintf，但C标准库的v*printf族函数只能接收一个va_list，无法同时读取多组来源不同的参数，你写的fmt_print2试图混合传va_list和新的可变参数，本身逻辑就不成立。
• fmt_print2触发段错误的直接原因是：传入的ap在do_print中没有执行va_start初始化，是野指针，vasprintf通过野指针读内存必然崩溃。
• 原代码还存在内存泄漏问题：vasprintf返回的堆内存没有调用free释放。

按照C语言可变参数函数的标准设计模式拆分逻辑，使用open_memstream实现分段拼接内容到单个缓冲区，既满足单缓冲区传参给write的要求，也同时支持直接调用fmt_print和通过do_print包装调用两种场景：

#define _GNU_SOURCE
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>

// 内部核心实现：接收va_list参数，供所有上层逻辑复用
static int vfmt_print(const char *fmt, va_list ap)
{
    char *buf = NULL;
    int len = vasprintf(&buf, fmt, ap);
    if (len < 0) {
        return -1;
    }
    // 此处可将buf传给write做业务处理，示例用printf输出
    printf("FORMAT STRING: %s\n", fmt);
    printf("Message:\n%s[END]\n", buf);
    free(buf);
    return len;
}

// 对外暴露的可变参数版本：支持业务场景直接调用
int fmt_print(const char *fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);
    int ret = vfmt_print(fmt, ap);
    va_end(ap);
    return ret;
}

void do_print(const char *name, const char *fmt, ...)
{
    char *msg_buf = NULL;
    size_t msg_len = 0;
    // 创建动态内存流，所有写入内容会自动拼接为单个连续堆缓冲区
    FILE *stream = open_memstream(&msg_buf, &msg_len);
    if (!stream) {
        return;
    }

    // 先写入固定的Name、ID字段
    fprintf(stream, "Name:%s\r\nID:%d\r\n", name, 42);

    // 再写入用户传入的格式串和对应可变参数
    va_list ap;
    va_start(ap, fmt);
    vfprintf(stream, fmt, ap);
    va_end(ap);

    // 写入后缀换行
    fputs("\r\n\r\n", stream);
    // 关闭流时会自动刷新缓冲区，msg_buf即为完整的拼接结果
    fclose(stream);

    // 此处可直接将msg_buf传给write函数使用，示例用printf输出
    printf("FORMAT STRING: [dynamic composed]\n");
    printf("Message:\n%s[END]\n", msg_buf);
    free(msg_buf);
}

int main()
{
    do_print("TestName", "Key1:%s\r\nKey2:%d\r\nKey3:%s", "Bob", 4, "Alice");
    // 直接调用fmt_print的场景可正常运行
    fmt_print("Name:%s\r\nID:%d\r\nUsername:%s\r\nPassword:%s", "Login", 41, "test_user", "test_pwd");
    return 0;
}

方案优势 #

• 完全符合可变参数函数的va_start/va_end配对使用规范，不会出现参数读取错位、野指针访问问题。
• 最终生成的msg_buf是单块连续的堆内存，可直接传递给write等需要完整缓冲区的函数，满足业务要求。
• 核心逻辑复用性强：vfmt_print可同时支撑直接可变参数调用、传递va_list调用两类场景，不需要重复实现格式化逻辑。
• 自动处理内存分配，不需要手动预估缓冲区长度，不会出现栈缓冲区溢出问题；所有申请的堆内存都对应释放，无内存泄漏。

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