具有可变参数模板的基于模板的类中的完美转发？

Question

我尝试实现模板基类。它采用字符串和n个参数，并基于字符串，使用完全转发将所有给定参数传递给某个函数。我为此编写了示例代码。

template <typename T, typename ... Args>
class temp {
    public:
        temp(){};
        ~temp(){};
        T main_fn(const std::string& a, Args&& ... args){
            if(a == "add"){
                return add(std::forward<Args>(args)...);
            }
            else if(a == "sub"){
                return sub(std::forward<Args>(args)...);
            }
            else{
                std::cout << "abc" << std::endl;
            }     
        }  
};

int main(){

  std::cout << std::endl;
  temp<int>* temp_obj = new temp<int>();
  const std::string fn = "add";
  int result = temp_obj->main_fn(fn, 1,2,3);
  std::cout << result << std::endl;

}

[当我尝试编译此代码时，出现以下错误。

 In function 'int main()':
70:43: error: no matching function for call to 'temp<int>::main_fn(const string&, int, int, int)'
70:43: note: candidate is:
40:11: note: T temp<T, Args>::main_fn(const string&, Args&& ...) [with T = int; Args = {}; std::string = std::basic_string<char>]
40:11: note:   candidate expects 1 argument, 4 provided

任何帮助将不胜感激。

Answer 1

temp<int>具有成员函数main_fn(const std::string& a)，因为在Args...中没有其他的temp<int>。

如果要对T上的类进行参数化，而对更多Args...上的方法进行参数化，则可以这样编写：

#include <iostream>
#include <string>
template <typename T>
class temp {
    public:
        temp(){};
        ~temp(){};
        template <typename ... Args>
        T main_fn(const std::string& a, Args&& ... args){
            return 42;
        }  
};

int main(){

  std::cout << std::endl;
  temp<int>* temp_obj = new temp<int>();
  const std::string fn = "add";
  int result = temp_obj->main_fn(fn, 1,2,3);
  std::cout << result << std::endl;

}