当前位置： 首页 > wzjs >正文

建筑人才网平台南京百度推广优化

wzjs 2025/8/27 5:16:53
建筑人才网平台,南京百度推广优化,如何做一个论坛网站,wordpress不用邮件确认CRTP是 C 中的一种模板元编程技术，其核心原理是通过模板继承和静态多态，在编译期实现基类对派生类成员的访问，从而避免运行时虚函数调用的开销。 1. CRTP 的基本结构 CRTP 的核心思想是：基类是一个模板类，其模板参数…

CRTP是 C++ 中的一种模板元编程技术，其核心原理是通过模板继承和静态多态，在编译期实现基类对派生类成员的访问，从而避免运行时虚函数调用的开销。

1. CRTP 的基本结构

CRTP 的核心思想是：基类是一个模板类，其模板参数是派生类本身。

典型的代码如下：

template <typename Derived>
class Base {
public:void interface() {// 基类通过静态转换调用派生类的实现static_cast<Derived*>(this)->implementation();}
};class Derived : public Base<Derived> { // 派生类将自己作为模板参数传递给基类
public:void implementation() {// 派生类的具体实现}
};

2. CRTP 的核心原理

2.1 模板继承

       2.1.1基类模板化：基类 Base 接受派生类 Derived 作为模板参数

       2.1.2派生类继承基类模板：派生类继承时，将自己作为模板参数传递给基类，形成递归依赖（Derived : public Base<Derived>）

2.2 静态多态

       2.2.1 编译期绑定：基类通过 static_cast<Derived*>(this) 将 this 指针转换为派生类类型，直接调用派生类的方法（如 implementation()）。

       2.2.2 无虚函数开销：无需虚函数表（vtable），函数调用在编译期确定，无运行时间接跳转。

       2.2.3 代码复用与扩展：基类可定义通用逻辑（如 interface()），而具体实现由派生类提供（如 implementation()）。新增派生类时，只需实现特定方法，无需修改基类。

3 CRTP 的工作流程

       3.1模板实例化：当定义 Derived 类时，基类 Base<Derived> 被实例化，生成针对 Derived 的基类代码

       3.2方法调用：调用 Base<Derived>::interface() 时，通过 static_cast 将基类指针安全转换为派生类指针，直接调用 Derived::implementation()

  3.3编译期解析：所有类型转换和函数绑定在编译期完成，生成高效代码

4 CRTP示例

#include <iostream>
using namespace std;// 定义一个模板基类，接受派生类作为参数
template<typename T>
class Animal {
public:void sound() {// static_cast到派生类类型，调用派生类的soundImpl()cout << "Animal::sound" <<endl;static_cast<T*>(this)->soundImpl();}
};// 具体的狗类，继承自Animal<Dog>
class Dog : public Animal<Dog> {   
public:// 具体实现狗的叫声void soundImpl() {cout << "Woof!" << endl;}
};// 具体的猫类，继承自Animal<Cat>
class Cat : public Animal<Cat> {    
public:void soundImpl() {cout << "Meow!" << endl;}
};int main() {// 创建一个Dog对象，调用sound()Animal<Dog> dog;dog.sound(); // 输出 Woof!// 创建一个Cat对象，调用sound()Animal<Cat> cat;cat.sound(); // 输出 Meow!return 0;
}//运行结果：
//Animal::sound
//Woof!
//Animal::sound
//Meow!

4.1汇编分析：

.LC0:.string "Woof!"
Dog::soundImpl():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC0mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))nopleaveret
.LC1:.string "Meow!"
Cat::soundImpl():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC1mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))nopleaveret
main:push    rbpmov     rbp, rspsub     rsp, 16lea     rax, [rbp-1]mov     rdi, raxcall    Animal<Dog>::sound() lea     rax, [rbp-2]mov     rdi, raxcall    Animal<Cat>::sound()mov     eax, 0leaveret
.LC2:.string "Animal::sound"
Animal<Dog>::sound():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC2mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))mov     rax, QWORD PTR [rbp-8]mov     rdi, raxcall    Dog::soundImpl()nopleaveret
Animal<Cat>::sound():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC2mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))mov     rax, QWORD PTR [rbp-8]mov     rdi, raxcall    Cat::soundImpl()nopleaveret

重点关注一下main函数中对sound的调用

