2

我遇到了这个 post variadic template function to concatenate std::vector 容器，建议使用以下语法：

template<typename T>
void append_to_vector(std::vector<T>& v1, const std::vector<T>& v2) {
  std::cout << v2[0] << std::endl;
  for (auto& e : v2) v1.push_back(e);
}


template<typename T, typename... A>
std::vector<T> concat_version3(std::vector<T> v1, const A&... vr) {
    int unpack[] { (append_to_vector(v1, vr), 1)... };
    (void(unpack));
    return v1;
}

我开始玩弄它以了解它是如何工作的，因为我还没有看到这个：

int unpack[] { (append_to_vector(v1, vr), 0)... };
(void(unpack));

似乎这是某种动态生成的初始化列表，也有副作用？我也对0以上无关紧要的事实感到困惑。我替换了 -1 和 5，这些值中的每一个也都工作得很好。

那么有人可以告诉我这种技术/语法的名称以及上面两行中到底发生了什么吗？如果我错过了相关的 SO 帖子，我将非常感谢任何指点并道歉。

4

1 回答 1

5 
int unpack[] { (append_to_vector(v1, vr), 1)... };
//        ^^ |                          |   ||| |    array of ints
//           ^                          |    |  ^    array initializer
//                                      ^    |       comma operator
//                                          ^^^      pack expansion

这是创建一个 s 数组，int其中包含与参数 pack 的大小一样多的元素vr。数组中的每个元素都是1，这是逗号运算符在计算两个参数后返回的值。最后的省略号表示正在完成参数包的包扩展。vr

因此，如果您将函数调用为concat_version3(v1, v2, v3)所有参数都是vectors，那么上面的表达式将导致

int unpack[]{ (append_to_vector(v1, v2), 1), (append_to_vector(v1, v3), 1) };

在花括号初始化列表中评估表达式的好处是评估顺序是固定的，并且从左到右发生。

§8.5.4/4 [dcl.init.list]

在支撑初始化列表的初始化列表中，初始化子句，包括任何由包扩展 (14.5.3) 产生的子句，都按照它们出现的顺序进行评估。

因此，您可以保证将其v2附加到v1before v3，这就是您想要的。

(void(unpack));

这只是避免编译器发出未使用的变量警告的一种方法。

现在，我会unpack以不同的方式编写您的初始化。

int unpack[] { 1, (append_to_vector(v1, vr), 1)... };
//             ^^

在原始版本中，如果您将函数调用为concat_version3(v1)，即使用空参数包，代码将无法编译，因为您将尝试创建一个零大小的数组，添加额外的元素可以解决该问题。

此外，如果您在不知道返回类型是什么的更通用代码中使用上述表达式append_to_vector，那么您还需要防止它返回重载逗号运算符的类型的可能性。在那种情况下，你会写

int unpack[] { 1, (append_to_vector(v1, vr), void(), 1)... };

通过在两者之间添加void()表达式，您可以确保没有选择重载的逗号运算符，并且始终调用内置的逗号运算符。

最后，如果你有一个理解折叠表达式的编译器，你可以取消整个数组的技巧，只需编写

template<typename T, typename... A>
std::vector<T> concat_version3(std::vector<T> v1, const A&... vr)
{
    (void)(((append_to_vector(v1, vr), void()), ...));
    return v1;
}

现场演示

注意：void由于clang 错误，强制转换后的额外括号是必需的。

于 2015-11-10T01:01:16.273 回答