Comment éviter boilerplate sur des arguments de modèle lors de l'appel constructeur parent

Question

Alors disons que j'ai une classe avec beaucoup d'arguments de modèle, l'un d'entre eux est la classe dérivée d'utiliser CRTP:

template <typename Derived, typename A, typename B, typename C, typename D> 
class BaseFoo { 
public: 
    BaseFoo(A& a) {} 
}; 

Et je veux l'hériter:

class DerivedFoo : public BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> { 
public: 
    DerivedFoo(A& a) : BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec>(a) {} 
}; 

Y a-t-il une astuce pour éviter tout l'argument de modèle explicite?

Il est correct si je dois toujours indiquer Derived en tant qu'arguments de modèle.

Answer 1

Utilisez simplement le nom de la classe dérivée et recherchez le nom de la classe de base si la classe de base est dépendante. Si elle n'est pas dépendante, vous pouvez juste nommer la classe de base non qualifiée, puisqu'elle est dans la portée. Aucun besoin de tous les arguments de modèle

class DerivedFoo : public BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> { 
public: 
    DerivedFoo(A& a) : BaseFoo(a) {} 
}; 

Chaque classe déclare son nom à l'intérieur de lui-même. Non seulement les classes normales, mais aussi les instances de modèle de classe. Donc BaseFoo se réfère à BaseFoo<...> dans sa propre portée et la portée de ses classes dérivées.

Answer 2

Déclarer d'abord DerivedFoo.

class DerivedFoo; 

puis typedef

typedef BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> OtherFoo; 

également possible avec using

using OtherFoo = BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec>; 

ou si vous ne se soucient pas de devoir parler Derived

template <typename Derived> 
using OtherFoo = BaseFoo<Derived, Bc, Cc, Dc, Ec>; 

class DerivedFoo : public OtherFoo<DerivedFoo> { 
    .... 
};