Шаблоны.

[Андрей]

Могу ли я наследовать класс от шаблона следующим образом?

Код

C++ (Qt)
template <class Ti, class Tp>
class VVectorIndex: public QObject
{  
public:
    VVectorIndex(QObject* parent = 0);
 
    virtual ~VVectorIndex();
    Ti getIndex(Tp*);
    Tp* getPointer(Ti);
    Ti createIndex(Tp* word);
    bool eraseIndex(Ti);
    Ti count(){return Indexes.count();};
    virtual unsigned char getWordVersion(Ti)=0;
    virtual bool incrWordVersion(Ti)=0;
    virtual char getGroupVersion()=0;
    virtual bool incrGroupVersion()=0;
  protected:
    QVector <Tp*> Indexes;
  private:
    virtual bool setWordVersion(Tp*word, unsigned char vers){return false;};
 
    char groupVersion;
    Ti badIndexes;
};
 
class VWord;
 
class VWordIndex: public VVectorIndex<unsigned short, VWord>
{
public:
    VWordIndex(QObject* parent = 0):VVectorIndex<unsigned short, VWord>(parent){};
    ~VWordIndex();
    unsigned char getWordVersion(unsigned short);
    bool incrWordVersion(unsigned short);
    char getGroupVersion();
    bool incrGroupVersion();
 
  private:
    bool setWordVersion(VWord *word, unsigned char vers);
};
 

[mutineer]

Ну вроде все в порядке, можешь наследоваться. Только не уверен нормально ли будет форвард-декларэйшн VWord. А из-за чего вопрос? компил ругается?

[Igors]

"Пользуйтесь тегом для оформления кода" (а то читать неудобно)
Indexes = Indices (а лучше просто везде Index)

По существу: унаследоваться можете, и getWordVersion, incrWordVersion будут работать, но "задействовать их в виртуальных целях" не получится

[Андрей]

Ругается...

Решил шаблоны освоить. Написал шаблон. Шаблон типонезависимый и не знает полей классов Ti и Tp. Описал частично его методы, понял что кое-где гораздо удобней, когда класс знает типы классов Ti и Tp.
 
Решил что нужно от него наследовать класс и в классе переопределять некоторые методы в зависимости от типов.

Вынес шаблон в отдельные cpp/h. Планирую описать там два шаблона VVectorIndex и VListIndex.

При компиляции выдаёт

Код:

ошибка: undefined reference to `VVectorIndex<unsigned short, VWord>::createIndex(VWord*)'

И так на каждую задействованную в коде функцию-метод шаблона, в том числе на

Код:

VWordIndex(QObject* parent = 0):VVectorIndex<unsigned short, VWord>(parent){};

выдаёт

Код:

ошибка: undefined reference to `VVectorIndex<unsigned short, VWord>::VVectorIndex(QObject*)'

[Андрей]

Т.е. вообще нельзя "задействовать методы в виртуальных целях" наследуя от шаблона. А деструктор?

[m_ax]

Т.е. вообще нельзя "задействовать методы в виртуальных целях" наследуя от шаблона. А деструктор?

Да можно, нормально там всё) 
А ошибки у вас выскакивают из-за того, что объявление и реализация шаблонных классов/функций должны нах. в одной единице трансляции. Перенесите из cpp всё обратно в h и всё заработает)

[Igors]

Да можно, нормально там всё) 

Интересно как. Прошу показать как задействовать напр метод getWordVersion (принимающий template аргумент) в виртуальном механизме

[m_ax]

Да можно, нормально там всё) 

Интересно как. Прошу показать как задействовать напр метод getWordVersion (принимающий template аргумент) в виртуальном механизме

Да легко:

Код

C++ (Qt)
template <class T>
class base
{
public:
    base() {}
    virtual ~base() {}
 
    virtual void print(const T& x) const = 0;
 
};
 
class derived : public base<double>
{
public:
    virtual void print(const double &x) const {
        std::cout << "derived.print, x = " << x << std::endl;
    }
};
 
 
int main()
{
    base<double> *base = new derived;
 
    base->print(4.5);
 
    return 0;
}
 

[Igors]

Да легко:

Что легко-то? В Вашем примере virtual хоть есть хоть нету - все работает одинаково, виртуальный механизм никак не используется

[m_ax]

Да легко:

Что легко-то? В Вашем примере virtual хоть есть хоть нету - все работает одинаково, виртуальный механизм никак не используется

Как это не используется?
А как же вот эта строчка:

Код

