C++ ：引用折叠和显式模板实参

最新推荐文章于 2024-09-06 07:24:06 发布
最新推荐文章于 2024-09-06 07:24:06 发布
阅读量353 收藏
点赞数 1
分类专栏： C++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_22660775/article/details/89373330
版权
本文介绍了C++中的引用折叠现象，这是在处理模板和引用类型时的一个特殊规则。引用折叠允许将左值传递给右值引用参数，并在某些情况下折叠成左值引用。此外，文章还讨论了当编译器无法推断模板实参类型时，如何使用显式模板实参来指定类型。
摘要由CSDN通过智能技术生成

引用折叠

为了理解引用折叠，我们给出下面的例子：

template <typename T> void f(T&&);
f(i);

假定 i 是一个 int 对象，我们可能认为 f(i) 这样的调用是不合法的。毕竟，i 是一个左值，而通常我们不能将一个右值引用绑定到一个左值上。但是，C++在正常绑定规则之外定义了两个例外规则，允许这种绑定。

  • 第一个例外规则：当我们将一个左值传递给函数的右值引用参数，且此右值引用指向模板类型参数时，编译器推断模板类型参数为实参的左值引用类型。

因此，当我们调用 f(i) 时，编译器

最低0.47元/天 解锁文章
freshman94
关注
专栏目录
[zz]透彻理解C++11新特性：右值引用、std::move、std::forward
突围
08-16 452
右值都是些短暂存在的临时对象。 //拷贝构造函数：这意味着深拷贝 Vector::Vector(Vector& v){ this.num = v.num; this.a = new int[num]; for(int i=0;i<num;++i){a[i]=v.a[i]} } //移动构造函数：这意味着浅拷贝 Vector::Vector(Vector&& temp){ this.num = temp.num; this.a = temp.a; temp.a = nul.
C++11 reference collapsing and perfect forward (引用折叠以及完美转发)
beyongwang的博客
01-04 2122
引用折叠原则和完美转发是有联系的，可以说后者是基于前者的某些特性实现的，具体来看一下。 要理解完美转发，需要了解两个知识点： 1. 引用折叠原则（Reference collapsing rules）。 2. 右值函数模版参数类型推导（Template argument deduction）先看引用折叠。所谓引用折叠或者崩塌（collapse）既为当引用指向引用的时候，这里的引用可以是左值也可
C＋＋ Template学习笔记之函数模板（4）——显式模板实参
Skyman的部落格
01-12 2751
        在某些情况下编译器不可能推演出模板实参的类型。如笔记(2)中所举的例子，如果模板实参推演过程为同一模板实参推演出两个不同的类型，则编译器会给出一个错误，指出模板推演失败。        在这种情况下，我们需要改变模板实参推演机制，使用显式指定(explicitly specify)模板实参。模板实参被显式指定在逗号分隔的列表中，用尖括号        template       
C++相关概念和易错语法（27）（forward、引用折叠）
SGlow0708的博客
08-22 744
我在最开始的时候提出了一类问题，引用折叠解决了第一步，就是将重复的代码合并，利用模板函数推导左值引用或者右值引用。但是分开处理的函数一般来说是同名的（功能相似，对象不一致），调用的时候如何区分左值和右值引用呢？下面以int来解释上述代码：传入的是左值，那么如Fun(a)，那么T就会被实例化为int&，T& &&根据引用折叠推导出类型也是int&，即左值引用。，因为右值引用存在退化的现象，即引用的对象是右值，而引用本身是左值。下面是引用折叠的基本形式，当使用T&&，那么该类型就会触发引用折叠。
引用折叠
CHAO2014YUYING的博客
12-28 722
引用折叠，C++11出现的新概念，声明类型的方法是：T&&，具体信息可以看下面的代码： Class A { A() {// do something} }; A GetA() { return A(); } int main() { A a1 = GetA(); // a1是左值 A&& a2 = GetA(); // a2是右值引用 return 0; } a1是左值，在构造时使用了GetA() 产生的临时对象，之后GetA()产生的临时对象会销毁。a2是右值引用，其指
C++引用折叠
qq_35836473的博客
04-30 856
引用折叠：创建引用的引用时（如模板参数、类型别名）会造成引用折叠。 在所有情况下（除了一个例外），引用折叠成一个普通的左值引用类型。一种特殊情况下，引用会折叠成右值引用，即右值引用的右值引用， T&& &&。 折叠规则如下： 1. &+& -> & &&+&->& &+&&->& 2.&&+&& -> && 3.左
C++:模板实参推断及引用折叠
六天
06-14 4997
1.模板实参推断的概念对于函数模板和类模板，编译器利用调用中的实参函数来确定其模板参数。 从函数实参来确定模板实参的过程，称为模板实参推断。 模板实参的推断和常规的函数实参推断的规则不一样，尤其是在类型转换这一方面，两者大不相同。2. 模板实参推断过程中的类型转换同非模板函数，在一次调用中传递给函数模板的实参来初始化函数的形参。如果函数形参类型是泛型，采用特殊的初始化规则。 1.const转换
C++模板实参类型推导
程序漫漫
05-17 903
1. 什么是模板 C++特性之一，批量生成代码的手段。 2. 模板有什么应用? 1. 泛型编程 例如：std::vector 2. 模板元编程 利用模板的特化等特性，在编译期计算出结果。 例如： 3.模板实参类型推导 虽然模板这么牛逼，但是今天我们不讲上述两个特性，我们讲一下细节：给模板填入一个类型时，模板是如何推导出实参(T)的类型。 1.实参确定的几种方式 编译期间，编译器一定会确定每个模板实参T的类型，一般开发者指定类型有以下几种方式。 显式指定，如图 fun(15); 直接指定T的类型为int，
C++11(15): 模板与泛型编程
White_xiaobai的专栏
09-16 1946
面向对象编程和泛型编程都能处理在编写程序时不知道类型的情况。不同之处：OOP能处理类型在程序运行之前都未知的情况；而泛型编程中，在编译时就能获知类型了 模板参数类别不能为空。 模板参数表示在类或函数定义中用到的类型或值。 template int compare(const T &v1 , const T &v2) {     if(v1     if(v2     return
C++的引用折叠
Memory1011的博客
02-24 121
转自：http://www.pinlue.com/article/2021/02/1416/2111536260146.html
引用折叠 C++
milaiko的博客
04-15 596
C++ 中的引用折叠 引言 先来定义一个函数模板，其中的参数是一个右值引用。 template <typename T> void f3(T&&); f3(42); 正常绑定规则告诉我们可以传递给它右值。那如果 int i =10; f3(i); 这里给f3调用了左值，按道理这是不ok的，但是C++在正常规则下定义了两个例外规则。 第一个例外规则 第一高例外规则影响了右值引用参数的推断，当我们将一个左值传递给函数的右值引用参数，且右值引用指向模板类型参数如（T&&
C++11引用折叠
q398211420的博客
05-04 257
template<typename T> void f(T&& param) { std::cout<<param; } f(10); // 10是右值 int && int x = 10; f(x); // x是左值 int & 以上这种万能引用类型(param的类型)能万能引用不同类型的参数,这种类型必须被初始化,而它是左值还是右值则取决于它的初始化，如果被左值初始化，那么它就是左值，反之亦然。那么什么时候是左值，什么...
详解 C++ 引用折叠
最新发布
先天无极编程圣体的博客
09-06 652
引用折叠是 C++ 中处理引用类型推导的一个重要机制，它确保了在模板参数推导过程中引用类型能正确折叠成符合预期的左值引用或右值引用。T& &折叠为T&；T& &&折叠为T&；T&& &折叠为T&；T&& &&折叠为T&&。引用折叠常用于转发引用，结合实现参数的完美转发，从而保持参数的值类别不变，适用于泛型编程场景。
C++引用折叠 —— 摘自维基百科
早起的虫儿@04637
08-08 547
引用折叠规则 对于C++语言，不可以在源程序中直接对引用类型再施加引用。T& &将编译报错。C++11标准中仍然禁止上述显式对引用类型再施加引用，但如果在上下文环境中（包括模板实例化、typedef、auto类型推断等）如出现了对引用类型再施加引用，则施行引用塌缩规则（reference collapsing rule）又译作引用折叠规则： T& &变为T&T& &&变为T&T&& &变为
C++11的引用折叠
Xiami2019的博客
01-20 429
创建一个引用的引用，引用就会折叠。除了右值引用的右值引用折叠之后还是右值引用之外，其它的引用全部折叠成左值引用。 X& &、X& &&、X&& &都折叠成X& X&& &&折叠为X&& 参考博客 ...
C++ 中的万能引用、引用折叠、完美转发
qq_41841073的博客
09-24 1063
在学习c++过程中，相信不少同学都或多或少的听过万能引用、引用折叠、完美转发，介绍这几个概念之前，首先列举下左值和右值的概念；
C++笔记之引用折叠规则
小勇博客
09-19 662
C++中的引用折叠规则是一种规则，用于确定两个或更多引用类型相互结合时的最终引用类型。引用折叠通常发生在模板参数的推导过程中，特别是在模板元编程和泛型编程中。
C++模板限制与类型抽象：理解模形参与模板实参
在使用函数模板时，编译器会利用模实参推断机制自动确定模板参数的实际类型，无需显式指定。这种机制基于函数调用中的实参，通过比较实参的类型来确定模板参数的类型。一旦推断出模实参，模板就会实例化为特定的函数...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值