Effective C++ part7 模板与泛型编程

最新推荐文章于 2024-10-18 22:48:33 发布
最新推荐文章于 2024-10-18 22:48:33 发布
阅读量274 收藏
点赞数
分类专栏： C++相关 文章标签： c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Ch0s1n_1/article/details/126666717
版权
本文详细探讨了C++中的隐式接口、编译期多态、typename的双重含义以及如何处理模板化基类内的名称。通过条款41至44，学习了模板在实现接口和多态方面的不同方式，特别是typename在声明嵌套从属类型时的重要性，以及如何避免模板化基类中的成员调用问题。同时，强调了在模板代码中减少与参数依赖的关键，以优化编译时的代码膨胀。
摘要由CSDN通过智能技术生成

目录

条款41：了解隐式接口和编译期多态

 条款42：了解typename的双重意义

 条款43：学习处理模板化基类内的名称

 条款44：将与参数无关的代码抽离template（需要靠经验，将相同的部分抽离出来）

条款41：了解隐式接口和编译期多态

 class和template都是支持接口和多态的
首先需要认识到在class中我们使用的是显式接口和运行期多态，所谓显式接口就是在源码中可以明确可见的接口，运行期多态则是在运行期根据引用或指针指向的实际类型决定调用哪个函数。
显示接口是由函数的签名式（也就是函数名称、参数类型、返回类型）构成，运行期多态是依靠virtual函数在运行期发生
在template中使用的则是隐式接口和编译期多态
隐式接口并不基于函数签名式而是有效表达式（即模板实际元素所需要的接口是根据模板中实际调用了元素接口的表达式来确定的），编译期多态是通过template具现化和函数重载解析发生于编译期（类似于哪个函数需要被重载）

 条款42：了解typename的双重意义

 当用于声明template参数时，前缀关键字class和typename作用完全一样，也就是template<class T>和template<typename T>可以互换
但是当我们要调用关键字typename标识嵌套从属类型名称时（也就是使用模板类型T中定义的类型时）需要在前面加上关键字typename。
注意不能在派生列表和初始化列表中作为base class的修饰词
例：template<typename _Ty>
    struct  remove_reference<_Ty&>
    {
        using type = _Ty;
    }
如果想获得type的类型就需要加上typename声明
template<class_Ty>
    using remove_reference_t = typename remove_reference<_Ty&>::type
或者是要想获得模板参数T中声明的类型也需要加上typename

 条款43：学习处理模板化基类内的名称

 注意使用template的同时也可以使用继承，但是如果直接使用的话会出现无法调用基类中成员和接口的问题，因为模板除了通用版本还有全特化版本而全特化版本中很有可能不含有通用模板中具有的接口（甚至可能和通用版本完全不同），编译器会默认屏蔽基类所有接口，解决这一问题推荐两种做法：1.通过this->来指向要调用的基类成员和接口  2.通过using声明式告诉编译器存在这一个函数 3.明确指出要调用的函数的作用域为base class（效果最差因为无法使用多态）

 条款44：将与参数无关的代码抽离template（需要靠经验，将相同的部分抽离出来）

 Template生成多个classes和多个函数，所以任何template代码都不该与某个造成膨胀的template参数产生相依关系（只有少量参数不同的重复的二进制代码）

Ch0s1n_1
关注
专栏目录
【Effective C++】模板与泛型编程
青萍之末的博客
01-19 701
  C++ templates的最初发展动机很直接：让我们得以建立“类型安全”的容器如vector，list和map。然而当愈多人用上templates，他们发现templates有能力完成愈多可能的变化。容器当然很好，但泛型编程——写出的代码和其所处理的对象类型彼此独立——更好。   C++ template机制自身是一部完整的图灵机：它可以被用来计算任何可计算的值。于是导出了模板元编程，创造出...
Effective C++ -- 模板与泛型编程
walk_way_slowly的博客
11-05 612
41、了解隐式接口和编译期多态 ---- classes 和 templates 都支持接口（interfaces）和多态（polymorphiism）。 ---- 对classes 而言接口是显示（explicit），以函数签名为中心。多态则是通过virtual函数发生于运行期。 ---- 对template 参数而言，接口是隐式的（implicit），奠基于有效表达式。多态则是通过template 具现化和函数重载解析（function overloading resolution）发生于编译期。
【读书笔记】【Effective C++】模板与泛型编程
做一些记录工作。
09-19 357
【读书笔记】【Effective C++】模板与泛型编程。
Effective C++ 07 模板与泛型编程
yuyuyuj1e的博客
05-02 669
Effective C++ 模板与泛型编程
Part_7 模板与泛型编程
weixin_63260810的博客
10-28 81
effective c++ 第七章
Part7 模板与泛型编程 Templates and Generic Programming
CShilin's Personal Blogs
07-04 1444
Rule41: 了解隐式接口和编译期多态 understand implicit interfaces and compile-time polymorphism. 面向对象编程总是以显式接口(explicit interfaces)和运行期多态(runtime polymorphism)解决问题。请记住： (1)classes和Template都支持接口和多态 (2)对class而言接口是
【C++ 泛型编程 入门篇】 C++ 中的泛型算法 STL（sort，find）
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
06-14 406
在C++编程中，泛型编程（Generic Programming）和标准模板库（Standard Template Library，简称STL）在许多场景中起着不可替代的作用。让我们从心理学角度来看待这一问题。
【C++】万字详解Effective C++
Friday
10-28 1874
本文为前段时间读《Effective C++》（侯捷译）时做的个人笔记。
Effective C++改善程序与设计的55个具体做法笔记
网络资源是无限的
10-26 1万+
Scott Meyers大师Effective三部曲：Effective C++、More Effective C++、Effective STL，这三本书出版已很多年，后来又出版了Effective Modern C++。 More Effective C++的笔记见：https://blog.csdn.net/fengbingchun/article/details/102990753 E...
C++基础与面向对象编程深度解析
本课程名为"课程介绍2"，专为C++初学者设计，重点讲解面向对象编程(C++ Object-Oriented Programming, OOP)和泛型编程(Templates and Generic Programming)两个核心主题。C++作为世界上最早流行的面向对象语言之一，...
Effective C++条款01:视C++为一个语言联邦
流楚丶格念的博客
01-31 4284
文章目录条款01:视C++为一个语言联邦说到底C++仍是以C为基础。Object-Oriented C++Template C++STL总结 条款01:视C++为一个语言联邦 一开始，C++只是C加上一些面向对象特性。C++最初的名称C with Classes 也反映了这个血缘关系。 但是当这个语言逐渐成熟，它变得更活跃更无拘束，更大胆更冒险，开始接受 不同于C with Classes的各种观念、特性和编程战略。Exceptions (异常)对函数的 结构化带来不同的做法(见条款29) , templa
C++编程科学计算入门指南
4. **Part IV: Advanced C++**：进一步深入C++的高级特性，如模板（用于创建泛型代码），异常处理（用于错误处理），以及更复杂的输入/输出流操作（包括二进制文件）。此外，还涉及了与旧版C++代码的兼容性问题。 ...
C++Primer第五版——习题答案+详解(完整版)
热门推荐
MISAYAONE的博客
12-21 33万+
C++Primer第五版——习题答案详解 看的也比较快，但是有很多东西确实用不上，所以很多都没有深入的探讨，但是知识点覆盖的很全面，每一道题涉及的知识点我都写上简单的解释了。 文中代码的中文注释也尽量都写上，自己皆编译通过。 水平有限，如有有误之处，希望大家不吝指教！ 下面的链接是 第一章：全部题目(第一章基础较多)http:/
Effective（Modern）C++笔记01
qq_44745589的博客
10-15 409
Effectice C++01 条款01：视C++为一个语言联邦 C 区块(blocks)、语句(statements)、预处理(preprocessor)、内置数据类型(built-in data types)、数组(arrays)、指针(pointers) Object-Oriented C++ classes（包括构造和析构函数）、封装（encapsulation）、继承（inheritance）、多态（polymorphism）、virtual（动态绑定） Template 泛型编程、模
【C++刷题】力扣-#121-买卖股票的最佳时机
会写代码的饭桶
10-16 322
给定一个数组 prices，其中 prices[i] 表示第 i 天的股票价格。假设你可以在第 i 天买入并在第 j 天卖出股票（i ≤ j），设计一个算法来计算你所能获取的最大利润。注意你只能持有一股股票，并且你不能同时参与多笔交易（即在再次买入前必须卖出股票）。
C++ 游戏开发技术选型指南
进击的码农
10-12 728
在使用C++进行游戏开发时，选择合适的技术栈和工具链是项目成功的关键之一。我们探讨了游戏开发常用的一些引擎、示例代码的实现、性能优化及潜在问题解决方案。通过合理选择和配置，可以有效提高开发效率和产品质量。在此过程中，我深刻感受到技术的选择与应用只是成功的一部分，持续学习和思考如何创新更是推动项目成功的动力。希望这篇博客能对你的项目有所帮助，并期待你在开发过程中创造出更多技术上的创新与突破。
C++中的vector介绍（常用函数）
zxybf_的博客
10-15 748
vector的文档介绍vector是序列容器，表示可以改变大小的数组。(constructor)构造函数声明接口说明vector()（重点）无参构造构造并初始化n个val（重点）拷贝构造使用迭代器进行初始化构造int main()//无参的构造//n个val的构造//拷贝构造//迭代器区间构造return 0;
C++中的CRTP
最新发布
moter的专栏
10-18 568
我们知道，要定义派生类肯定需要知道基类的类型，而在使用类模板来实例化一个模板类时又得需要知道模板的实参类型，在这里实例化基类时的实参类型又是派生类的类型。CRTP基类是类模板，基类实例化之后，和派生类是一一对应的，即一个基类只能派生一个子类，而模板参数化this指针的实现方式是基类只有一个，而且是非模板类，它的派生类可以有多个，但是每定义一个派生类，在该基类中都会使用派生类类型实例化出一个对应的interface()函数，也就是在基类中会有多个interface()成员函数和它的派生类一一对应。
【C语言】指针与函数：传值与传址
我的我的博客
10-17 530
函数在使用的时候，给到的形式参数属于局部变量，仅在函数体内部有效。 1. 传值，对于两个值的交换，不影响函数调用之前的数值。这个就是传值，传递的是实参。 2. 传址，如果想通过函数来改变原本两个变量的值，那么需要传递地址。 3. 另外一种方式就是定义**全局变量**，参数不进行传递。可以直接实现在自定义函数体内，改变main函数中、或者其他函数中的值。
Effective C++：模板与泛型编程深度解析
"第七章：模板与泛型编程——Effective C++ 读书笔记" 在C++编程中，模板和泛型编程是两个强大的工具，它们极大地增强了代码的复用性和灵活性。第七章着重讨论了模板与泛型编程的概念，以及它们在实现编译期多态中...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值