rosevehif

题目如下:

template<class ...Args>
auto Reverse(Args&&... args) {
    std::vector<std::common_type_t<Args...>> res{};
    bool tmp{ false };
    (tmp = ... = (res.push_back(args), false));
    return res;
}

首先看函数名也知道是逆序传入的参数包,主要是分析代码。


考虑以下调用:

auto vec = Reverse(1, 2, 3, 4.);
for (const auto n : vec) {
    std::cout << n << ' ';
}

对于

std::vector<std::common_type_t<Args...>> res{};

std::common_type_t 用于寻找传入类型的公共类型,这里传入的是 3个 int 以及 1个 double 类型参数,故 res 的类型是 std::vector<double>

对于

bool tmp{ false };
(tmp = ... = (res.push_back(args), false));

首先定义一个 bool 变量,单纯用于后续包展开。

观察折叠表达式,按照国王的教诲,观察到 = ... = ,其次 ... 在参数包 args 左侧,故该表达式是二元左折叠表达式

展开后大致为:

((((tmp = (res.push_back(1), false)) = (res.push_back(2), false)) = (res.push_back(3), false)) = (res.push_back(4.), false));

考虑 求值顺序

对于 , 运算符,从左到右求值,这里只是 push_back(arg) 并且返回 false 给左侧整体进行赋值。

对于 = 运算符,右侧的值计算和副作用先于左侧。所以该表达式整体也从右侧开始执行,按传入的参数包逆序 push_backres

最后的输出是:

4 3 2 1

Last updated