Question

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

E.g。 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你自己使用递归继承的建议听起来更优雅。

使用variadic模板中的参数定义多个方法

1 个答案: