使用初始化列表的 C++ 变量参数

C++ variable arguments using initializer lists

假设以下代码是一个小型 sprintf 替代品。 (_itoa 之类的只是用来保持代码简短。)

#include <cstdlib>
#include <string>
class Arg {
public:
    Arg(const std::string& s) :m_str(s) {}
    Arg(const char* s) : m_str(s) {}
    Arg(int digi, double number)  {char buf[128]; m_str = _gcvt(number, digi, buf);}
    operator const std::string& ()const { return m_str; }
private:
    std::string m_str;
};

class Format {
public:
    Format(/*const char* format, */std::initializer_list<Arg> args); // see below
    const std::string& str()const { return m_str; }
private:
    std::string m_str;
};

Format::Format(/*const char* format, */std::initializer_list<Arg> args) {
    auto arg = args.begin();
    auto format = std::string(*arg++);
    for(const char* c = format.c_str(); *c!='[=10=]'; ++c) {
        if(*c=='%') { m_str+=*arg++; }
        else { m_str+=*c; }
    }
}


int main() {

    std::string test1 = Format{"test Double:% String:%", {5, 456.78}, "foo"}.str();

    // I want to make this work. See the braces.
    std::string test2 = Format("test Double:% String:%", {5, 456.78}, "foo").str();

    return 0;
}

你看,我想传递参数,仅限于 "Arg" 类型,但使用使用例如varadic 模板而不是 initializer_list<> 以获得更好的可读性。

我试过了:

    template<typename... T>
    Format(T&& ... args) : Format(std::forward<Args>(args)...) {}

但我得到:

error C2440: '<function-style-cast>': cannot convert from 'initializer list' to 'Format'
note: No constructor could take the source type, or constructor overload resolution was ambiguous

你可以这样做:

template<typename... T>
Format(T&& ... args) : Format({std::forward<T>(args)...}) {}}

但是在调用中你应该手动指出第二个参数是Arg,像这样:

std::string test2 = Format("test Double:% String:%", Arg{5, 456.78}, "foo").str();

example

首先,你应该在成员初始化列表中使用大括号,转发给采用std::initializer_list的构造函数。

template<typename... T>
Format(T&& ... args) : Format{std::forward<T>(args)...} {}
//                           ^                        ^

其次,给定Format("test Double:% String:%", {5, 456.78}, "foo"),不幸的是像{5, 456.78}这样的braced-init-list不能在模板类型推导中推导出来,它没有类型。您可以明确指定类型,例如

std::string test2 = Format("test Double:% String:%", Arg(5, 456.78), "foo").str();
//                                                      ^         ^

std::initializer_list 需要 {} 而不是 ()

{5, 456.78} 没有类型,无法推导出模板。

保持旧重载语法的方法:

Format(Arg arg0) : Format(std::initializer_list{arg0});
Format(Arg arg0, Arg arg1) : Format({arg0, arg1});
Format(Arg arg0, Arg arg1, Arg arg2) : Format({arg0, arg1, arg2});
// ... Up to some limit