【Effective Modern C++】条款24：区分万能引用和右值引用

最新推荐文章于 2025-05-13 07:45:34 发布

云之昭昭7

最新推荐文章于 2025-05-13 07:45:34 发布

阅读量193

点赞数

文章标签： c++ 开发语言

本文链接：https://blog.youkuaiyun.com/m0_62327743/article/details/134159087

版权

条款24：区分万能引用和右值引用

万能引用既可以是左值引用，也可以是右值引用。

一、模板中的万能引用

要求：T && + 类型推导。

template<typename T>
void f(T &&param);   // param是一个万能引用

template<typename T>
void f(std::vector<T> &&param);  // 右值引用，因为不是形如 T &&

// std::vector内的push_back成员函数
void push_back(T &&x); // 右值引用，因为不涉及类型推导，vector实例的类型已经确定了push_back的参数类型

用左值初始化万能引用就会得到一个左值引用，用右值初始化万能引用就会得到一个右值引用。

二、可变参数模板的万能引用

要求：Args&&... + 类型推导

// std::vector的emplace_back
template<class... Args>
void emplace_back(Args&&... args); 
// 万能引用，因为类型形参Args独立于vector的类型形参T，每次emplace_back的时候都要进行推导

三、auto的万能引用

要求：auto&&/auto&&... + 类型推导

auto &&var2 = var1;

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

云之昭昭7

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

Effective Modern C++ 条款25：对右值引用使用std::move，对通用引用使用std::forward

cf18862344377的博客

05-14

789

对标准中教条的（也可以说是有毒的）絮叨做些解释，这个特定的好事就是说，编译器可能会在按值返回的函数中消除对局部对象的拷贝（或者移动），如果满足（1）局部对象与函数返回值的类型相同；增加的开销根据实现不同而不同，这些开销是否值得担心也跟应用和库的不同而有所不同，但是事实上，将通用引用模板替换成对左值引用和右值引用的一对函数重载在某些情况下会导致运行时的开销。一些人将RVO的应用区分为命名的和未命名的（即临时的）局部对象，限制了RVO术语应用到未命名对象上，并把对命名对象的应用称为。而是设计的可扩展性差。

Effective Modern C++ 条款3：理解decltype

cf18862344377的博客

04-29

937

在这个模板中，我们不知道我们操纵的容器的类型是什么，那意味着我们同样不知道它使用的索引对象（index objects）的类型，对一个未知类型的对象使用传值通常会造成不必要的拷贝，对程序的性能有极大的影响，还会造成对象切片行为（参见。举个例子，假定我们写一个函数，一个形参为容器，一个形参为索引值，这个函数支持使用方括号的方式（也就是使用“这样的代码将会把你送上未定义行为的特快列车，一辆你绝对不想上第二次的车。“符号指出函数的返回类型，尾置返回类型的好处是我们可以在函数返回类型中使用函数形参相关的信息。

参与评论您还未登录，请先登录后发表或查看评论

《Effective Modern C++》条款24:万能引用以及右值引用

m0_66776925的博客

04-02

657

注意一下右值引用和万能引用的区别，之前没有注意过； ”万能引用“形式和右值引用类似，但是只存在模板性别推导之中；考虑如下： template<typename T> void fun_t(T&& a) { cout << "template fun" << endl; } 以及 void fun(A&& a) { cout << "fun done" << endl; } 可以看到形式

《Effective Modern C++》学习笔记之条款二十四：区分万能引用和右值引用

王木木

03-07

237

在前面的文章讲了很多万能引用，形式如"T&&"，但右值引用也可以这样表示，具体什么样的才是万能引用呢？万能引用必须涉及型别推导，且参数形式必须为“T&&”，不能带有任何其他修饰关键字（const、volatile），不是万能引用就是右值引用： template <class T> void f(T&& param); //param是一个万能引用 auto&& var1 = var2; //var1是一个万能引用,只..

《Effective Modern C++》学习笔记 - Item 24: 区分万能引用和右值引用

アルタイル

02-14

592

T&& 有两种含义：右值引用，只能绑定到右值上。万能引用（作者称为 “universal references” ），可以绑定到任何类型的变量上，包括左值或右值，const 或 non-const，volatile 或 non-volatile，以及以上的任何组合。万能引用出现在两个情景中：模板函数的参数，形式为： template<typename T> void f(T&& param); // param is a universa..

