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

正如我们已经在你的设计的评论中写的那样，问题在于调用函数。

模板：递归，直到推导出适当的参数

1 个答案: