C++ CRTP pour éviter la duplication de code


Exemple

L'exemple dans Visitor Pattern fournit un cas d'utilisation convaincant pour CRTP:

struct IShape
{
    virtual ~IShape() = default;

    virtual void accept(IShapeVisitor&) const = 0;
};

struct Circle : IShape
{
    // ...        
    // Each shape has to implement this method the same way
    void accept(IShapeVisitor& visitor) const override { visitor.visit(*this); }
    // ...
};

struct Square : IShape
{
    // ...    
    // Each shape has to implement this method the same way
    void accept(IShapeVisitor& visitor) const override { visitor.visit(*this); }
    // ...
};

Chaque type d'enfant d' IShape doit implémenter la même fonction de la même manière. C'est beaucoup de frappe supplémentaire. Au lieu de cela, nous pouvons introduire un nouveau type dans la hiérarchie qui le fait pour nous:

template <class Derived>
struct IShapeAcceptor : IShape {
    void accept(IShapeVisitor& visitor) const override {
        // visit with our exact type
        visitor.visit(*static_cast<Derived const*>(this));
    }
};

Et maintenant, chaque forme doit simplement hériter de l'accepteur:

struct Circle : IShapeAcceptor<Circle>
{
    Circle(const Point& center, double radius) : center(center), radius(radius) {}
    Point center;
    double radius;
};

struct Square : IShapeAcceptor<Square>
{
    Square(const Point& topLeft, double sideLength) : topLeft(topLeft), sideLength(sideLength) {}    
    Point topLeft;
    double sideLength;
};

Aucun code en double nécessaire.