255

Without referring to a book, can anyone please provide a good explanation for CRTP (curiously recurring template pattern) with a code example?

4
  • 3
    Read CRTP questions on SO: stackoverflow.com/questions/tagged/crtp. That might give you some idea.
    – sbi
    Commented Nov 13, 2010 at 15:41
  • 108
    @sbi: If he does that, he'll find his own question. And that would be curiously recurring. :) Commented Jan 8, 2013 at 12:37
  • 1
    BTW, it seems to me the term should be "curiously recursing". Am I misunderstanding the meaning? Commented Jan 8, 2013 at 12:42
  • 3
    Craig: I think you are; it's "curiously recurring" in the sense that it was found to crop up in multiple contexts. Commented Apr 20, 2016 at 15:54

6 Answers 6

345

In short, CRTP is when a class A has a base class which is a template specialization for the class A itself. E.g.

template <class T> 
class X{...};
class A : public X<A> {...};

It is curiously recurring, isn't it? :)

Now, what does this give you? This actually gives the X template the ability to be a base class for its specializations.

For example, you could make a generic singleton class (simplified version) like this

#include <iostream>

template <class T>
class Singleton
{
public:
     static T* GetInstance() {
         if ( p == nullptr ) p = new T();
         return p;
     }
protected:
     Singleton() = default;

     Singleton(Singleton const &) = delete;
     Singleton &operator=(const Singleton &) = delete;

private:
     static T *p;
};
template <class T>
T *Singleton<T>::p= nullptr;

Now, in order to make an arbitrary class A a singleton you should do this

class A : public Singleton<A> 
{ 
friend Singleton;
private:
    A() = default;
};
A *a0= A::GetInstance();

Howevry, CRTP is not necessary in this case, see as follow:

class C 
{ 
friend Singleton<C>; 
private: C() = default;
};
C *c1= Singleton<C>::GetInstance();

So you see? The singleton template assumes that its specialization for any type X will be inherited from singleton<X> and thus will have all its (public, protected) members accessible, including the GetInstance! There are other useful uses of CRTP. For example, if you want to count all instances that currently exist for your class, but want to encapsulate this logic in a separate template (the idea for a concrete class is quite simple - have a static variable, increment in ctors, decrement in dtors). Try to do it as an exercise!

Yet another useful example, for Boost (I am not sure how they have implemented it, but CRTP will do too). Imagine you want to provide only operator < for your classes but automatically operator == for them!

you could do it like this:

template<class Derived>
class Equality
{
};

template <class Derived>
bool operator == (Equality<Derived> const& op1, Equality<Derived> const & op2)
{
    Derived const& d1 = static_cast<Derived const&>(op1);//you assume this works     
    //because you know that the dynamic type will actually be your template parameter.
    //wonderful, isn't it?
    Derived const& d2 = static_cast<Derived const&>(op2); 
    return !(d1 < d2) && !(d2 < d1);//assuming derived has operator <
}

or implement within the template scope without casting

template<class T>
class Equality
{
    friend bool operator == (const T& op1, const T& op2)
    { 
        return !(op1 < op2) && !(op2 < op1); 
    }
};

Now you can use it like this

struct Apple:public Equality<Apple> 
{
    int size;
};

bool operator < (Apple const & a1, Apple const& a2)
{
    return a1.size < a2.size;
}

Now, you haven't provided explicitly operator == for Apple? But you have it! You can write

int main()
{
    Apple a1;
    Apple a2; 

    a1.size = 10;
    a2.size = 10;
    if(a1 == a2) //the compiler won't complain! 
    {
    }
}

This could seem that you would write less if you just wrote operator == for Apple, but imagine that the Equality template would provide not only == but >, >=, <= etc. And you could use these definitions for multiple classes, reusing the code!

CRTP is a wonderful thing :) HTH

