Curiously recurring template pattern ( 奇怪的重复模板模式,CRTP)

本文主要是介绍Curiously recurring template pattern ( 奇怪的重复模板模式,CRTP),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

CRTPC++中的一种技术,其中Derived类从类模板Base派生。关键是Base有一个Derived作为模板参数。

template<class T>
class Base{
...
};class Derived : public Base<Derived>{
...
};

CRTP是仅在需要时才实例化类模板的方法,使用静态多态方式。

静态多态与动态多态非常相似。但是与使用虚拟方法的动态多态性相反,方法调用的调度将在编译时进行。

// crtp.cpp#include <iostream>template <typename Derived> 
struct Base{//  void interface(){ implementation(); }//  virtual void implementation(){}void interface(){static_cast<Derived*>(this)->implementation();}void implementation(){std::cout << "Implementation Base" << std::endl;}};struct Derived1: Base<Derived1>{void implementation(){std::cout << "Implementation Derived1" << std::endl;}
};struct Derived2: Base<Derived2>{void implementation(){std::cout << "Implementation Derived2" << std::endl;}
};struct Derived3: Base<Derived3>{};template <typename T>
void execute(T& base){base.interface();
}int main(){std::cout << std::endl;Derived1 d1;execute(d1);Derived2 d2;execute(d2);Derived3 d3;execute(d3);std::cout << std::endl;}

我在函数模板中使用execute(第34-37行)静态多态性。我在每个参数基础上调用方法base.interface

第10-12行中的方法Base :: interface是CRTP习惯用法的关键点。这些方法分派给派生类的实现:static_cast <Derived *>(this)-> implementation()。这是可能的,因为该方法将在调用时实例化。

此时,派生类Derived1,Derived2Derived3已完全定义。因此,方法Base::interface可以使用其派生类的详细信息。特别有趣的是Base :: implementation方法(第14-16行)。该方法充当Derived3类的静态多态性的默认实现(第32行)。

该技术实现了与virtual function的使用相似的效果。如果基类成员函数对所有成员函数调用均使用CRTP,则将在编译时选择派生类中的重写函数。这有效地在编译时模拟了虚拟函数调用系统,而没有大小或函数调用开销(VTBL结构和方法查找,多继承VTBL机制)的开销,但缺点是无法在运行时做出选择。

因此有些人将CRTP的这种特殊用法称为“模拟动态绑定”。 Windows ATL和WTL库中广泛使用此模式。


Mixins with CRTP

Mixins是在类中设计以混合新代码的流行概念。因此,它是Python中通过使用多个继承来更改类的行为的常用技术。与C ++相反,在Python中,在类层次结构中具有一个方法的多个定义是合法的。 Python仅使用方法解析顺序( Method Resolution Order,即MRO)中首先使用的方法。

您可以使用CRTP在C ++中实现mixin。一个著名的例子是类std :: enable_shared_from_this。通过使用此类,您可以创建向自己返回std :: shared_ptr的对象。

您可以从std :: enable_shared_from_this派生您的公共类MySharedClass。现在,您的类MySharedClass具有shared_from_this方法,用于为其对象创建std :: shared_ptr。

#include <iostream>
#include <memory>class ShareMe : public std::enable_shared_from_this<ShareMe> {
public:std::shared_ptr<ShareMe> getShared() {return shared_from_this();}
};int main() {std::shared_ptr<ShareMe> shareMe(new ShareMe);std::shared_ptr<ShareMe> shareMe1 = shareMe->getShared();//std :: shared_ptr <T> :: use_count返回不同shared_ptr实例的数量{auto shareMe2(shareMe1);std::cout << "shareMe.use_count(): " << shareMe.use_count() << std::endl; }std::cout << "shareMe.use_count(): " << shareMe.use_count() << std::endl;//当智能指针中有值的时候,调用reset()会使引用计数减1.shareMe1.reset();std::cout << "shareMe.use_count(): " << shareMe.use_count() << std::endl;return 0;
}

智能指针shareMe(第12行)并复制shareMe1(第13行)和shareMe2(第17行)引用相同的资源,并递增和递减引用计数器。
在这里插入图片描述
mixin的另一个典型用例是您要扩展的类,其类具有其实例支持相等性和不平等性比较的功能。