C++ (Qt)
 base<double> *base = new derived;
 

И далее:

Код

C++ (Qt)
 base->print(4.5);
 

Полиморфизм в чистом виде)


Да, кстатии, архитектура libssc на этом построена)

ЗЫ. Обычно, то, что хочет реализовать автор ветки, делают немного по другому.. Возможно следует покурить в сторону type_traits (классов характеристик)

[Igors]

Как это не используется?
А как же вот эта строчка:

Код

C++ (Qt)
 base<double> *base = new derived;
 

И далее:

Код

C++ (Qt)
 base->print(4.5);
 

Полиморфизм в чистом виде)

Так он заканчивается на <double>, напр

Код

C++ (Qt)
base<double> *baseD = new derivedD;
base<float> *baseF = new derivedF;
 

Хотя оба могут делать print - это разные методы (полиморфные но никак не связанные между собой) и использовать их в общем виртуальном механизме не удается. Эффект virtual равен нулю  

ЗЫ. Обычно, то, что хочет реализовать автор ветки, делают немного по другому.. Возможно следует покурить в сторону type_traits (классов характеристик)

Расскажите, мне тоже интересно

[m_ax]

Так он заканчивается на <double>, напр

Код

C++ (Qt)
base<double> *baseD = new derivedD;
base<float> *baseF = new derivedF;
 

Хотя оба могут делать print - это разные методы (полиморфные но никак не связанные между собой) и использовать их в общем виртуальном механизме не удается. Эффект virtual равен нулю  

Так сами классы base<double> и base<float> - это два совершенно разных класса с точки зрения компилятора.

Код

C++ (Qt)
Расскажите, мне тоже интересно
 

Об этом уже много написано.. Типичный пример это std::numeric_limits<T>

Если в двух словах:

Код

C++ (Qt)
template <class T>
struct my_type_traits
{
typedef T type;
typedef T* pointer_type;
typedef const T& const_reference;
typedef T& reference;
 
// Может содержать свой методы, но обычно это статические функции..
 
static void some_method(const_reference x) { std::cout << "my_type_traits::some_method, x =" << x << std::endl;  }
//...
};
 
// Можно сделать специализациию на my_type_traits или написать свой
template<>
struct my_type_traits<double>
{
//...
static void some_method(const_reference x) { std::cout << " my_type_traits<double>, x = " << x << std::endl; }
};
 
template <class T, class Traits = my_traits<T> >
class my_class 
{
public:
typedef typename Traits::type type;
typedef typename Traits::pointer_type pointer_type;
typedef typename Traits::const_reference const_reference;
typedef typename Traits::reference reference;
//...
type my_method(const_reference x) { 
    Traits::some_method(x);
   //...   
    return x;
} 
// Ну и т.д.
};
 
//Используется это так
 
my_class<int> mi; 
mi.some_method(2); 
 
my_class<double> md;
md.some_method(3.14); 
 
 

Это делает код более гибким, поскольку можно отдельно (независимо) писать свои типы характеристик, определяя их индивидуальное поведение, причём интерфейс класса, который их использует остаётся неизменным.

В книжке "Философия С++" (2 часть) есть хороший пример, как это используется..

[Андрей]

Спасибо. Скомпилил. На удивление больше ошибок не было. Хотя правил код, который писал в последний раз неделю назад, правил особо не вдумываясь:-)))

Только немного неудобно, когда всё в одном h-нике. Хорошо, хоть VWordIndex описал в другом h-нике отдельно от его срр кода.

Созрею, почитаю - сделаю через traits.

[m_ax]

Спасибо. Скомпилил. На удивление больше ошибок не было. Хотя правил код, который писал в последний раз неделю назад, правил особо не вдумываясь:-)))

Только немного неудобно, когда всё в одном h-нике. Хорошо, хоть VWordIndex описал в другом h-нике отдельно от его срр кода.

Созрею, почитаю - сделаю через traits.

Да может в вашей задаче нужно делать не обязательно через traits.. Всё зависит от постановки конкретной задачи.
Но почитать об этом патерне всё равно стоит)) 

[mutineer]

Решил шаблоны освоить. Написал шаблон. Шаблон типонезависимый и не знает полей классов Ti и Tp. Описал частично его методы, понял что кое-где гораздо удобней, когда класс знает типы классов Ti и Tp.
 
Решил что нужно от него наследовать класс и в классе переопределять некоторые методы в зависимости от типов.

Мне кажется, или тут правда можно обойтись специализацией шаблона?