c++ - 可变模板initilizer_list技巧

我已经在 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 的？

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

最佳答案

在 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... };

关于c++ - 可变模板initilizer_list技巧，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41620877/