如何将参数的数组初始值设定项迁移到 C++11 中的可变模板参数

Question

我有一些代码是在我们的平台上使用 c++11 编译器之前编写的。最后一个平台终于赶上了，我们终于可以开始使用 c++11 功能了。因此，我试图用可变模板清理一些长的 "function with N arguments via copy-pasting" 链。但是，我承认我不太清楚如何解决以下情况。我有一个 Format() 方法，它将参数打包成变体，然后将它们传递给埋在源文件中的函数（以减少膨胀、包含依赖项等）。如何将模板参数解压缩到数组中以传递给方法？

struct Variant
{
    enum ValueType { Integer, Float };
    Variant(int _value) { value._asInt = _value; valueType = Integer}
    // ... and other constructors

    union Value
    {
        int _asInt;
        // ... other types including specific user types
    } value;
    ValueType valueType;
};

// Implementation burried in source file
extern size_t FormatStringImpl(const char* format, char * dest, size_t capacity, Variant variants[], size_t numVariants);

template<class T0>
size_t Format(const char* format, char* dest, size_t capacity, T0 var0)
{
    Variant variants[] = { Variant(var0) };
    return FormatStringImpl(format, dest, capacity, variants, sizeof(variants) / sizeof(variants[0]));
}

template<class T0, class T1>
size_t Format(const char* format, char* dest, size_t capacity, T0 var0, T1 var1)
{
    Variant variants[] = { Variant(var0), Variant(var1) };
    return FormatStringImpl(format, dest, capacity, variants, sizeof(variants) / sizeof(variants[0]));
}

// and on and on

void foo()
{
    const size_t length = 1024;
    char output[length];
    Format("Values are {0}, {1}, {2}", output, length, 10, 20, 30);
}

细节有些复杂，但其要点是一种捕获 type/data 并将其拉入源文件进行处理的方法。我想在堆栈上执行所有分配，因此在此处的解包循环中使用 std::vector 将不起作用。

Answer 1

Format可以简化为：

template<class ... Ts>
size_t Format(const char* format, char* dest, size_t capacity, Ts... vars)
{
    Variant variants[] = { Variant(vars)... };
    return FormatStringImpl(format, dest, capacity, variants, sizeof...(vars));
}

我也用sizeof...(vars)

替换了sizeof(variants) / sizeof(variants[0])

如何将参数的数组初始值设定项迁移到 C++11 中的可变模板参数

How to migrate array-initializer of arguments to variardic template arguments in C++11

c++

c++11

templates

variadic-templates

template-meta-programming