Использовать шаблон CURLY Recurring Template Pattern (CRTP) с дополнительными параметрами типа

Question

Я пытаюсь использовать шаблон любопытного повторения шаблона (CRTP) и предоставляю дополнительные параметры типа:

template <typename Subclass, typename Int, typename Float>
class Base {
    Int *i;
    Float *f;
};
...

class A : public Base<A, double, int> {
};

Это, вероятно, ошибка, более подходящим суперклассом будет Base<A, double, int> - хотя этот аргументнесоответствие порядка не так очевидно, чтобы определить.Эту ошибку было бы легче увидеть, если бы я мог использовать имя и значение параметров в typedef:

template <typename Subclass>
class Base {
    typename Subclass::Int_t *i;  // error: invalid use of incomplete type ‘class A’
    typename Subclass::Float_t *f;
};

class A : public Base<A> {
    typedef double Int_t;         // error: forward declaration of ‘class A’
    typedef int Double_t;
};

Однако, это не компилируется в gcc 4.4, об ошибках, о которых сообщают, приводятся в виде комментариев выше -Я думаю, причина в том, что перед созданием A ему нужно создать экземпляр базового шаблона, но это, в свою очередь, должно знать A.

Есть ли хороший способ передачи "именованных" параметров шаблона при использовании CRTP

Answer 1

Вы можете использовать класс черт:

// Must be specialized for any type used as TDerived in Base<TDerived>.
// Each specialization must provide an IntType typedef and a FloatType typedef.
template <typename TDerived>
struct BaseTraits;

template <typename TDerived>
struct Base 
{
    typename BaseTraits<TDerived>::IntType *i;
    typename BaseTraits<TDerived>::FloatType *f;
};

struct Derived;

template <>
struct BaseTraits<Derived> 
{
    typedef int IntType;
    typedef float FloatType;
};

struct Derived : Base<Derived> 
{
};

Answer 2

@ Джеймс ответ, очевидно, правильный, но у вас все равно могут возникнуть некоторые проблемы, если пользователь не предоставит правильные typedefs.

Можно "утверждать", что используются типы вправо с использованием средств проверки во время компиляции. В зависимости от используемой версии C ++ вам может понадобиться Boost.

В C ++ 0x это делается путем объединения:

• static_assert: новое средство для проверки во время компиляции, которое позволяет вам указать сообщение
• заголовок type_traits, который предоставляет некоторые предикаты, такие как std::is_integral или std::is_floating_point

Пример:

template <typename TDerived>
struct Base
{
  typedef typename BaseTraits<TDerived>::IntType IntType;
  typedef typename BaseTraits<TDerived>::FloatType FloatType;

  static_assert(std::is_integral<IntType>::value,
    "BaseTraits<TDerived>::IntType should have been an integral type");
  static_assert(std::is_floating_point<FloatType>::value,
    "BaseTraits<TDerived>::FloatType should have been a floating point type");

};

Это очень похоже на типичное Защитное программирование идиом в мире времени выполнения.

Answer 3

Тебе даже не нужны классы черт.Следующее также работает:

template 
<
   typename T1, 
   typename T2, 
   template <typename, typename> class Derived_
>
class Base
{
public:
   typedef T1 TypeOne;
   typedef T2 TypeTwo;
   typedef Derived_<T1, T2> DerivedType;
};

template <typename T1, typename T2>
class Derived : public Base<T1, T2, Derived>
{
public:
   typedef Base<T1, T2, Derived> BaseType;
   // or use T1 and T2 as you need it
};

int main()
{
   typedef Derived<int, float> MyDerivedType;
   MyDerivedType Test;

   return 0;
}