Передача класса в качестве параметра шаблона

@Sasha760 · Регистрация: 03.05.2013

Author24 — интернет-сервис помощи студентам

Имеется два класса, один это однонаправленный итератор, другой это двунаправленный. Двунаправленный получается из однонаправленного. Вот как было

C++

template <class T> class myFRWDit
{
T *FRWit;
public:
 myFRWDit(T *a=NULL):FRWit(a) { } 
//всякие методы
};
template <class T > class myBDit
{
myFRWDit<T> current; //текущий элемент
myFRWDit<T> start; //начальный элемент
int dist; //сколько от текущего до начала
  public:
        myBDit(myFRWDit <T> &FRWit)
        {
            current=FRWit;
            start=FRWit;
            dist=0;
 
        }
//и тут всякие методы
};

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

@rikimaru2013 · 24.05.2015, 17:36

C++

template <class T>
class A
{   
public:
    typedef T innerType;
    T a;
};
 
template <class T>
class B
{
    T current;
    T start;
    A::innerType value;
};
int main()
{
    B<A<int>> arr;
}

@hoggy · 24.05.2015, 17:40

Сообщение от Sasha760

Но мне нужно, чтобы двунаправленный получал в качестве параметра шаблона однонаправленный

то бишь, вы просто хотите ограничить возможные параметры шаблона myBDit, так, что бы им мог быть только и только инстанс шаблона myFRWDit?

http://rextester.com/NCYLG28755

C++

#include <iostream>
#include <cstddef>
 
template<class T> class myFRWDit
{
    T *FRWit;
public:
    typedef T value_type;
    
    
    myFRWDit(T *a=NULL):FRWit(a) { } 
};
 
 
template <class T > class myBDit
{
    T current;
    T start;
    size_t dist; 
    
    
    static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    static_assert(
        std::is_same<myFRWDit< typename T::value_type >, T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    
public:
    myBDit(const T& FRWit)
        :current(FRWit)
        ,start(FRWit)
        ,dist(0)
    {}
 
};
 
int main()
{
    std::cout << "Hello, world!\n";
    
    myFRWDit<int> fit;
    
    myBDit< myFRWDit<int> > bit(fit);
}

@Sasha760 · 24.05.2015, 17:52 **[ТС]**

hoggy, Насколько я понимаю, мне нужно чтобы myBDit сам знал, что за параметр шаблона у myFRWDit.
Не могли бы вы пояснить, что такое

C++

static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    static_assert(
        std::is_same<myFRWDit< typename T::value_type >, T>::value,
        "ERROR: T must be myFRWDit<type>"
    );

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

@hoggy · 24.05.2015, 18:13

Сообщение от Sasha760

Насколько я понимаю, мне нужно чтобы myBDit сам знал, что за параметр шаблона у myFRWDit.

в приведенном мною варианте, myBDit знает две вещи:
1. что его параметр это некое myFRWDit<type>
2. он знает, что type можно получить через: typename T::value_type

таким образом,
он знает, что параметр его шаблона эквивалентен myFRWDit< typename T::value_type >

Сообщение от Sasha760

Я никогда раньше такого не встречал.

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

таким образом:

C++

static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );

std::is_class<T>::value даст true, если T - это класс
а иначе получим ошибку компиляции : "ERROR: T must be myFRWDit<type>"

статические ассерты позволяют времени компиляции выполнять проверки свойств типов.
и если что-то не так: выводить человеко-читабельные сообщения об ошибках.

	24.05.2015, 18:13

Передача класса в качестве параметра шаблона

Решение