将 std::tuple 的可变参数模板函数特化为返回类型

Question

我正在实现一个模板函数，它解析一个字符串并返回一个对象元组，比如

template <typename... Objects>
std::tuple<Objects...> convert2data(const std::string_view& input) {
    return std::tuple<Objects...>{ internal::popNext<Objects>(input)... } ;
}

// usage
auto data = convert2data<int, double>("1, 0.01") ;

我将预期类型指定为模板参数。现在我想从命名的元组类型中“直接”获取类型，这对用户来说可能更方便：

using MyData = std::tuple<int, double> ; // included from some header
auto data = convert2data<MyData>("1, 0.01") ;
std::cerr << std::get<int>(data) ;
// or better
MyData data2 = convert2data("1, 0.01") ;

我一直在尝试为这种情况指定专业化，例如这段代码

template <typename... Objects, class std::tuple<Objects...>>
std::tuple<Objects...> convert2data(const std::string_view& input) {
    return convert2data<Objects...>(input) ;
}

没有被编译。有没有办法为返回值中使用模板类型的模板函数定义这种特化？

Answer 1

大概是这样的：

template <typename Tuple, size_t... Is>
Tuple convert2dataHelper(const std::string_view& input,
                         std::index_sequence<Is...>) {
  return std::make_tuple(
      internal::popNext<std::tuple_element_t<Is, Tuple>>(input)...);
}

template <typename Tuple>
Tuple convert2data(const std::string_view& input) {
  return convert2dataHelper<Tuple>(
      input, std::make_index_sequence<std::tuple_size_v<Tuple>>{});
}

这允许convert2data<std::tuple<int, double>>("1, 0.01"); 语法。

---

另一种基于部分特化的方法，允许同时调用 convert2data<int, double>(...) 和 convert2data<std::tuple<int, double>>(...) 并执行相同的操作。

template <typename... Ts>
struct Convert2dataHelper {
  static std::tuple<Ts...> Do(const std::string_view& input) {
    return std::make_tuple(internal::popNext<Ts>(input)...);
  }
};

template <typename... Ts>
struct Convert2dataHelper<std::tuple<Ts...>> {
  static std::tuple<Ts...> Do(const std::string_view& input) {
    return Convert2dataHelper<Ts...>::Do(input);
  }
};

template <typename... Ts>
auto convert2data(const std::string_view& input) {
  return Convert2dataHelper<Ts...>::Do(input);
}