使用可变参数模板定义多个方法

Question

我想以某种方式定义一个基本模板类，以便它接受可变模板参数并为每个参数定义一个虚拟方法，其中参数是参数类型。

例如Base<int, bool, string> 应该给我 3 个虚拟方法：Foo(int)、Foo(bool) 和 Foo(string)。

我尝试了以下方法：

template <typename Param>
struct BaseSingle
{
    virtual void Foo(Param) {};
};

template <typename... Params>
struct Base : public BaseSingle<Params>...
{
};

不幸的是，Foo 变得模棱两可。我无法让using BaseSingle<Params>::Foo... 语法工作。有什么办法吗？

我知道，或者，我可以递归地从 BaseSingle 继承并传入剩余的参数。是否有性能影响？

Answer 1

这是一个需要精确类型匹配的建议：

#include <utility>
#include <typeinfo>
#include <string>
#include <iostream>
#include <cstdlib>
#include <memory>

#include <cxxabi.h>

using namespace std;

// GCC demangling -- not required for functionality
string demangle(const char* mangled) {
  int status;
  unique_ptr<char[], void (*)(void*)> result(
    abi::__cxa_demangle(mangled, 0, 0, &status), free);
  return result.get() ? string(result.get()) : "ERROR";
}

template<typename Param>
struct BaseSingle {
  virtual void BaseFoo(Param) {
    cout << "Hello from BaseSingle<"
         << demangle(typeid(Param).name())
         << ">::BaseFoo" << endl;
  };
};

template<typename... Params>
struct Base : public BaseSingle<Params>... {
  template<typename T> void Foo(T&& x) {
    this->BaseSingle<T>::BaseFoo(forward<T>(x));
  }
};

int main() {
  Base<string, int, bool> b;
  b.Foo(1);
  b.Foo(true);
  b.Foo(string("ab"));
}

但是 IMO 你自己的使用递归继承的建议听起来更优雅。