Modern Effective C++ 条款二十四：区分通用引用与右值引用

11-30

713

Args&&... args 是一个通用引用，因为形式是 type&&，并且 Args 的类型会在每次调用时被推导。初始值决定引用类型：通用引用的初始值决定了它是左值引用还是右值引用。MyTemplateType 可以是任何类型，param 是一个通用引用，因为其形式是 type&&，并且 MyTemplateType 的类型会在调用时被推导。auto&& 声明的变量是通用引用，因为会发生类型推导，并且形式是 type&&。当 T&& 用在一个有类型推导的地方时，它被称为通用引用或转发引用。

Effective Modern C++ Item 24 区分万能引用和右值引用

鳴海步的博客

08-06

428

当你看到T&&，可能会把它当做一个右值引用。但实际上事情没有那么简单，看如下代码： void f(Widget&& param); //右值引用 Widget&& var1 = Widget(); //右值引用 auto&& var2 = var1; //非右值引用 template<typename T> void f(std::vector<T>&&a

C++11：搞清楚万能引用和右值引用

luoyayun361的专栏

03-23

1880

前言我们通过一个问题来进入今天的话题： 1.形如 “type&&” 的结构，就是右值引用吗？ 2.以下哪些属于右值引用？ ① void fun(Widget && param); ② Widget && var1= Widget(); ③ auto && var2 = var1; ④ template<typename T> void f(std::vector<T>&& param); ⑤ temp

Effective Modern C++ 条款24 区分通用引用和右值引用

大黄鸭

08-31

3151

Effective Modern C++ 条款24

《Effective Modern C++》条款26:不要和万能引用一起重载

m0_66776925的博客

04-06

582

本章节主要讲述关于万能引用重载的一些问题，指出重载的可能问题；关于万能引用可能解决问题的前瞻性讨论：例如，考虑下列函数： 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() {

Effective Modern C++ 条款12：使用override声明重写函数

cf18862344377的博客

05-05

974

比如，下面的代码是完全合法的，咋一看，还很有道理，但是它没有任何虚函数重写——没有一个派生类函数联系到基类函数。后面我还会提到引用限定符修饰成员函数，但是现在，只需要记住如果基类的虚函数有引用限定符，派生类的重写就必须具有相同的引用限定符。，你可以只改变基类函数签名，重编译系统，再看看你造成了多大的问题（即，多少派生类不能通过编译），然后决定是否值得如此麻烦更改函数签名。，你只能寄希望于完善的单元测试，因为，正如我们所见，派生类虚函数本想重写基类，但是没有，编译器也没有探测并发出诊断信息。

Effective Modern C++ 条款1：理解模板类型推导

cf18862344377的博客

04-27

1016

Effective Modern C++ 条款38：关注不同线程句柄的析构行为

cf18862344377的博客

05-22

1144

最后，决定先不改变，所以C++11和C++14中这里的行为是一致的。满足上面条件的任意一条（比如由于程序逻辑造成的不满足），你就可以确定析构函数不会执行“异常”行为。因为与被调用者关联的对象和与调用者关联的对象都不适合存储这个结果，所以必须存储在两者之外的位置。阻塞了它们的析构函数”。我们真正要处理的是一个简单的“正常”行为以及一个单独的例外。的数据成员（当然，还做了另一件事，就是递减了共享状态中的引用计数，这个共享状态是由引用它的。创建的共享状态才有资格执行“异常”行为，但是有其他创建共享状态的方式。

华为OD机试真题——单词接龙（首字母接龙）（2025A卷：100分）Java/python/JavaScript/C/C++/GO最佳实现

专注分享技术、实用优质教程、资源

05-11

599

华为OD机试真题——单词接龙（首字母接龙）（2025A卷：100分）Java/python/JavaScript/C/C++/GO最佳实现

C++11----智能指针

2403_82706967的博客

05-10

984

public:SmartPtr(T* ptr) : _ptr(ptr) {} // 构造时获取资源~SmartPtr() { // 析构时释放资源} // 行为像指针private:T* _ptr;// 使用示例：自动释放资源，无需手动deletevoid f() {// 解引用// 指针访问div();// 若抛异常，sp1/sp2/sp4析构时自动释放//浅拷贝问题：SmartPtr未自定义赋值导致内存泄漏sp1 = sp2;

C 语言_程序编译全过程详解