如何让C++函数同时兼容初始化列表与任意输入范围参数？

问题背景 #

需要实现类Toto的成员函数set_modes，用于初始化内部的std::set<std::string>，要求API能接受任意输入范围（包括临时初始化列表）。尝试基于std::ranges::input_range的模板函数时，能正常处理已实例化的容器，但无法适配临时初始化列表，Clang 16.0编译报错无法推导模板参数。

期望API与用法 #

// API定义
class Toto
{
public:
  void set_modes(??? modes_) {
    this->modes = {modes_.begin(), modes_.end()};
  }
private:
  std::set<std::string> modes;
};

// 预期用法
Toto instance;
instance.set_modes({"super", "ultra"}); // 临时初始化列表
const std::vector<std::string> other_modes {"top", "notch"};
instance.set_modes(other_modes); // 已实例化容器

尝试的实现与编译错误 #

template<std::ranges::input_range Range>
void set_modes(Range&& modes_)
{
  this->modes = {modes_.begin(), modes_.end()};
}

编译错误：

error: no matching member function for call to 'set_modes'

note: candidate template ignored: couldn't infer template argument 'Range'
  set_modes(Range&& modes)
  ^

解决方案 #

临时初始化列表不属于std::ranges::input_range范畴，因此模板参数推导失败。以下是两种可行的解决思路：

方案1：添加初始化列表重载（兼容C++11及以上） #

直接针对std::initializer_list添加重载函数，与原有range模板函数配合，覆盖所有场景：

#include <ranges>
#include <concepts>
#include <set>
#include <string>
#include <initializer_list>

class Toto
{
public:
    // 处理所有符合input_range的容器类型，元素需可转换为std::string
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_value_t<Range>, std::string>
    void set_modes(Range&& modes_)
    {
        modes = {std::ranges::begin(modes_), std::ranges::end(modes_)};
    }

    // 处理const char*类型的初始化列表
    void set_modes(std::initializer_list<const char*> modes_)
    {
        modes = {modes_.begin(), modes_.end()};
    }

    // 处理std::string类型的初始化列表
    void set_modes(std::initializer_list<std::string> modes_)
    {
        modes = modes_;
    }

private:
    std::set<std::string> modes;
};

方案2：使用C20 Concept实现单函数兼容（C20及以上） #

通过自定义Concept同时匹配input_range和initializer_list，并约束元素可转换为std::string，实现单个模板函数覆盖所有场景：

#include <ranges>
#include <concepts>
#include <set>
#include <string>
#include <type_traits>

// 自定义Concept：匹配可转换为std::string的input_range或initializer_list
template <typename T>
concept ModeInput = 
    (std::ranges::input_range<T> && std::convertible_to<std::ranges::range_value_t<T>, std::string>) ||
    (std::is_initializer_list_v<std::remove_cvref_t<T>> && 
     std::convertible_to<std::ranges::range_value_t<std::remove_cvref_t<T>>, std::string>);

class Toto
{
public:
    template<ModeInput Range>
    void set_modes(Range&& modes_)
    {
        // 使用std::ranges::begin/end统一处理range和initializer_list
        modes = {std::ranges::begin(modes_), std::ranges::end(modes_)};
    }

private:
    std::set<std::string> modes;
};

关键说明 #

• 初始化列表本身不是std::ranges::input_range，因此无法被原有模板匹配；
• 使用std::convertible_to约束元素类型，确保输入元素能被转换为std::string（支持const char*、std::string、std::string_view等类型）；
• 方案1兼容性更广，方案2更简洁，适合C++20及以上环境。

内容的提问来源于stack exchange，提问作者Timothée Chabat