2

我正在尝试为像 printf 这样的 C 风格的可变参数函数编写一个包装器，它添加了一些额外的参数，但我遇到了麻烦：

void printf(char* fmt, ...);  // the thing I'm trying to wrap

void wrapper(char* fmt, ...)
{
    printf(fmt, extra_arg1, extra_arg2, /* the variadic arguments */);
}

但我写/* the variadic arguments */什么？

即使我要包装的函数有一个需要 a 的版本va_list，我也做不到：

void vprintf(char* fmt, va_list args);

void wrapper(char* fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, extra_arg1, extra_arg2, args);
    va_end(args);
}

extra_arg1，extra_arg2并且args不要神奇地变成va_list期望的vprintf。

我知道我可以编写一个宏并使用__VA_ARGS__：

void printf(char* fmt, ...);  // the thing I'm trying to wrap

#define wrapper(fmt, ...) printf(fmt, extra_arg1, extra_arg2, __VA_ARGS__)

但我试图避免这种情况并将包装器编写为函数。有没有办法做到这一点？

（顺便说一句，我也不能使用 C++11 可变参数模板。）

4

1 回答 1

0

我认为使用宏没有任何问题，但这只是我:)

无论如何，有办法做到这一点。如果您不关心可移植性，则可以使用内联汇编。可变参数函数使用 cdecl 调用约定，这意味着调用者负责将参数压入堆栈，然后在被调用者返回后清理堆栈。因此，一个简单的 printf 调用

printf("%d, %d, %d", 1, 2, 3)

看起来像：

char format[] = "%d, %d, %d";
__asm {
  push 3
  push 2
  push 1
  lea  eax, [format]
  push eax
  call printf
  add  esp,10h
}

请注意，最后推送的参数用于va_start获取堆栈上的地址并va_arg仅遍历参数。

您可以使用相同的行为并再次推送可变参数：

char new_format[] = "%d, %d, %d, %d, %d";
wrapper(new_format, ...) {
  char *va = addressof(new_format)+sizeof(char*);  // first argument after new_format
  int i;

  __asm {
    push extra2
    push extra1
  }
  for(i=0; i < num_of_arguments; i++)
     __asm push, va += sizeof(argument)
  // we just pushed [3, 2, 1] in our example
  __asm {
    lea  eax, [new_format]
    push eax
    call printf
    add  esp,18h   // <-- We now have to discard more stuff on the stack
  }
}

请注意，您必须事先知道堆栈上有多少个参数以及每个参数的大小（printf 从格式字符串中计算出来）。

您可以模仿 printf 并从格式字符串（或您要包装的任何其他函数）中提取相关信息。

现在，如果您对类型一无所知，您仍然可以通过在堆栈上为变量腾出空间并复制内存（从堆栈到堆栈）来摆脱它：

__asm {
  push extra2
  push extra1
  sub esp, total-bytes-needed
}
memcpy(esp, block-of-memory, size-of-block);

这是相当麻烦且不可移植的解决方案，但它应该可以工作。

希望有帮助！

于 2013-11-21T22:36:10.343 回答