如何在 C++ 包扩展中包含多行或语句？

Question

假设我有一些像下面这样的简单代码，它只打印元组中的所有值并跟踪当前迭代。

#include <iostream>
#include <tuple>
#include <utility>

using std::cout;

int main() {
    std::tuple<int, double, size_t, unsigned, short, long long, long> my_tuple(7, 4, 1, 8, 5, 2, 9);
    //Can you spot the pattern? :)
    std::apply(
        [](auto&&... current_value) {
            size_t i = 0; //This is only executed once
            ((
                cout << i++ << ", " << current_value << "\n" //This is repeated the length of the tuple
            ), ...);
        }, my_tuple
    );
    return 0;
}

例如，如果我想只在索引大于 2 时打印元组值，我该怎么做？我不能简单地将 if 放在 cout 之前，因为不允许使用语句（在 repl.it 上得到 [cquery] expected expression）。

更一般地说，如何在包扩展中执行多行代码或语句之类的操作？

在内部使用 lambda 是可行的，例如

std::apply(
    [](auto&&... current_value) {
        size_t i = 0;
        ((
            [&current_value, &i](){
                cout << i << ", " << current_value << "\n";
                ++i;
            }()
        ), ...);
    }, my_tuple
);

但我无法想象这是最有效（或预期）的解决方案。

Answer 1

如果你单独声明 lambda 然后折叠调用它，它会更好读：

auto f = [&](auto& value){
    cout << i << ", " << value << "\n";
    ++i;
};
(f(current_value), ...);

您还可以使用 Boost.Mp11 的 tuple_for_each 来避免间接层：

size_t i = 0;
tuple_for_each(my_tuple, [&](auto& value){
    cout << i << ", " << value << "\n";
    ++i;
});

这比通过 std::apply 更直接。即使您不想使用 Boost.Mp11（您应该想要），这也很容易实现。

有一个语言提案是关于 扩展语句 的，这将使它成为 first-class 语言功能。它并没有完全成为 C++20，但可能在 C++23 中：

size_t i = 0;
template for (auto& value : my_tuple) {
    cout << i << ", " << value << "\n";
    ++i;
}

如何在 C++ 包扩展中包含多行或语句？

How can you have multiple lines or statements inside a C++ pack expansion?

c++

lambda

c++17

stdapply

pack-expansion