Question

在this answer中，我看到了一些C ++ 11代码，我并不理解（但我想）。

在那里，定义了一个可变参数模板函数，（可能是？）接受所有传递的参数并将它们插入std::ostringstream。

这是函数（参见链接答案的完整工作示例）：

template<typename T, typename... Ts>
std::string CreateString(T const& t, Ts const&... ts)
{
    using expand = char[];

    std::ostringstream oss;
    oss << std::boolalpha << t;
    (void)expand{'\0', (oss << ts, '\0')...};
    return oss.str();
}

当我不得不猜测时，我会说，创建一个字符数组并使用\0 - 字节进行初始化，并将函数的参数插入到流中作为一方发生初始化的效果（该逗号表达式的一部分）。最后，数组包含与插入到流中的项一样多的空值。它被转换为void以避免编译器警告（未使用的变量）。与此类似：

char arr[] = {'\0', (oss << t1, '\0'), (oss << t2, '\0'), ..., (oss << tn, '\0')};

我是否试图准确描述此功能的工作原理？有人可以解释一下这里可能有什么相关的设计决策，为什么以这种方式实现它是有益的（我猜这个替代方法是编译时递归）？

Answer 1

在问题的评论部分收到一些有用的提示后，我可以找出一些要点：

使用的功能称为 pack expansion 。它完全按照OP中的描述工作：临时数组初始化时带有流插入的副作用。有关该功能的详细说明，请访问：
- http://en.cppreference.com/w/cpp/language/parameter_pack
这是一种避免递归方法所必需的解决方法，这种方法效率较低。在C ++ 17中，由于当时引入的折叠表达式，不再需要这种解决方法：
- http://en.cppreference.com/w/cpp/language/fold
- 另请参阅此问题的答案：Variadic template pack expansion
第一个数组元素被初始化\0，以避免程序在仅使用一个参数调用时形成错误。否则，数组对象将被创建为空，具有不完整类型（未知边界数组），这是非法的。进一步阅读：
- http://en.cppreference.com/w/cpp/language/array

了解这种可变模板函数如何工作

1 个答案: