CentOS7下GCC4.8.5：va_list变量地址赋值触发不兼容指针类型错误

问题根源：va_list的底层实现不是简单指针 #

在你使用的GCC 4.8.5中，va_list并非直接定义为指针类型，而是一个不透明的数组类型（比如x86架构下实际定义类似typedef char* va_list[1];）。这种设计是为了适配不同架构的可变参数处理逻辑，但会引发指针类型匹配问题：

• 函数参数的数组退化：当你把va_list类型变量（比如my_printf里的ap）作为参数传递给my_vprintf时，数组类型会被C语言隐式转换为指向数组第一个元素的指针。也就是说，my_vprintf里的ap参数实际类型是指向va_list元素的指针（比如如果va_list是char*[1]，这里的ap就是char**），而非原本的数组类型。
• 指针类型不匹配：此时取&ap得到的是指向该指针的指针（比如char***），但结构体里的pAP成员类型是va_list*——也就是指向va_list数组的指针（比如char*(*)[1]）。这两种指针类型完全不同，编译器因此报出“assignment from incompatible pointer type”错误。

解决方法 #

根据需求，有两种常见的修正方式：

方式1：直接传递va_list的指针 #

修改my_vprintf的参数为va_list*，调用时传入变量地址，确保类型完全匹配：

#include <stdarg.h>

struct foo {
  va_list *pAP;
  const char *fmt;
};

void format_output( struct foo *pFoo );

void my_vprintf( const char *fmt, va_list *ap )
{
  struct foo x;
  x.fmt = fmt;
  x.pAP = ap; // 类型匹配，无错误
  format_output( &x );
}

void my_printf( const char *fmt, ... )
{
  va_list ap;
  va_start( ap, fmt );
  my_vprintf( fmt, &ap ); // 传入va_list变量的地址
  va_end(ap);
}

方式2：在结构体中存储va_list变量并复制 #

如果需要在结构体中保存完整的可变参数上下文，可以直接定义va_list成员，用va_copy复制参数（注意使用后要调用va_end清理）：

#include <stdarg.h>

struct foo {
  va_list ap;
  const char *fmt;
};

void format_output( struct foo *pFoo )
{
    va_list tmp;
    va_copy(tmp, pFoo->ap);
    // 这里使用tmp处理可变参数
    va_end(tmp);
}

void my_vprintf( const char *fmt, va_list ap )
{
  struct foo x;
  x.fmt = fmt;
  va_copy(x.ap, ap); // 复制va_list上下文
  format_output( &x );
  va_end(x.ap); // 清理复制后的va_list
}

void my_printf( const char *fmt, ... )
{
  va_list ap;
  va_start( ap, fmt );
  my_vprintf( fmt, ap );
  va_end(ap);
}

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