Как определить виртуальные методы в полной специализации шаблона?

Question

[kriptonus]

Добрый день. Подскажите в решении вопроса:
есть следующая структура классов

class Base
{
  virtual void f1()=0;
  virtual void f2()=0;
  virtual void f3()=0;
};

template <typename T, typename U>
class Derived:public Base
{
  
};

template <typename T>
class Derived<T, ulong>
{
void f1() override { std::cout<<"f1 partial spec ulong";}
};

template <>
class Derived<SomeType, ulong>
{
void f2() override { std::cout<<"f2 full spec ulong";}
void f3() override { std::cout<<"f3 full spec ulong";}
};

int main()
{
  Derived<SomeType, ulong> d;
}

Приводит к ошибке компиляции. Получается, что при полной специализации методы частичной специализации не используется и все виртуальные методы необходимо определять в полной специализации? Если же мне нужно определить общий метод, характерный для частичной специализации, но он еще и виртуальный, то нужно подкладывать какую-то функцию обертку?

Такого механизма, как сделать полную специализацию только метода не существует, как я понимаю (указать только частичную специализацию, а полную специализацию сделать так):

template <>
Derived<SomeType, ulong>::f2()
{
...
}

Comments

[Дмитрий]

Получается, что при полной специализации методы частичной специализации не используется и

Полная специализация это полностью новый тип, откуда у него будут виртуальные методы без наследования от базового? Каждую специализацию надо заново наследовать от базового класса. Сначала специализируй частично, давая общие члены, а потом в конце добивай уже полной специализацией недостающие куски.

Если зачем-то нужна прям полная специализация и жить без неё нельзя, то можно вынести функционал одного фиксированного куска специализации в отдельный mixin и подмешивать его как к частичной, так и к полной специализации.

[Евгений Шатунов]

kriptonus , ты лучше расскажи какую задачу ты хочешь вот таким кодом решить.
Написанное странно выглядит даже не с т.з. языка, а с т.з. применения. Этот код непонятный и выглядит так, будто ты этим кодом хочешь закрыть никак с этим кодом не связанную задачу. Разумеется, даже если тебе что-то подскажут, у тебя ничего в результате не выйдет.
Поэтому я и прошу рассказать о самой задаче.

[Василий Мельников]

Как минимум нужно унаследовать от базового класса всё

template <typename T, typename U>
class Derived : public Base

А как решение сделать несколько базовых классов или интерфейсы прослойку из базового.

class Interface
{
	virtual void f1() = 0;
	virtual void f2() = 0;
	virtual void f3() = 0;
};

/// А лучше два интерфейса один для f1 второй  f2,f3

class Base : public Interface
{
	virtual void f1() {};
	virtual void f2() {};
	virtual void f3() {};
};

template <typename T, typename U>
class Derived : public Base
{

};

template <typename T>
class Derived<T, ulong> : public Base
{
	void f1() override { std::cout << "f1 partial spec ulong"; }
};

template <>
class Derived<SomeType, ulong> : public Base
{
	void f2() override { std::cout << "f2 full spec ulong"; }
	void f3() override { std::cout << "f3 full spec ulong"; }
};

int main()
{
	Derived<SomeType, ulong> d;
}

Answer 1

[Wataru]

Можно каждый метод отдельно в шаблон заворачивать, тогда не надо будет их все в каждой специализации копировать.