#include <iostream>
#include <string>template<class Derived>
class Equality 
{};class Apple :public Equality<Apple> {
public:Apple(int s) : size{ s } {};int size;
};class Man :public Equality<Man> {
public:Man(std::string n) : name{ n } {}std::string name;
};template <class Derived>
bool operator == ( Equality<Derived> const & op1 , Equality<Derived> const & op2 ) 
{Derived const& d1 = static_cast<Derived const&>(op1);Derived const& d2 = static_cast<Derived const&>(op2);return !(d1 < d2) && !(d2 < d1);
}template <class Derived>
bool operator != ( Equality<Derived> const & op1 , Equality<Derived> const & op2 )
{Derived const& d1 = static_cast<Derived const&>(op1);Derived const& d2 = static_cast<Derived const&>(op2);return !(op1 == op2);
}bool operator < (Apple const& a1, Apple const& a2) 
{return a1.size < a2.size;
}bool operator < (Man const& m1, Man const& m2)
{return m1.name < m2.name;
}int main() 
{std::cout << std::boolalpha ;Apple apple1{ 5 };Apple apple2{ 10 };std::cout << "apple1 == apple2: " << (apple1 == apple2) << std::endl;Man man1{ "grimm" };Man man2{ "jaud" };std::cout << "man1 != man2: " << (man1 != man2) << std::endl;return 0;
}

参考文章:

  • https://www.modernescpp.com/index.php/specialities-of-std-shared-ptr
  • https://www.modernescpp.com/index.php/c-is-still-lazy

这篇关于Curiously recurring template pattern ( 奇怪的重复模板模式,CRTP)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/246622

相关文章

SpringBoot如何通过Map实现策略模式

《SpringBoot如何通过Map实现策略模式》策略模式是一种行为设计模式,它允许在运行时选择算法的行为,在Spring框架中,我们可以利用@Resource注解和Map集合来优雅地实现策略模式,这... 目录前言底层机制解析Spring的集合类型自动装配@Resource注解的行为实现原理使用直接使用M

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

C#原型模式之如何通过克隆对象来优化创建过程

《C#原型模式之如何通过克隆对象来优化创建过程》原型模式是一种创建型设计模式,通过克隆现有对象来创建新对象,避免重复的创建成本和复杂的初始化过程,它适用于对象创建过程复杂、需要大量相似对象或避免重复初... 目录什么是原型模式?原型模式的工作原理C#中如何实现原型模式?1. 定义原型接口2. 实现原型接口3

大数据spark3.5安装部署之local模式详解

《大数据spark3.5安装部署之local模式详解》本文介绍了如何在本地模式下安装和配置Spark,并展示了如何使用SparkShell进行基本的数据处理操作,同时,还介绍了如何通过Spark-su... 目录下载上传解压配置jdk解压配置环境变量启动查看交互操作命令行提交应用spark,一个数据处理框架

解决jupyterLab打开后出现Config option `template_path`not recognized by `ExporterCollapsibleHeadings`问题

《解决jupyterLab打开后出现Configoption`template_path`notrecognizedby`ExporterCollapsibleHeadings`问题》在Ju... 目录jupyterLab打开后出现“templandroidate_path”相关问题这是 tensorflo

Java实现状态模式的示例代码

《Java实现状态模式的示例代码》状态模式是一种行为型设计模式,允许对象根据其内部状态改变行为,本文主要介绍了Java实现状态模式的示例代码,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来... 目录一、简介1、定义2、状态模式的结构二、Java实现案例1、电灯开关状态案例2、番茄工作法状态案例

Redis 多规则限流和防重复提交方案实现小结

《Redis多规则限流和防重复提交方案实现小结》本文主要介绍了Redis多规则限流和防重复提交方案实现小结,包括使用String结构和Zset结构来记录用户IP的访问次数,具有一定的参考价值,感兴趣... 目录一:使用 String 结构记录固定时间段内某用户 IP 访问某接口的次数二:使用 Zset 进行

Spring Boot 整合 ShedLock 处理定时任务重复执行的问题小结

《SpringBoot整合ShedLock处理定时任务重复执行的问题小结》ShedLock是解决分布式系统中定时任务重复执行问题的Java库,通过在数据库中加锁,确保只有一个节点在指定时间执行... 目录前言什么是 ShedLock?ShedLock 的工作原理:定时任务重复执行China编程的问题使用 Shed

解读静态资源访问static-locations和static-path-pattern

《解读静态资源访问static-locations和static-path-pattern》本文主要介绍了SpringBoot中静态资源的配置和访问方式,包括静态资源的默认前缀、默认地址、目录结构、访... 目录静态资源访问static-locations和static-path-pattern静态资源配置