如何使含std::variant的std::vector支持初始化列表构造并调用join函数？

问题代码 #

#include <unistd.h>
#include <vector>
#include <iostream>
#include <variant> // 原代码遗漏此头文件，编译时会额外报错

using namespace std;

std::string join(std::vector<std::variant<std::string, std::string_view>> input) {
  return "";
}

int main(int argc, char* argv[]) {
  string a = "hello";
  string_view b = "world";
  cout<<join(std::vector({a,b}))<<endl; // 此处报错
  vector<std::variant<string, string_view>> v;
  v.push_back(a);
  v.push_back(b);
  cout<<join(v)<<endl; // 此处正常运行
  return 0;
}

报错信息 #

candidate template ignored: deduced conflicting types for parameter '_Tp' ('string' (aka 'basic_string<char>') vs. 'string_view' (aka 'basic_string_view<char>'))
    vector(initializer_list<value_type> __il);

问题原因 #

使用std::vector({a,b})时，编译器会尝试推导vector的模板参数_Tp，但初始化列表里的a是std::string、b是std::string_view，两者无法统一为同一类型，导致推导失败。而手动创建vector<std::variant<string, string_view>>再添加元素时，编译器会自动将两种类型转换为std::variant，因此能正常运行。

解决方法 #

方法1：显式指定vector的模板参数 #

直接告诉编译器vector的元素类型是std::variant<std::string, std::string_view>，初始化列表中的元素会自动转换为该variant类型：

cout<<join(std::vector<std::variant<std::string, std::string_view>>({a,b}))<<endl;

方法2：修改join函数的参数类型 #

将join的参数改为接受std::initializer_list<std::variant<std::string, std::string_view>>，调用时可直接传初始化列表：

std::string join(std::initializer_list<std::variant<std::string, std::string_view>> input) {
  return "";
}

// 调用简化为：
cout<<join({a,b})<<endl;

方法3：使用通用模板函数 #

如果需要支持更多容器类型，可将join改为模板函数，接受任意可迭代范围（只要元素能转换为目标variant）：

template <typename Iterable>
std::string join(const Iterable& input) {
  return "";
}

// 调用示例：
cout<<join(std::vector<std::variant<std::string, std::string_view>>({a,b}))<<endl;

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