可变参数宏,用于从未知参数集合生成字符串向量

variadic macro to generate a vector of strings from a collection of unknown parameters

目前我正在开发一个类似于 C# 中的 String.Format(...) 函数的函数,只是在 C++ 中。 (String.Format(...))

但这不是我的问题。该函数工作正常但有问题的是它需要一个 vector<string> 作为参数,如果我想使用一个整数作为参数,我必须编写这样的代码:

// function prototype, the function body is not relevant here
string format(string str, vector<string> variables);

// ... some context
  // i could use to_string() here,
  // but imagine a complex type which only overrides the stream operator
  int a = 20; 
  stringstream ss;
  ss << a;
  string a_str = format("a has the value '{}'", { ss.str() });

这是一些样板代码!

因此我需要一个函数将 unknown 数据类型的集合转换为 vector<string>.

我尝试了一些这样的事情:

vector<string> vec_string(vector<void*> args) {
    vector <string> result;

    for (unsigned i = 0; i < args.size(); i++)
    {
        stringstream ss;

        // I can't dereference an object without knowing to pointer type. :(
        ss << *((int*)args[i]);

        result.push_back(ss.str());
    }

    return result;
}

// ... some context

int a = 10;
cout << format("some int: '{}'", vec_string({ (void*) &a }));

这显然只适用于整数并且非常不舒服。我觉得这样做的唯一方法是 可变参数宏,但我不知道它们是如何工作的。

here 是 link 我的 format(...) 方法。 我很抱歉我的拼写错误,但我已尽力纠正它。

使用可变参数模板可以相对轻松地完成此操作:

template <class T>
auto toString(T&& t) {
    std::stringstream s;
    s << std::forward<T>(t);
    return s.str();
}

template <class... T>
auto toStringVector(T&&... args) {
    std::vector<std::string> res {toString(std::forward<T>(args))...};
    return res;
}

这将通过 stringstream 将每个参数转换为 std::string,然后 return 包含所述字符串的 std::vector<std::string>。 (Live example.)

然后您可以按照问题的预期直接使用它,即:

std::cout << format("some text", toStringVector(any, number, of, arguments,
                                      of, any, type));

如果您使用的是 Boost,则可以跳过 toString 帮助程序而使用 boost::lexical_cast:

template <class... T>
auto toStringVector(T&&... args) {
    std::vector<std::string> res { boost::lexical_cast<std::string>(std::forward<T>(args))...};
    return res;
}

lexical_cast 在内置类型上很可能会更快。

我想通了,不知道我是如何在第一次尝试时做到的 - 没有编译器错误,但我是这样做的:

// function prototype, the function body is not relevant here
string format(string str, vector<string> variables);

template <class T>
vector<string> paramsToString(vector<string> vec, T last) {
    stringstream ss;
    ss << last;
    vec.push_back(ss.str());

    return vec;
}

template <class T, class ... REST>
vector<string> paramsToString(vector<string> vec, T next, REST ... rest) {
    stringstream ss;
    ss << next;
    vec.push_back(ss.str());

    return paramsToString(vec, rest...);
}

template <class ... ARGS>
vector<string> paramsToString(ARGS ... args) {
    return paramsToString(vector<string>(), args ...);
}

// ... some context

// ComplexType overrides the stream operator.
cout << format("an int: '{0}', and string: '{1}' and some other type: '{2}'", 
  paramsToString(10, "Hello World", ComplexType(10))); 

而且有效!即使使用自定义类型。太棒了!

谢谢大家的帮助!