c++ - 模板:递归直到推导出适当的参数

Question

我有一些包含数据的文件，以及一个可以识别文件数据类型的函数 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>}’

我哪里错了？

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

Answer 1

Here The Solution .

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);
  }
}

正如我们已经在您的设计作品的评论中所写，问题出在调用函数中。