Templated polymorphism не работает

Question

У меня есть 3 класса с использованием шаблонов и 2 из абстрактного базового класса. В моем main() я применяю концепции полиморфизма, но из указателя в базовый класс объекты производного класса не инициализируются. Я не уверен, где проблема в моем коде.

#include<iostream> 
#include<conio.h> 
using namespace std; 

template<class T> 
class polygon 
{ 
protected: 
    T a,b; 
public: 
    virtual T area()=0 
} 

template<class T> 
class rectangle:public polygon 
{ 

public: 
    rectangle(T c,T d) 
    { 
     a=c; 
     b=d; 
    } 
    T area() 
    { 
     return (a*b); 
    } 
}; 

template<class T> 
class triangle:public polygon 
{ 

public: 
    rectangle(T c,T d) 
    { 
     a=c; 
     b=d; 
    } 
    T area() 
    { 
     return (.5*a*b); 
    } 
}; 

template<class T> 
class rectangle 
{ 

public: 
    rectangle(T c,T d) 
    { 
     a=c; 
     b=d; 
    } 
    T area() 
    { 
     return (a*b); 
    } 
}; 
void main (void) 
{ 

polygon<float>*ppoly=new rectangle<float>(4,5); 
cout<<ppoly->area(); 
getche(); 

} 

Answer 1

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

template<class T> 
class rectangle : public polygon<T> // polygon is a template, you need to make 
           ^^^ // rectangle from a concrete polygon type 

Answer 2

Другое дело: у вас есть 2 определения класса прямоугольника. Один, наследующий от полигона, а другой - нет.