Effective Modern C++ 条款27：熟悉通用引用重载的替代方法

最新推荐文章于 2024-10-17 15:47:06 发布
最新推荐文章于 2024-10-17 15:47:06 发布
阅读量723 收藏 8
点赞数 25
分类专栏： Effective Modern C++ 文章标签： c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cf18862344377/article/details/138550323
版权
本文探讨了在C++中如何避免在通用引用上进行重载的问题，介绍了几种替代方法，包括放弃重载、传递const T&、传值、使用tag dispatch以及约束使用通用引用的模板。通过这些方法，可以实现期望的行为并解决通用引用和重载可能导致的困扰。
摘要由CSDN通过智能技术生成

更多C++学习笔记，关注 wx公众号：cpp读书笔记

Item 27: Familiarize yourself with alternatives to overloading on universal references

Item26中说明了对使用通用引用形参的函数，无论是独立函数还是成员函数（尤其是构造函数），进行重载都会导致一系列问题。但是也提供了一些示例，如果能够按照我们期望的方式运行，重载可能也是有用的。这个条款探讨了几种，通过避免在通用引用上重载的设计，或者通过限制通用引用可以匹配的参数类型，来实现所期望行为的方法。

讨论基于Item26中的示例，如果你还没有阅读那个条款，请先阅读那个条款再继续。

放弃重载

在Item26中的第一个例子中，logAndAdd是许多函数的代表，这些函数可以使用不同的名字来避免在通用引用上的重载的弊

