C++ 和 C 可变参数如何一起使用？

通常，将 C++11 可变参数模板功能与函数一起使用需要基于可变参数的函数参数位于函数参数列表中的最后一个。有一个例外：如果存在 C 级可变参数，它们是倒数第二个参数，这必须是最后一个。

template < typename ...Args >
int  super_printf( Something x, Args &&...a, ... );

有时我会随机想到C++，我想知道这样的功能如何实现。我首先想到了通常的递归剥离参数a，然后我想起 C 级可变参数不会级联。我必须立即将它们转为明确的 va_list。

template < typename ...Args >
int  super_vaprintf( Something x, std::va_list &aa, Args &&...a );
// Note that "aa" is passed by reference.

template < typename ...Args >
int  super_printf( Something x, Args &&...a, ... )
{
    std::va_list  args2;
    int           result;

    va_start( args2, XXX );  // (A)
    try {
        result = super_vaprintf( x, args2, std::forward<Args>(a)... );
    } catch ( ... ) {
        va_end( args2 );  // (1)
        throw;
    }
    va_end( args2 );  // (2)
    return result;

    // Can (1) and (2) be compacted with RAII using a custom deleter lambda
    // in std::unique_ptr or something?  Remember that "va_end" is a macro!
}

通常的 C++ 可变参数递归剥离发生在super_vaprintf称呼。在 (A) 行，什么取代了XXX、“一个”还是“一个……”？如果发生什么情况a是空的，确实x去那里吗？如果最后一个问题是真的，如果没有的话我们就完蛋了x;除了可变参数之外没有参数吗？ （如果这是真的，我们如何条件化代码以使用x when a是空的，并且a否则？）

...

我只是查看了 C++11 标准的副本，以获取此处的任何帮助。好像没有啊这将提示 C++ 委员会回来修复此问题，但我不确定是否有任何方法可以在 C++ 可变参数不接管所有内容的情况下调用此类函数。我错了吗;可以进行函数调用以同时使用 C++ 和 C 可变参数吗？或者就愚蠢的（模板）实例化技巧而言，混合仅对声明有用吗？

当您调用最后一个参数是包的函数时，所有参数都将成为该包的一部分。没有什么可以留下的va_args。您对显式模板参数的使用具有误导性，因为它们不是排他性的；它们只是位于隐式参数之前。

为了击败演绎，你需要一个参考：

(& super_printf<int, int>) ( 0L, 1, 2, 3, 4, 5 )

这是相当做作的，但是now你有没有什么可以传递给的问题va_start.

为了给用户提供一个合理的接口，只需在两个列表之间添加一个参数即可。

struct va_separator {}; // Empty; ABI may elide allocation.

template < typename ...Args >
int  super_printf( Something x, Args &&...a, va_separator, ... );

This super_printf将需要显式参数来定义包和显式分隔符参数。但是您也可以提供一个公共函数，该函数通过 pack 接收其所有参数，然后找到分隔符并转发到super_printf使用包含分隔符之前的包元素的显式参数列表。