c++ - 可变参数模板 initilizer_list 技巧

Question

我在 visual studio 2017 RC 上使用 C++17 编写了 for_each_tuple，我对这种实现感到震惊。

查看:

template<class fun_t, class tuple_t>
constexpr auto for_each_tuple(fun_t& fun, tuple_t&& tuple) {

    std::apply([&](auto&&... args) {
        auto l = { (fun(std::forward<decltype(args)>(args)), 0)... };
    }, std::forward<tuple_t>(tuple));
}

int main() {
    auto tup = std::make_tuple(
        1, 2, 3, 4
    );
    for_each_tuple([](auto& arg) { ++arg; }, tup);
    for_each_tuple([](auto& arg) {std::cout << arg; }, tup);

}

输出: 2345

我对这部分有严重的疑问:

auto l = { (fun(std::forward<decltype(args)>(args)), 0)... };

这只是编译器技巧还是完全标准的正确方法？

函数调用究竟是如何解析为 std::initilizer_list 的？

您认为如何使该功能更好？

Answer 1

在 C++17 中，这个:

auto l = { (fun(std::forward<decltype(args)>(args)), 0)... }; 

可以重写为:

(fun(std::forward<decltype(args)>(args)), ...);

在等待折叠表达式时，列表技巧是完全合法的(从标准的角度来看)C++11/C++14 解决方法。
基本思想是创建一个列表(或数组)，之后立即丢弃。由于逗号运算符的工作方式，该容器中充满了零。最后，参数包的展开只是强制为每个参数调用给定函数。
换句话说，你可以这样想象:

auto l = { (fun(std::forward<decltype(arg0)>(arg0)), 0), (fun(std::forward<decltype(arg1)>(arg1)), 0), (fun(std::forward<decltype(arg2)>(arg2)), 0), and so on... };