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

Question

通常，将 C++11 可变参数模板功能与函数一起使用需要基于可变参数的函数参数是函数参数列表中的最后一个。有一个异常(exception)；如果存在 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”或“a...”的位置是什么？如果 a 为空会发生什么，x 会去那里吗？如果最后一个问题是真的，如果没有 x 我们是不是就完蛋了？除了可变参数之外没有参数吗？ (如果它是真的，我们如何条件化代码以在 a 为空时使用 x，否则使用 a？)

...

我刚刚查看了我的 C++11 标准拷贝以寻求任何帮助。好像没有。这会提示 C++ 委员会返回修复此问题的请求，但我不确定在没有 C++ 可变参数的情况下是否有任何方法可以调用这样的函数。我错了吗;可以进行函数调用以同时使用 C++ 和 C 可变参数吗？或者混合仅对声明有用，就愚蠢的(模板)实例化技巧而言？

Answer 1

当您调用最后一个参数是一个包的函数时，所有参数都将成为该包的一部分。 va_args 没有任何剩余。您对显式模板参数的使用具有误导性，因为它们不是排他的；它们只是在隐式参数之前。

要打败推论，你需要一个引用:

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

这是相当人为的，但是现在您遇到了没有任何东西可以传递给 va_start 的问题。

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

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

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

这个 super_printf 需要明确的参数来定义包和一个明确的分隔符参数。但您也可以提供一个公共(public)函数，它按 pack 接收所有参数，然后找到分隔符并使用包含分隔符之前的 pack 元素的显式参数列表转发给 super_printf。