C++中能否实现结构化绑定的分层或扁平化使用？

问题背景 #

现有如下C++代码：

std::vector<std::tuple<std::size_t, std::size_t>> data = {...};
for (const auto& [index, coords_tuple] : std::views::enumerate(data))
{
    const auto& [begin, end] = coords_tuple;
    // 使用begin和end
}

尝试以下两种更简洁的结构化绑定写法时，无法直接生效：

• 分层结构化绑定：

  const auto& [index, [begin, end]] : std::views::enumerate(data)
  

• 扁平化结构化绑定：

  const auto& [index, begin, end] : std::views::enumerate(data)
  

可行实现方案 #

为什么直接写法不生效 #

截至C++23标准，结构化绑定不支持[index, [begin, end]]这类嵌套语法，也不会自动扁平化嵌套的tuple结构。std::views::enumerate返回的是tuple-like对象（通常是std::pair<std::size_t, T>），其中第二个元素是data中的std::tuple<std::size_t, std::size_t>，无法通过一次结构化绑定完成三层元素的解构。

方案1：自定义扁平化视图适配器 #

通过自定义视图将enumerate返回的嵌套结构转换为扁平tuple，即可直接使用扁平化结构化绑定：

#include <ranges>
#include <tuple>
#include <vector>

template<std::ranges::input_range R>
auto flatten_enumerate(R&& r) {
    return std::views::enumerate(r)
         | std::views::transform([](auto&& elem) {
             auto&& [idx, nested_tuple] = elem;
             return std::tuple_cat(std::make_tuple(idx), nested_tuple);
         });
}

// 使用示例
int main() {
    std::vector<std::tuple<std::size_t, std::size_t>> data = {{0, 1}, {2, 3}, {4, 5}};
    for (const auto& [index, begin, end] : flatten_enumerate(data)) {
        // 直接使用index、begin、end
    }
    return 0;
}

方案2：简化现有解构写法 #

如果不想额外编写适配器，可以将内部结构化绑定与循环合并为更紧凑的形式：

std::vector<std::tuple<std::size_t, std::size_t>> data = {...};
for (const auto& [index, coords_tuple] : std::views::enumerate(data))
    const auto& [begin, end] = coords_tuple; // 单语句时可省略大括号
    // 使用begin和end

方案3：利用std::apply展开嵌套结构 #

借助C++17引入的std::apply，可在循环内直接展开嵌套tuple的元素：

#include <tuple>
#include <ranges>
#include <vector>

std::vector<std::tuple<std::size_t, std::size_t>> data = {...};
for (const auto& elem : std::views::enumerate(data)) {
    std::apply([&](std::size_t index, std::size_t begin, std::size_t end) {
        // 直接使用三个变量
    }, std::tuple_cat(std::make_tuple(std::get<0>(elem)), std::get<1>(elem)));
}

内容的提问来源于stack exchange，提问作者Eshy