16
  • 77
    This post doesn't advocate singleton as a good programing pattern.it simply uses it as an illustration that can be commonly understood.imo the-1 is unwarranted Commented Nov 13, 2010 at 17:26
  • 3
    @Armen: The answer explains CRTP in a way that can be understood clearly, its a nice answer, thanks for such a nice answer.
    – Alok Save
    Commented Nov 16, 2010 at 15:02
  • 1
    @Armen: thanks for this great explanation. I was sort of t getting CRTP before, but the equality example has been illuminating! +1
    – Paul
    Commented Apr 8, 2011 at 9:31
  • 1
    Yet another example of using CRTP is when you need a non-copyable class: template <class T> class NonCopyable { protected: NonCopyable(){} ~NonCopyable(){} private: NonCopyable(const NonCopyable&); NonCopyable& operator=(const NonCopyable&); }; Then you use noncopyable as below: class Mutex : private NonCopyable<Mutex> { public: void Lock(){} void UnLock(){} };
    – Viren
    Commented Apr 21, 2014 at 3:48
  • 4
    @Puppy: Singleton is not terrible. It is by far overused by below average programmers when other approaches would be more appropriate, but that most of its usages are terrible doesn't make the pattern itself terrible. There are cases where singleton is the best option, although those are rare.
    – Kaiserludi
    Commented Jul 28, 2015 at 18:25
66

Here you can see a great example. If you use virtual method the program will know what execute in runtime. Implementing CRTP the compiler is which decide in compile time!!! This is a great performance!

template <class T>
class Writer
{
  public:
    Writer()  { }
    ~Writer()  { }

    void write(const char* str) const
    {
      static_cast<const T*>(this)->writeImpl(str); //here the magic is!!!
    }
};


class FileWriter : public Writer<FileWriter>
{
  public:
    FileWriter(FILE* aFile) { mFile = aFile; }
    ~FileWriter() { fclose(mFile); }

    //here comes the implementation of the write method on the subclass
    void writeImpl(const char* str) const
    {
       fprintf(mFile, "%s\n", str);
    }

  private:
    FILE* mFile;
};


class ConsoleWriter : public Writer<ConsoleWriter>
{
  public:
    ConsoleWriter() { }
    ~ConsoleWriter() { }

    void writeImpl(const char* str) const
    {
      printf("%s\n", str);
    }
};
3
  • 2
    Couldn't you do this by defining virtual void write(const char* str) const = 0;? Though to be fair, this technique seems super helpful when write is doing other work.
    – atlex2
    Commented Aug 9, 2016 at 14:44
  • 32
    Using a pure virtual method you are solving the inheritance in runtime instead of compile time. CRTP is used to solve this in compile time so the execution will be faster.
    – GutiMac
    Commented Aug 10, 2016 at 7:31
  • 3
    Try making a plain function that expects an abstract Writer: you can't do it because there is no class named Writer anywhere, so where's your polymorphism exactly? This is not equivalent with virtual functions at all and it's far less useful.
    – user519179
    Commented Feb 11, 2019 at 11:46
45

CRTP is a technique to implement compile-time polymorphism. Here's a very simple example. In the below example, ProcessFoo() is working with Base class interface and Base::Foo invokes the derived object's foo() method, which is what you aim to do with virtual methods.

http://coliru.stacked-crooked.com/a/2d27f1e09d567d0e

template <typename T>
struct Base {
  void foo() {
    (static_cast<T*>(this))->foo();
  }
};

struct Derived : public Base<Derived> {
  void foo() {
    cout << "derived foo" << endl;
  }
};

struct AnotherDerived : public Base<AnotherDerived> {
  void foo() {
    cout << "AnotherDerived foo" << endl;
  }
};

template<typename T>
void ProcessFoo(Base<T>* b) {
  b->foo();
}


int main()
{
    Derived d1;
    AnotherDerived d2;
    ProcessFoo(&d1);
    ProcessFoo(&d2);
    return 0;
}

Output:

