模板:递归直到推导出合适的参数

Templates: recurse until appropriate parameters are deduced

本文关键字：参数 递归 模板      更新时间：2023-10-16

我有一些包含数据的文件，以及一个可以识别文件数据类型的函数peekType()。各种功能将取决于数据类型的结果。要考虑的文件数量不应该是硬编码的。

我想我应该传递一个文件名列表给一个函数，然后递归地将这些文件名从参数包中弹出，直到定义匹配某个基本情况，此时基本情况将接管。像这样:

//Base case
template<class tA, class tB>
int PerformAlgorithm(std::vector<tA> a, std::vector<tB>){
  //Do stuff
}
//Recursive part
template<typename... Arguments >
int PerformAlgorithm(std::string inputfile, Arguments ... args){
  switch(peekType(inputfile)){
    case TYPE_BYTE:    {
      std::vector<uint8_t> arr;
      return PerformAlgorithm(args..., arr);
    }
    case TYPE_FLOAT:  {
      std::vector<double> arr;
      return PerformAlgorithm(args..., arr);
    }
    default:
      std::cerr<<"Unrecognised type!"<<std::endl;
      return -1;
  }
}
PerformAlgorithm("fileA", "fileB");

不幸的是，上面的内容永远不会达到基本情况，从而产生以下问题:

cannot convert ‘args#0’ (type ‘std::vector<double>’) to type ‘std::__cxx11::string {aka std::__cxx11::basic_string<char>}’

我哪里错了?

基于模板元编程阶乘示例的另一种尝试也失败了。

解决方案。

template<typename A, typename B>
void foo(const std::vector<A>& va,
         const std::vector<B>& vb) {
  std::cout << "-----The end of recursion-----n"
      "Type VectorA: " << typeid(A).name() << "n"
      "Type VectorB: " << typeid(B).name() << "n"
      "----------------------------------------n";
}
template<typename... Args>
void foo(std::string str, Args... args) {
  int number = give_me_anumber();
  if (number == 0) {
    std::vector<int> vector;
    foo(args..., vector);
  } else if (number == 1) {
    std::vector<double> vector;
    foo(args..., vector);
  }
}

正如我们在评论中所写的那样，问题出在调用函数上。

相关文章：