Определите несколько методов с параметрами из шаблонов переменных

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 ваше собственное предложение с использованием рекурсивного наследования звучит более элегантно.