Как получить указатель на шаблонный класс?

Question

[savant]

Есть шаблонный класс и его специализации, возможно ли получить "обобщённый" указатель для разных специализаций, чтобы можно было использовать код по типу приведённого ниже?

template<int p> class A {
        public:
        int foo();
};

template<> class A<1> {
        public:
        int foo() {
                return 1;
        }
};

template<> class A<2> {
        public:
        int foo() {
                return 2;
        }
};

int main(int argc, char** argv){
        A<1> a1;
        A<2> a2;
        A* a3 = &a2;
        std::cout << a1.foo() << std::endl << a2.foo() << std::endl << a3->foo() << std::endl;
        return 0;
}

Answer 1

[savant]

В итоге получилось так:

#include <iostream>

class AA {
        public:
        virtual int foo() = 0;
};

template<int p> class A : public AA {};

template<> class A<1> :public AA {
        public:
        int foo() {
                return 1;
        }
};

template<> class A<2> : public AA {
        public:
        int foo() {
                return 2;
        }
};

int main(int argc, char** argv){
        A<1> a1;
        A<2> a2;
        AA* a3 = &a2;
        std::cout << a1.foo() << std::endl << a2.foo() << std::endl << a3->foo() << std::endl;
        return 0;
}

Answer 2

[jcmvbkbc]

возможно ли получить "обобщённый" указатель для разных специализаций

Нет, поскольку специализации шаблона -- разные типы, не связанные никакими отношениями.

Comments

[savant]

Окей, а если, допустим, есть некоторый базовый класс, от которого наследуется шаблонный класс? по типу:

class AA {
public:
int foo();
};

template class A : public AA {};

Я правильно понимаю, что в таком варианте, специализации будут являться наследниками базового класса?

[jcmvbkbc]

Понимаете правильно. Но выглядит это... странно. Ну т.е. раз уж есть наследование, то чтобы воспользоваться его преимуществами, нужны виртуальные функции. А если использовать виртуальные функции, то и шаблоны как будто не нужны.

[savant]

Шаблоны мне нужны, для compile-time проверок.