derived foo
AnotherDerived foo
7
  • 2
    It might also be worth it in this example to add an example of how to implement a default foo() in the Base class that will be called if no Derived has implemented it. AKA change foo in the Base to some other name(e.g. caller()), add a new function foo() to the Base that cout's "Base". Then call caller() inside of ProcessFoo
    – wizurd
    Commented Apr 11, 2018 at 15:15
  • 8
    This is my favourite answer, since it also shows why this pattern is useful with the ProcessFoo() function.
    – Pietro
    Commented Sep 11, 2018 at 17:21
  • 4
    I do not get the point of this code, because with void ProcessFoo(T* b) and without having Derived and AnotherDerived actually derived it would still work. IMHO it would be more interesting if ProcessFoo did not make use of templates somehow. Commented Jun 4, 2020 at 15:32
  • 5
    @GabrielDevillers Firstly, the templatized ProcessFoo() will work with any type that implements the interface i.e. in this case the input type T should have a method called foo(). Second, in order to get a non-templatized ProcessFoo to work with multiple types, you would likely end up using RTTI which is what we want to avoid. Moreover, templatized version provides you compilation time check on the interface.
    – Chenna V
    Commented Jun 12, 2020 at 0:13
  • 1
    Many thanks!. This is the best explanation. Simple short example. Similar to this en.cppreference.com/w/cpp/language/crtp
    – Paul
    Commented Nov 2, 2021 at 11:40
14

This is not a direct answer, but rather an example of how CRTP can be useful.


A good concrete example of CRTP is std::enable_shared_from_this from C++11:

[util.smartptr.enab]/1

A class T can inherit from enable_­shared_­from_­this<T> to inherit the shared_­from_­this member functions that obtain a shared_­ptr instance pointing to *this.

That is, inheriting from std::enable_shared_from_this makes it possible to get a shared (or weak) pointer to your instance without access to it (e.g. from a member function where you only know about *this).

It's useful when you need to give a std::shared_ptr but you only have access to *this:

struct Node;

void process_node(const std::shared_ptr<Node> &);

struct Node : std::enable_shared_from_this<Node> // CRTP
{
    std::weak_ptr<Node> parent;
    std::vector<std::shared_ptr<Node>> children;

    void add_child(std::shared_ptr<Node> child)
    {
        process_node(shared_from_this()); // Shouldn't pass `this` directly.
        child->parent = weak_from_this(); // Ditto.
        children.push_back(std::move(child));
    }
};

The reason you can't just pass this directly instead of shared_from_this() is that it would break the ownership mechanism:

struct S
{
    std::shared_ptr<S> get_shared() const { return std::shared_ptr<S>(this); }
};

// Both shared_ptr think they're the only owner of S.
// This invokes UB (double-free).
std::shared_ptr<S> s1 = std::make_shared<S>();
std::shared_ptr<S> s2 = s1->get_shared();
assert(s2.use_count() == 1);
4

Just as note:

CRTP could be used to implement static polymorphism(which like dynamic polymorphism but without virtual function pointer table).

#pragma once
#include <iostream>
template <typename T>
class Base
{
    public:
        void method() {
            static_cast<T*>(this)->method();
        }
};

class Derived1 : public Base<Derived1>
{
    public:
        void method() {
            std::cout << "Derived1 method" << std::endl;
        }
};


class Derived2 : public Base<Derived2>
{
    public:
        void method() {
            std::cout << "Derived2 method" << std::endl;
        }
};


#include "crtp.h"
int main()
{
    Derived1 d1;
    Derived2 d2;
    d1.method();
    d2.method();
    return 0;
}

The output would be :

Derived1 method
Derived2 method
9
  • 1
    sorry my bad, static_cast takes care of the change. If you want to see the corner case anyway even though it does not cause error see here: ideone.com/LPkktf Commented Dec 6, 2013 at 9:01
  • 35
    Bad example. This code could be done with no vtables without using CRTP. What vtables truly provide is using the base class (pointer or reference) to call derived methods. You should show how it is done with CRTP here. Commented Feb 6, 2014 at 17:37
  • 19
    In your example, Base<>::method () isn't even called, nor do you use polymorphism anywhere.
    – MikeMB
    Commented Mar 12, 2015 at 9:14
  • 1
    @Jichao, according to @MikeMB 's note, you should call methodImpl in the method of Base and in derived classes name methodImpl instead of method
    – Ivan Kush
    Commented Sep 17, 2016 at 17:20
  • 1
    if you use similar method() then its statically bound and you don't need the common base class. Because anyway you couldn't use it polymorphically through base class pointer or ref. So the code should look like this: #include <iostream> template <typename T> struct Writer { void write() { static_cast<T*>(this)->writeImpl(); } }; struct Derived1 : public Writer<Derived1> { void writeImpl() { std::cout << "D1"; } }; struct Derived2 : public Writer<Derived2> { void writeImpl() { std::cout << "DER2"; } };
    – barney
    Commented Jun 2, 2017 at 20:02
2

Another good example of using CRTP can be an implementation of observer design pattern. A small example can be constructed like this.

Suppose you have a class date and you have some listener classes like date_drawer, date_reminder, etc.. The listener classes (observers) should be notified by the subject class date (observable) whenever a date change is done so that they can do their job (draw a date in some format, remind for a specific date, etc.). What you can do is to have two parametrized base classes observer and observable from which you should derive your date and observer classes (date_drawer in our case). For the observer design pattern implementation refer to the classic books like GOF. Here we only need to highlight the use of CRTP. Let's look at it. In our draft implementation observer base class has one pure virtual method which should be called by the observable class whenever a state change occurred, let's call this method state_changed. Let's look at the code of this small abstract base class.

template <typename T>
struct observer
{
    virtual void state_changed(T*, variant<string, int, bool>) = 0;
    virtual ~observer() {}
};

Here, the main parameter that we should focus on is the first argument T*, which is going to be the object for which a state was changed. The second parameter is going to be the field that was changed, it can be anything, even you can omit it, that's not the problem of our topic (in this case it's a std::variant of 3 fields). The second base class is

template <typename T>
class observable
{
    vector<unique_ptr<observer<T>>> observers;
protected:
    void notify_observers(T* changed_obj, variant<string, int, bool> changed_state)
    {
        for (unique_ptr<observer<T>>& o : observers)
        {
            o->state_changed(changed_obj, changed_state);
        }
    }
public:
    void subscribe_observer(unique_ptr<observer<T>> o)
    {
        observers.push_back(move(o));
    }
    void unsubscribe_observer(unique_ptr<observer<T>> o)
    {

    }
};

which is also a parametric class that depends on the type T* and that's the same object that is passed to the state_changed function inside the notify_observers function. Remains only to introduce the actual subject class date and observer class date_drawer. Here the CRTP pattern is used, we derive the date observable class from observable<date>: class date : public observable<date>.

class date : public observable<date>
{
    string date_;
    int code;
    bool is_bank_holiday;

public:
    void set_date_properties(int code_ = 0, bool is_bank_holiday_ = false)
    {
        code = code_;
        is_bank_holiday = is_bank_holiday_;
        //...
        notify_observers(this, code);
        notify_observers(this, is_bank_holiday);
    }

    void set_date(const string& new_date, int code_ = 0, bool is_bank_holiday_ = false) 
    { 
        date_ = new_date; 
        //...
        notify_observers(this, new_date);
    }
    string get_date() const { return date_; }
};

class date_drawer : public observer<date>
{
public:
    void state_changed(date* c, variant<string, int, bool> state) override
    {
        visit([c](const auto& x) {cout << "date_drawer notified, new state is " << x << ", new date is " << c->get_date() << endl; }, state);
    }
};

Let's write some client code:

date c;
c.subscribe_observer(make_unique<date_drawer>());
c.set_date("27.01.2022");
c.set_date_properties(7, true);

the output of this test program will be.

date_drawer notified, new state is 27.01.2022, new date is 27.01.2022
date_drawer notified, new state is 7, new date is 27.01.2022
date_drawer notified, new state is 1, new date is 27.01.2022

Note that using CRTP and passing this to the notify notify_observers function whenever a state change occurred (set_date_properties and set_date here). Allowed us to use date* when overriding void state_changed(date* c, variant<string, int, bool> state) pure virtual function in the actual date_drawer observer class, hence we have date* c inside it (not observable*) and for example we can call a non-virtual function of date* (get_date in our case) inside the state_changed function. We could of refrain from wanting to use CRTP and hence not parametrizing the observer design pattern implementation and use observable base class pointer everywhere. This way we could have the same effect, but in this case whenever we want to use the derived class pointer (even though not very recomendeed) we should use dynamic_cast downcasting which has some runtime overhead.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.