lea rax, [rbp-1]            ; 对象地址
mov rdi, rax
call Dog::sound()           ; 直接调用

5 同样的功能，用动态多态实现

class Animal
{
public:virtual void sound(){cout << "Animal::sound" <<endl;}
};class Dog : public Animal
{virtual void sound(){cout << "Woof!"  << endl;}
};class Cat: public Animal
{virtual void sound(){cout << "Meow!"  << endl;}
};int main() {Animal* animal1 = new Dog();animal1->sound();Animal* animal2 = new Cat();animal2->sound();return 0;
}//程序运行结果：
//Woof!
//Meow!

对应的汇编：

.LC0:.string "Animal::sound"
Animal::sound():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC0mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))nopleaveret
.LC1:.string "Woof!"
Dog::sound():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC1mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))nopleaveret
.LC2:.string "Meow!"
Cat::sound():push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     esi, OFFSET FLAT:.LC2mov     edi, OFFSET FLAT:std::coutcall    std::basic_ostream<char, std::char_traits<char>>& std::operator<<<std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&, char const*)mov     esi, OFFSET FLAT:std::basic_ostream<char, std::char_traits<char>>& std::endl<char, std::char_traits<char>>(std::basic_ostream<char, std::char_traits<char>>&)mov     rdi, raxcall    std::ostream::operator<<(std::ostream& (*)(std::ostream&))nopleaveret
Animal::Animal() [base object constructor]:push    rbpmov     rbp, rspmov     QWORD PTR [rbp-8], rdimov     edx, OFFSET FLAT:vtable for Animal+16mov     rax, QWORD PTR [rbp-8]mov     QWORD PTR [rax], rdxnoppop     rbpret
Dog::Dog() [base object constructor]:push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     rax, QWORD PTR [rbp-8]mov     rdi, raxcall    Animal::Animal() [base object constructor]mov     edx, OFFSET FLAT:vtable for Dog+16mov     rax, QWORD PTR [rbp-8]mov     QWORD PTR [rax], rdxnopleaveret
Cat::Cat() [base object constructor]:push    rbpmov     rbp, rspsub     rsp, 16mov     QWORD PTR [rbp-8], rdimov     rax, QWORD PTR [rbp-8]mov     rdi, raxcall    Animal::Animal() [base object constructor]mov     edx, OFFSET FLAT:vtable for Cat+16mov     rax, QWORD PTR [rbp-8]mov     QWORD PTR [rax], rdxnopleaveret
main:push    rbpmov     rbp, rsppush    rbxsub     rsp, 24mov     edi, 8call    operator new(unsigned long)mov     rbx, raxmov     QWORD PTR [rbx], 0mov     rdi, rbxcall    Dog::Dog() [complete object constructor]mov     QWORD PTR [rbp-24], rbxmov     rax, QWORD PTR [rbp-24]mov     rax, QWORD PTR [rax]mov     rdx, QWORD PTR [rax]mov     rax, QWORD PTR [rbp-24]mov     rdi, raxcall    rdxmov     edi, 8call    operator new(unsigned long)mov     rbx, raxmov     QWORD PTR [rbx], 0mov     rdi, rbxcall    Cat::Cat() [complete object constructor]mov     QWORD PTR [rbp-32], rbxmov     rax, QWORD PTR [rbp-32]mov     rax, QWORD PTR [rax]mov     rdx, QWORD PTR [rax]mov     rax, QWORD PTR [rbp-32]mov     rdi, raxcall    rdxmov     eax, 0mov     rbx, QWORD PTR [rbp-8]leaveret
vtable for Cat:.quad   0.quad   typeinfo for Cat.quad   Cat::sound()
vtable for Dog:.quad   0.quad   typeinfo for Dog.quad   Dog::sound()
vtable for Animal:.quad   0.quad   typeinfo for Animal.quad   Animal::sound()
typeinfo for Cat:.quad   vtable for __cxxabiv1::__si_class_type_info+16.quad   typeinfo name for Cat.quad   typeinfo for Animal
typeinfo name for Cat:.string "3Cat"
typeinfo for Dog:.quad   vtable for __cxxabiv1::__si_class_type_info+16.quad   typeinfo name for Dog.quad   typeinfo for Animal
typeinfo name for Dog:.string "3Dog"
typeinfo for Animal:.quad   vtable for __cxxabiv1::__class_type_info+16.quad   typeinfo name for Animal
typeinfo name for Animal:.string "6Animal"

