Patrón de plantilla curiosamente recurrente (CRTP)

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Lenguaje C++

Temas generales
Preprocesador Comentarios	Palabras clave Secuencias de escape
Control de flujo
Instrucciones de ejecución condicionales
if	switch
Instrucciones de iteración (bucles)
for bucle for basado en rango(C++11)	while do-while
Declaraciones de salto
continue - break	goto - return
Funciones
Declaración de funciones
Declaración de funciones lambda
Especificador inline
Especificación de excepciones(hasta C++20)
Especificador noexcept(C++11)
Excepciones
Expresión throw	Bloque try-catch
Espacios de nombres
Declaración de espacios de nombres	Alias de espacios de nombres
Tipos
Tipos fundamentales Tipos de enumeración Tipos de función	Tipos compuestos Tipos de unión
Especificadores
decltype(C++11) auto(C++11) alignas(C++11)	const/volatile constexpr(C++11)
Especificadores de duración de almacenamiento
Inicialización
Inicialización por defecto Inicialización de valor Inicialización cero Inicialización de copia Inicialización directa	Inicialización de agregados Inicialización de lista(C++11) Inicialización constante Inicialización de referencia

Expresiones
Categorías de valor Orden de evaluación	Operadores Precedencia de operadores
Representaciones alternas
Literales
Booleanos - Enteros - De punto flotante
De carácter - De cadena - nullptr(C++11)
Definidos por el usuario(C++11)
Utilidades
Atributos(C++11)
Tipos
Declaración de typedef
Declaración de alias de tipo(C++11)
Conversiones
Conversiones implícitas - Conversiones explícitas
static_cast - dynamic_cast
const_cast - reinterpret_cast
Asignación de memoria
Expresión new	Expresión delete
Clases
Declaración de clases Listas de inicializadores El puntero this	Especificadores de acceso Especificador friend
Propiedades de funciones específicas de la clase
Función virtual Especificador override(C++11) Especificador final(C++11)	explicit(C++11) static
Funciones miembro especiales
Constructor por defecto Constructor de copia Constructor de movimiento(C++11)	Operador de asignación de copia Operador de asignación de movimiento(C++11) Destructor
Plantillas
Plantillas de clase Plantillas de función	Especialización de plantillas Paquetes de parámetros(C++11)
Misceláneos
Ensamblador inline	Historia de C++

 

El patrón de plantilla curiosamente recurrente (o CRTP por sus siglas en inglés) es una expresión idiomática en la que una clase se deriva de una plantilla de clase Y, tomando un parámetro de plantilla Z, donde Y es instanciada con Z = X. Por ejemplo,

template<class Z>class Y {};   class X :public Y<X>{};

Ejemplo

CRTP puede usarse para implementar "polimorfismo en tiempo de compilación", cuando una clase base expone una interfaz, y las clases derivadas implementan tal interfaz.

Ejecuta este código

#include <cstdio>   #ifndef __cpp_explicit_this_parameter // sintaxis tradicional   template<class Derivada>struct Base {void nombre(){(static_cast<Derivada*>(this))->impl();}};struct D1 :public Base<D1>{void impl(){std::puts("D1::impl()");}};struct D2 :public Base<D2>{void impl(){std::puts("D2::impl()");}};   void test(){// Base<D1> b1; b1.nombre(); // comportamiento indefinido// Base<D2> b2; b2.nombre(); // comportamiento indefinido D1 d1; d1.nombre(); D2 d2; d2.nombre();}   #else // sintaxis alternativa de C++23; https://godbolt.org/z/s1o6qTMnP   struct Base {void nombre(this auto&& self){ self.impl();}};struct D1 :public Base {void impl(){std::puts("D1::impl()");}};struct D2 :public Base {void impl(){std::puts("D2::impl()");}};   void test(){ D1 d1; d1.nombre(); D2 d2; d2.nombre();}   #endif   int main(){ test();}

Salida:

D1::impl() D2::impl()

Véase también

enable_shared_from_this (C++11)	Permite a un objeto crear un puntero compartido (shared_ptr) refiriéndose a sí mismo. (plantilla de clase)
ranges::view_interface (C++20)	Plantilla de clase auxiliar para definir una vista (view), usando el patrón de plantilla curiosamente recurrente (CRTP). (plantilla de clase)