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

Question

Т.е. я получил 2 специализированных типа:

template <class Type, class Base> struct Instruction {};

для выбора во время компиляции соответствующего типа из списка типов.

например:

template <class Base> struct Instruction<Int2Type<Add_Type>, Base > 
{
   void add() {}
};

template <class Base> struct Instruction<Int2Type<Mul_Type>, Base > :
       Instruction<Int2Type<Add_Type>, Base >
{
   void mul() 
   {
      add(); ???? <== not working (not resolved)
   }
};

Какое решение для этого?

Спасибо

Мартин

Answer 1

add() не зависит ни от каких параметров шаблона (это не «зависимое имя»), поэтому компилятор не ищет его в шаблонном базовом классе.

Один из способов прояснить компилятору, что add() должен быть функцией / зависимым именем, - это явно указать this-> при использовании функции:

void mul() 
{
   this->add();
}

this неявно зависит от параметров шаблона, что делает add зависимым именем, которое ищется в шаблонном базовом классе.

См. Также эту запись C ++ FAQ lite и следующие / предыдущие.

Answer 2

Получил с помощью предложения "using base method", например:

using base::add;

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

Извините за вопрос о чуваке, который где-то забывает голову.