Question

为了绕过GCC在libc ++中未实现的始终内联的可变参数函数，我想我可以将变量函数（比如snprintf，更确切地说，* _l变量）包装在可变参数模板中以实现类似的效果。实例化将填充可变参数函数的varargs，允许函数很好地内联。问题是，我不知道编写可变参数模板的第一件事，我当然不知道如何将模板参数转换为单独的参数。

我想要替换的代码是：

int __sprintf_l(char *__s, locale_t __l, const char *__format, ...) {
  va_list __va;
  va_start(__va, __format);
  int __res = vsprintf_l(__s, __l, __format, __va);
  va_end(__va);
  return __res;
}

我想用以下形式替换：

template<typename... Args>
int __sprintf_l(char *__s, locale_t __l, const char *__format, Args... args) {
  int __res = vsprintf_l(__s, __l, __format, args...);
  return __res;
}

这不起作用，因为展开的args...无法转换为type到va_list {aka char*}。如果没有办法，我将不得不相信霍华德并实现一个和两个参数的始终内联模板，这将有效地增加所需代码的数量。

编辑：也许将std::tuple args转换为va_list的方法可以在这里使用吗？

Answer 1

我认为你提出的问题令人困惑，所以让我重申一下。

您希望使用可变参数模板编写一个模拟内联可变函数的函数。

无法做到。 va_args通常作为堆栈中第一个参数的void *实现（注意，为了这个原因，变量函数至少需要有一个非可变参数）。

您需要操纵调用堆栈以在正确的位置获取参数。现在可能的情况是，可变参数模板函数的参数位于与va_args所需的位置相同的堆栈上，但这需要模板函数不被内联。

我强烈怀疑始终内联可变参数函数未实现的原因是因为va_args的实现假设标准堆栈布局。为了使编译器内联该函数，它需要分配堆栈空间并复制参数。它唯一能保存的是实际的jmp和ret指令。

可以做到，但内联的一半好处蒸发了。此外，编译器必须将参数传递代码（编译器代码）提升到更一般的位置，以便与常规函数调用一起使用，作为可变函数的强制内联。换句话说，它使控制流程变得非常复杂，从小到没有好处。

Answer 2

您可以实施自己的sprintf_l

int __noninlined_sprintf_l(char *__s, locale_t __l, const char *__format, ...) {
  va_list __va;
  va_start(__va, __format);
  int __res = vsprintf_l(__s, __l, __format, __va);
  va_end(__va);
  return __res;
}

而是打电话给

template<typename... Args>
int __sprintf_l(char *__s, locale_t __l, const char *__format, Args... args) {
  int __res = __noninlined_sprintf_l(__s, __l, __format, args...);
  return __res;
}

Answer 3

template<typename... T>
int
variadic(char* s, locale_t locale, const char* format, T&&... t)
{
    return __sprintf_l(s, locale, format, std::forward<T>(t)...);
}

然后调用variadic(s, l, "%d %s", 42, "Hello")会调用__sprintf_l(s, l, "%d %s", 42, "Hello")。

将可变参数模板粘贴到可变参数函数

3 个答案: