Curiously recurring template pattern

The curiously recurring template pattern (CRTP) is an idiom in which a class derives from a class template instantiation using itself as a template parameter. More generally it is known as ${\displaystyle F}$-bound polymorphism, and it is a form of F-bounded quantification.