关键字“for”后带有省略号的 for 语句有什么作用？

Question

我看过这段代码：

template <class... TYPES>
constexpr void tuple<TYPES...>::swap(tuple& other)
    noexcept((is_nothrow_swappable_v<TYPES> and ...))
{
    for...(constexpr size_t N : view::iota(size_t(0), sizeof...(TYPES))) {
        swap(get<N>(*this), get<N>(other));
    }
}

构造for...做什么？

Answer 1

截至 2021 年，这不是标准的 C++。

这是一个提议的语法（命名为“扩展语句”），用于可以描述为或多或少类似于if constexpr的循环：编译时循环构造，在语法上展开。 与普通循环相比，它的优势在于它允许迭代异构类型的结构。

这种语法将允许编写如下循环：

std::tuple<int, const char *, double> t { 42, "hello", 69.420 };

for... (auto x : t) {
    std::cout << x << std::endl;
}

意思大致相同：

std::tuple<int, const char *, double> t { 42, "hello", 69.420 };

{
    auto x = std::get<0>(t);
    std::cout << x << std::endl;
}
{
    auto x = std::get<1>(t);
    std::cout << x << std::endl;
}
{
    auto x = std::get<2>(t);
    std::cout << x << std::endl;
}

在上面的for...循环中，在每次迭代中， x变量都有不同的类型； 可以说，每次迭代都有一个单独的、独立的变量。 在普通循环中，变量的类型在迭代之间是共享的，这意味着循环不能通过类型检查。

这种语法最初是在P1306R0中提出的，它还描述了一个相关但不同for constexpr （ 以下修订将两者统一起来）。 P1858R1 为其引入了另一种语法template for ，取代了省略号语法。

显然预计此功能将包含在 C++23 中。