重点关注一下main函数中sound的调用过程

push    rbp             ; 保存旧的基址指针（rbp）
mov     rbp, rsp        ; 将当前栈指针（rsp）设为新的基址指针（rbp）
push    rbx             ; 保存rbx寄存器（被调用者保存寄存器）
sub     rsp, 24         ; 分配24字节栈空间（用于局部变量和对齐）mov     edi, 8          ; 参数：申请8字节内存（Dog对象的大小）
call    operator new(unsigned long)  ; 调用new运算符分配内存
mov     rbx, rax        ; 将返回的指针保存到rbx（rax存放new的返回值）
mov     QWORD PTR [rbx], 0  ; 将内存的前8字节置零（临时初始化虚表指针vptr）
mov     rdi, rbx        ; 将对象指针作为构造函数参数（this指针）
call    Dog::Dog() [complete object constructor]  ; 调用Dog构造函数
mov     QWORD PTR [rbp-24], rbx  ; 将构造后的Dog指针存入栈[rbp-24]//对应C++代码：
//Animal* dog = new Dog(); // 动态分配Dog对象//调用Dog对象的虚函数mov     rax, QWORD PTR [rbp-24]  ; 从栈中加载Dog对象指针到rax
mov     rax, QWORD PTR [rax]     ; 加载虚表指针vptr（Dog的虚表地址）
mov     rdx, QWORD PTR [rax]     ; 加载虚表第一个条目（即Dog::sound()地址）
mov     rax, QWORD PTR [rbp-24]  ; 再次加载Dog对象指针到rax
mov     rdi, rax                 ; 将对象指针作为this参数传递
call    rdx                      ; 通过虚表调用Dog::sound()//对应C++代码：
//dog->sound(); // 动态绑定到Dog::sound()

6 通过对比，关键差异总结如下：

特性动态多态（虚函数）静态多态（CRTP）
实现方式虚函数表 + 运行时间接调用模板继承 + 编译期绑定
内存开销每个对象需存储 vptr（通常8字节）无额外内存开销
性能函数调用需查表跳转（轻微性能损耗）直接调用（无额外开销）
灵活性支持运行时多态仅支持编译期多态
代码扩展性新增派生类无需修改基类需修改模板参数或继承关系
汇编特征虚表结构、vptr初始化、间接调用（call rdx）直接函数调用（call Dog::sound()）

http://www.dtcms.com/wzjs/502872.html

相关文章：

  • 字体艺术设计在线生成优化seo招聘
  • 网站开发行业标准爱站网怎么用
  • 做网站具备的条件google官方下载安装
  • 注销网站备案申请表谷歌seo关键词优化
  • 网站建设工作室发展百度云网盘资源链接
  • 新公司做网站怎么弄上海网站建设公司排名
  • 网站测试空间谷歌搜索引擎seo
  • 网站展示程序今天最新新闻10条
  • 网站建设方案书ppt推广普通话的手抄报
  • 招标投标公共服务平台太原seo外包平台
  • 做政府网站预算百度平台商家
  • 企业大型网站开发需要多少钱免费网站制作成品
  • 有的网站域名解析错误杭州seo排名费用
  • 国外简约网站网站搭建需要多少钱?
  • 天津建筑工程公司有哪些seo属于什么职位类型
  • 做视频自媒体要投稿几个网站优化网站关键词排名
  • 西丽网站建设设计站长工具站长
  • 广东官网网站建设价格seo优化多少钱
  • 九江seo海口百度seo公司
  • wordpress中文 速度慢seo技术最新黑帽
  • 阳江房地产新楼盘关键词优化靠谱推荐
  • 网站首页设计分析每日新闻播报
  • 广州荔湾网站制作公司seo推广编辑
  • 受欢迎的宜昌网站建设四川seo整站优化吧
  • 可以做公众号背景图的网站网站引流推广
  • 相关网站建设免费网站推广软文发布
  • 西安英文网站建设西安抖音seo
  • 网站建设公司的市场营销方案品牌seo是什么意思
  • 风险网站如何解决办法网站制作的基本流程是什么
  • 专做民宿的网站长沙seo 优化选智投未来no1