了解本专栏 订阅专栏 解锁全文 超级会员免费看
举个栗子2
关注
专栏目录
订阅专栏
Effective Modern C++ 条款26：避免在通用引用上重载
cf18862344377的博客
05-14 642
中说明，在适当的条件下，C++会生成拷贝和移动构造函数，即使类包含了模板化的构造函数，模板函数能实例化产生与拷贝和移动构造函数一样的签名，也在合适的条件范围内。如同注释表示的，派生类的拷贝和移动构造函数没有调用基类的拷贝和移动构造函数，而是调用了基类的完美转发构造函数！根据正常的重载解决规则，精确匹配优先于类型提升的匹配，所以被调用的是通用引用的重载。确实我们是这样想的，但是编译器严格遵循C++的规则，这里的相关规则就是控制对重载函数调用的解析规则。使用通用引用的函数在C++中是最贪婪的函数。
Effective Modern C++ 条款30：熟悉完美转发失败的情况
cf18862344377的博客
05-16 1212
在大多数情况下，完美转发工作的很好。你基本不用考虑其他问题。但是当其不工作时——当看起来合理的代码无法编译，或者更糟的是，虽能编译但无法按照预期运行时——了解完美转发的缺陷就很重要了。同样重要的是如何解决它们。在大多数情况下，都很简单。当模板类型推导失败或者推导出错误类型，完美转发会失败。导致完美转发失败的实参种类有花括号初始化，作为空指针的0或者NULL，仅有声明的整型数据成员，模板和重载函数的名字，位域。
Effective Modern C++ 条款27 熟悉替代重载通用引用的方法
大黄鸭
09-04 2394
Effective Modern C++ 条款27
Effective Modern C++ 条款3：理解decltype
cf18862344377的博客
04-29 865
在这个模板中，我们不知道我们操纵的容器的类型是什么，那意味着我们同样不知道它使用的索引对象（index objects）的类型，对一个未知类型的对象使用传值通常会造成不必要的拷贝，对程序的性能有极大的影响，还会造成对象切片行为（参见。举个例子，假定我们写一个函数，一个形参为容器，一个形参为索引值，这个函数支持使用方括号的方式（也就是使用“这样的代码将会把你送上未定义行为的特快列车，一辆你绝对不想上第二次的车。“符号指出函数的返回类型，尾置返回类型的好处是我们可以在函数返回类型中使用函数形参相关的信息。
Effective Modern C++ 条款25：对右值引用使用std::move，对通用引用使用std::forward
cf18862344377的博客
05-14 736
对标准中教条的（也可以说是有毒的）絮叨做些解释，这个特定的好事就是说，编译器可能会在按值返回的函数中消除对局部对象的拷贝（或者移动），如果满足（1）局部对象与函数返回值的类型相同；增加的开销根据实现不同而不同，这些开销是否值得担心也跟应用和库的不同而有所不同，但是事实上，将通用引用模板替换成对左值引用和右值引用的一对函数重载在某些情况下会导致运行时的开销。一些人将RVO的应用区分为命名的和未命名的（即临时的）局部对象，限制了RVO术语应用到未命名对象上，并把对命名对象的应用称为。而是设计的可扩展性差。
Effective Modern C++ 条款12：使用override声明重写函数
cf18862344377的博客
05-05 894
比如，下面的代码是完全合法的，咋一看，还很有道理，但是它没有任何虚函数重写——没有一个派生类函数联系到基类函数。后面我还会提到引用限定符修饰成员函数，但是现在，只需要记住如果基类的虚函数有引用限定符，派生类的重写就必须具有相同的引用限定符。，你可以只改变基类函数签名，重编译系统，再看看你造成了多大的问题（即，多少派生类不能通过编译），然后决定是否值得如此麻烦更改函数签名。，你只能寄希望于完善的单元测试，因为，正如我们所见，派生类虚函数本想重写基类，但是没有，编译器也没有探测并发出诊断信息。
《Effective Modern C++》条款24:万能引用以及右值引用
m0_66776925的博客
04-02 610
注意一下右值引用和万能引用的区别，之前没有注意过； ”万能引用“形式和右值引用类似，但是只存在模板性别推导之中； 考虑如下： template<typename T> void fun_t(T&& a) { cout << "template fun" << endl; } 以及 void fun(A&& a) { cout << "fun done" << endl; } 可以看到形式
《Effective Modern C++》条款26:不要和万能引用一起重载
m0_66776925的博客
04-06 545
本章节主要讲述关于万能引用重载的一些问题，指出重载的可能问题； 关于万能引用可能解决问题的前瞻性讨论： 例如，考虑下列函数： vector<string> names; void logAndAdd(const string& name) { auto now = chrono::system_clock::now(); //log(now, "log and add"); names.emplace_back(name); } int main() {
C++学习：Effective Modern C++条款
追风筝的人的专栏
06-11 810
条款1：理解模板类型推导 推导模版类型时，引用的值视为非引用，即忽略引用。 推导通用引用类型参数时，左值特殊处理。 推导传值参数时，忽略const和volatile。 +推导模版类型时，参数是数组或函数名则退化为指针，除非用来初始化引用。 条款2：理解auto类型推导 推导auto类型一般和推导模版类型是一致的，但auto类型推导对于大括号初始化{}会推导为std::initializer_list，模版类型推导则不会。 做为函数返回类型或lambda参数中的auto类型推导意味着模版类型推导，而不做
C++，STL 028（24.10.11）
Erif_Liu的博客
10-12 230
利用sort排序算法来对deque容器进行排序。
如何用c++模拟创建用户（只得创建一个用户）
2301_78863827的博客
10-14 770
模拟系列，希望大家能多提意见
C语言内存函数
L73S37的博客
10-13 443
对于重叠内存，用memmove来实现。
【C语言】指针与函数：传值与传址
最新发布
我的我的博客
10-17 475
函数在使用的时候，给到的形式参数属于局部变量，仅在函数体内部有效。 1. 传值，对于两个值的交换，不影响函数调用之前的数值。这个就是传值，传递的是实参。 2. 传址，如果想通过函数来改变原本两个变量的值，那么需要传递地址。 3. 另外一种方式就是定义**全局变量**，参数不进行传递。可以直接实现在自定义函数体内，改变main函数中、或者其他函数中的值。
C++文档数据保存与解析
一个大佬的博客
10-12 344
【代码】C++文档数据保存与解析。
C++ 中的自旋锁应用：SpinLockManual、SpinLockGuard 和 SpinLockTryGuard
极地星辰
10-13 341
在多线程编程中，同步机制是确保线程安全的关键。自旋锁（Spin Lock）是一种常见的同步机制，它通过忙等待（busy-waiting）的方式来实现线程间的互斥访问。在 C++ 中，我们可以使用 `std::atomic_flag` 来实现自旋锁。本文将介绍如何使用 `SpinLockManual`、`SpinLockGuard` 和 `SpinLockTryGuard` 这三个类来应用自旋锁。
learn C++ NO.23——map、set的模拟实现
sinzz的博客
10-13 1007
本篇文章以STL库为模板，模拟实现了map和set。实现了map和set的跌打器部分以及map的operator[]。通过封装一份简易版本的map和set，学习库的设计者的设计思路，以到达更好的理解map和set。
C++ 的存储类型与新的 thread_local
oRbIt 的专栏
10-14 670
存储周期只是一个概念，是程序语义范畴内的东西，但不是语法的范畴。存储类型说明符也被称为存储类型，它们是变量声明语法中类型说明符的一部分，它们和变量名的范围一起控制变量的两个独立属性，即存储周期和链接属性。
Types and Programming Languages, Benjamin C. Pierce 学习笔记（一） Introduction
ldc1513的博客
10-14 335
they compute （eg：C++里面的类型系统，通过类型检查来规避一些类型错误）.
C++菱形继承
switch_JR的博客
10-14 347
此外，还可以通过提供一个重新解释函数（如 __asTermPositions()）来安全地在不同继承路径之间转换对象指针，而不需要使用 dynamic_cast 或依赖 RTTI。这段代码是从C++头文件Terms.h中摘录的，它定义了一个纯虚函数__asTermPositions()，用于解决C++中的菱形继承问题。这段代码定义了一个用于解决菱形继承问题的纯虚函数。是一个纯虚函数声明。菱形继承问题发生在多重继承的场景中，当一个类通过两条不同的路径继承自同一个基类时，会导致基类成员的重复。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

举个栗子2

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值