C++如何用范围for遍历任意容器并支持通用结构化绑定

C当前标准（截至C23）暂不支持你示例中for (const auto&[args...] : c)这种直接在结构化绑定中接收可变参数包的语法，但可以通过if constexpr+类型萃取的方式实现兼容序列容器、关联容器的统一遍历逻辑，不需要为两类容器分别编写遍历代码。

通用输出operator<<实现 #

核心思路是在循环内判断容器元素类型是否为std::pair（关联容器的元素类型均为pair实例），分支逻辑在编译期展开，不会产生运行时开销：

#include <iostream>
#include <type_traits>
#include <utility>

// 编译期判断类型是否为std::pair的实例
template<typename T>
struct is_pair : std::false_type {};
template<typename T1, typename T2>
struct is_pair<std::pair<T1, T2>> : std::true_type {};
template<typename T>
constexpr bool is_pair_v = is_pair<T>::value;

template <template <typename...> typename Container, typename... Args>
std::ostream& operator<<(std::ostream& s, const Container<Args...>& c) {
    for (const auto& element : c) {
        if constexpr (is_pair_v<std::decay_t<decltype(element)>>) {
            // 关联容器元素为pair，分别输出key和value
            s << element.first << ' ' << element.second << ' ';
        } else {
            // 序列容器直接输出元素
            s << element << ' ';
        }
    }
    return s;
}

适配自定义参数包接收函数 #

如果你需要把元素展开为参数包传给自定义函数，可以结合std::apply实现，和上述逻辑完全兼容：

// 你的自定义参数包处理函数
template<typename... Args>
void recv_parameter_pack_or_tuple(Args&&... args) {
    // 自定义处理逻辑示例：折叠表达式打印所有参数
    ((std::cout << args << ' '), ...);
}

// 统一遍历逻辑
template <template <typename...> typename Container, typename... Args>
void traverse_container(const Container<Args...>& c) {
    for (const auto& element : c) {
        if constexpr (is_pair_v<std::decay_t<decltype(element)>>) {
            // 将pair展开为参数包传入目标函数
            std::apply(recv_parameter_pack_or_tuple, element);
        } else {
            // 普通元素直接传入
            recv_parameter_pack_or_tuple(element);
        }
    }
}

上述实现支持所有标准库序列容器（vector、list、deque等）、关联容器（map、unordered_map、set等）的通用遍历，无需修改循环逻辑。

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