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

最新推荐文章于 2024-07-23 14:27:00 发布
最新推荐文章于 2024-07-23 14:27:00 发布
阅读量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 444
右值都是些短暂存在的临时对象。 //拷贝构造函数：这意味着深拷贝 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 2120
引用折叠原则和完美转发是有联系的，可以说后者是基于前者的某些特性实现的，具体来看一下。 要理解完美转发，需要了解两个知识点： 1. 引用折叠原则（Reference collapsing rules）。 2. 右值函数模版参数类型推导（Template argument deduction）先看引用折叠。所谓引用折叠或者崩塌（collapse）既为当引用指向引用的时候，这里的引用可以是左值也可
C＋＋ Template学习笔记之函数模板（4）——显式模板实参
Skyman的部落格
01-12 2750
        在某些情况下编译器不可能推演出模板实参的类型。如笔记(2)中所举的例子，如果模板实参推演过程为同一模板实参推演出两个不同的类型，则编译器会给出一个错误，指出模板推演失败。        在这种情况下，我们需要改变模板实参推演机制，使用显式指定(explicitly specify)模板实参。模板实参被显式指定在逗号分隔的列表中，用尖括号        template       
c++新特性左右值引用和引用折叠，完美转发
最新发布
weixin_50873490的博客
07-23 590
总的来说,C++11 及以后版本为左值和右值引入了更加细致的概念和相关特性,如左值引用、右值引用、移动语义、完美转发等。这些特性为我们提供了更加灵活和高效的编程方式,使得 C++ 在泛型编程和性能优化方面有了长足的进步。
引用折叠
CHAO2014YUYING的博客
12-28 716
引用折叠，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 854
引用折叠：创建引用的引用时（如模板参数、类型别名）会造成引用折叠。 在所有情况下（除了一个例外），引用折叠成一个普通的左值引用类型。一种特殊情况下，引用会折叠成右值引用，即右值引用的右值引用， T&& &&。 折叠规则如下： 1. &+& -> & &&+&->& &+&&->& 2.&&+&& -> && 3.左
C++:模板实参推断及引用折叠
六天
06-14 4996
1.模板实参推断的概念对于函数模板和类模板，编译器利用调用中的实参函数来确定其模板参数。 从函数实参来确定模板实参的过程，称为模板实参推断。 模板实参的推断和常规的函数实参推断的规则不一样，尤其是在类型转换这一方面，两者大不相同。2. 模板实参推断过程中的类型转换同非模板函数，在一次调用中传递给函数模板的实参来初始化函数的形参。如果函数形参类型是泛型，采用特殊的初始化规则。 1.const转换
C++模板实参类型推导
程序漫漫
05-17 901
1. 什么是模板 C++特性之一，批量生成代码的手段。 2. 模板有什么应用? 1. 泛型编程 例如：std::vector 2. 模板元编程 利用模板的特化等特性，在编译期计算出结果。 例如： 3.模板实参类型推导 虽然模板这么牛逼，但是今天我们不讲上述两个特性，我们讲一下细节：给模板填入一个类型时，模板是如何推导出实参(T)的类型。 1.实参确定的几种方式 编译期间，编译器一定会确定每个模板实参T的类型，一般开发者指定类型有以下几种方式。 显式指定，如图 fun(15); 直接指定T的类型为int，
C++11(15): 模板与泛型编程
White_xiaobai的专栏
09-16 1943
面向对象编程和泛型编程都能处理在编写程序时不知道类型的情况。不同之处：OOP能处理类型在程序运行之前都未知的情况；而泛型编程中，在编译时就能获知类型了 模板参数类别不能为空。 模板参数表示在类或函数定义中用到的类型或值。 template int compare(const T &v1 , const T &v2) {     if(v1     if(v2     return
C++的引用折叠
Memory1011的博客
02-24 119
转自：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 256
template<typename T> void f(T&& param) { std::cout<<param; } f(10); // 10是右值 int && int x = 10; f(x); // x是左值 int & 以上这种万能引用类型(param的类型)能万能引用不同类型的参数,这种类型必须被初始化,而它是左值还是右值则取决于它的初始化，如果被左值初始化，那么它就是左值，反之亦然。那么什么时候是左值，什么...
C++引用折叠 —— 摘自维基百科
早起的虫儿@04637
08-08 546
引用折叠规则 对于C++语言，不可以在源程序中直接对引用类型再施加引用。T& &将编译报错。C++11标准中仍然禁止上述显式对引用类型再施加引用，但如果在上下文环境中（包括模板实例化、typedef、auto类型推断等）如出现了对引用类型再施加引用，则施行引用塌缩规则（reference collapsing rule）又译作引用折叠规则： T& &变为T&T& &&变为T&T&& &变为
C++11的引用折叠
Xiami2019的博客
01-20 426
创建一个引用的引用，引用就会折叠。除了右值引用的右值引用折叠之后还是右值引用之外，其它的引用全部折叠成左值引用。 X& &、X& &&、X&& &都折叠成X& X&& &&折叠为X&& 参考博客 ...
C++ 中的万能引用、引用折叠、完美转发
qq_41841073的博客
09-24 1061
在学习c++过程中，相信不少同学都或多或少的听过万能引用、引用折叠、完美转发，介绍这几个概念之前，首先列举下左值和右值的概念；
C++笔记之引用折叠规则
小勇博客
09-19 648
C++中的引用折叠规则是一种规则，用于确定两个或更多引用类型相互结合时的最终引用类型。引用折叠通常发生在模板参数的推导过程中，特别是在模板元编程和泛型编程中。
C++语法学习笔记二十七： 引用折叠，转发、完美转发，forward
哲学天空的博客
08-25 271
// 引用折叠，转发、完美转发，forward #include <iostream> using namespace std; template<typename T> void myfunc(T &&tmprv) { //万能引用 cout << tmprv << endl; return; } void myfunc1(int v1, int v2){ ++v2;// 改变v2值，让其自加1 cout <&lt
C++模板限制与类型抽象：理解模形参与模板实参
在使用函数模板时，编译器会利用模实参推断机制自动确定模板参数的实际类型，无需显式指定。这种机制基于函数调用中的实参，通过比较实参的类型来确定模板参数的类型。一旦推断出模实参，模板就会实例化为特定的函数...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值