如何让函数无需重载即可接受花括号初始化列表？

我编写了一个可接受任意可迭代对象/容器的函数：

auto iterate(auto&& iterable);

该函数通过范围for循环以泛型方式对其进行操作。

它可以正常处理标准容器、C风格数组和std::generator，但传入初始化列表时会失败：

iterate({1, 2, 3});

此时会报错：error: no matching function for call to ‘iterate(<brace-enclosed initializer list>)和couldn’t deduce template parameter ‘auto:57’。

如何无需编写单独重载，就让初始化列表成为推导候选？我需要仅用一个函数，因为还要编写基于迭代器的多可迭代对象工具，若为每种组合写多个函数会很麻烦。

问题的核心在于：C++模板参数推导不会将花括号初始化列表自动推导为std::initializer_list<T>，除非函数参数的类型明确声明为std::initializer_list<T>。而auto&&这种泛型参数无法触发这个推导逻辑，因为初始化列表本身不是一个具有明确类型的表达式。

如果必须使用单个函数模板实现需求，可以采用以下两种技巧：

技巧1：利用模板参数默认值引导推导 #

通过为函数添加std::ranges::range概念约束，并设置模板参数默认值，让编译器在遇到初始化列表时能自动匹配到std::initializer_list<T>：

#include <ranges>
#include <initializer_list>

template <typename T = int>
auto iterate(std::ranges::range auto&& iterable = std::initializer_list<T>{}) {
    for (auto&& elem : iterable) {
        // 你的操作逻辑
    }
}

调用iterate({1,2,3})时，默认模板参数T=int会被触发，能正常推导；如果传入其他类型的初始化列表（如{1.0, 2.0}），只需显式指定模板参数：iterate<double>({1.0,2.0})。

技巧2：使用类模板推导指引间接实现 #

通过一个辅助类模板，利用C++17及以后的类模板推导指引，让单个对外函数同时适配初始化列表和其他可迭代对象：

#include <ranges>
#include <initializer_list>

template <std::ranges::range R>
struct IterateHelper {
    explicit IterateHelper(R&& r) {
        for (auto&& elem : r) {
            // 你的操作逻辑
        }
    }
};

// 为初始化列表添加推导指引
template <typename T>
IterateHelper(std::initializer_list<T>) -> IterateHelper<std::initializer_list<T>>;

// 为其他可迭代对象添加推导指引
template <std::ranges::range R>
IterateHelper(R&&) -> IterateHelper<R>;

// 单个对外函数
auto iterate(auto&& iterable) {
    return IterateHelper(std::forward<decltype(iterable)>(iterable));
}

这种方式对外只暴露一个iterate函数，内部通过类模板的推导指引完成类型适配，无需编写多个函数重载。

说明 #

如果完全不允许任何形式的重载或辅助类，仅用单个函数模板无法直接支持iterate({1,2,3})的推导，因为C++标准不允许将花括号初始化列表推导为auto&&类型。这种情况下，只能要求用户显式转换：

iterate(std::initializer_list<int>{1,2,3});

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