Item 28: Understand reference collapsing.

Item 28: Understand reference collapsing.

引用折叠。
不同的引用是不能同时使用的。例如: Widget& && w 是非法的。但是在特定情况下,引用是可以折叠的。
首先一个知识点:
在使用模板函数的时候

	template<typename T>
	void func(T&& param)

C++的编码机制为,当传入参数为左值的时候,T将推导为左值引用,当传入参数为右值的时候,T将推导为非引用
例如:

Widget widgetFactory();
Widget w;
func(w);                            w为左值,将被推导为Widget&类型
func(widgetFactory());              参数为右值,将被推导为Widget类型

下面类解释引用折叠原理。当在以下四种情况的时候,引用是可以连续使用的,但是会被系统折叠,折叠的原理就是

T& &   -> T&   
T& &&  -> T&
T&& &  -> T&
T&& && -> T&&

左值右值引用的配搭有四种,只有当右值和右值在一起的时候会折叠为右值,其他的情况都是左值。
现在由引用折叠来解释完美转发的原理

template<typename T>
T&& forward(typename remove_reference<T>::type& param)
{
	return static_cast<T&&>(param);
}

当传入一个左值Widge 的时候,T将被推导为Widge& 类型(上面说过),代入到模板中:

Widge& && forward(typename remove_reference<Widge&>::type& param)
{
	return static_cast<Widge& &&>(param);
}

按照之前说的折叠原理:

Widge& forward(Widge& param)
{
	return static_cast<Widge&>(param);
}

再来看当输入为右值的时候, T将被推导为Widge,代入:

Widge && forward(typename remove_reference<Widge>::type& param)
{
	return static_cast<Widge&&>(param);
}

化简后:

Widge&& forward(Widge& param)
{
	return static_cast<Widge&&>(param);
}

返回右值。
在c++14中,remove_reference_t 简化了代码:

template<typename T>
T&& forward(remove_reference_t<T>& param)
{
	return static_cast<T&&>(param);
}

这是第一种可以折叠引用的情况,也是最常用的,第二种就是auto, 因为之前的章节讲过,auto 其实是和template 相似,auto&& w1 = w, 因为w1被初始化为左值,所以auto将被推导为 Widge&, 然后整体结果就是 Widge& && w1 = w, 折叠后Widge& w1 = w。 当 auto&& w2 = widgetFactory() 时,auto 被推导为 Widge(右值推导),结果就变成 Widge&& w2 = widgetFactory()

第三种引用的折叠情况为typedefs 或者alias, 别名。

template<typename T>
class Widget{
public:
	typedef T&& RvalueRefToT;
	...
};

Widget<int&> w;  当我们用左值进行初始化时

typedef int& && RvalueRefToT;  这里将T替换为int&
typedef int& RvalueRefToT; 折叠后变成这样

最后一种就是decltype

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
SQLAlchemy 是一个 SQL 工具包和对象关系映射(ORM)库,用于 Python 编程语言。它提供了一个高级的 SQL 工具和对象关系映射工具,允许开发者以 Python 类和对象的形式操作数据库,而无需编写大量的 SQL 语句。SQLAlchemy 建立在 DBAPI 之上,支持多种数据库后端,如 SQLite, MySQL, PostgreSQL 等。 SQLAlchemy 的核心功能: 对象关系映射(ORM): SQLAlchemy 允许开发者使用 Python 类来表示数据库表,使用类的实例表示表中的行。 开发者可以定义类之间的关系(如一对多、多对多),SQLAlchemy 会自动处理这些关系在数据库中的映射。 通过 ORM,开发者可以像操作 Python 对象一样操作数据库,这大大简化了数据库操作的复杂性。 表达式语言: SQLAlchemy 提供了一个丰富的 SQL 表达式语言,允许开发者以 Python 表达式的方式编写复杂的 SQL 查询。 表达式语言提供了对 SQL 语句的灵活控制,同时保持了代码的可读性和可维护性。 数据库引擎和连接池: SQLAlchemy 支持多种数据库后端,并且为每种后端提供了对应的数据库引擎。 它还提供了连接池管理功能,以优化数据库连接的创建、使用和释放。 会话管理: SQLAlchemy 使用会话(Session)来管理对象的持久化状态。 会话提供了一个工作单元(unit of work)和身份映射(identity map)的概念,使得对象的状态管理和查询更加高效。 事件系统: SQLAlchemy 提供了一个事件系统,允许开发者在 ORM 的各个生命周期阶段插入自定义的钩子函数。 这使得开发者可以在对象加载、修改、删除等操作时执行额外的逻辑。
1. range-based for循环 range-based for循环是C++11引入的一种新的循环结构,它可以简化对容器和数组等数据结构的遍历。其语法形式如下: ``` for (declaration : range_expression) statement ``` 其中,declaration是一个变量声明,range_expression是一个表示要遍历的数据结构的表达式,statement是循环体中要执行的语句。 range_expression可以是任何具有begin()和end()成员函数的对象,包括STL容器、原生数组、指针等。循环的过程中,declaration将会被自动初始化为range_expression中的每个元素,从而实现遍历。 2. 结构化绑定(structured bindings) 结构化绑定是C++17引入的一种新的语言特性,它可以将一个复杂的数据结构拆分成若干个变量,使得代码更加简洁易读。其语法形式如下: ``` auto [var1, var2, ...] = expression; ``` 其中,var1、var2等表示要绑定的变量名,expression表示要进行拆分的数据结构。 结构化绑定可以用在任何支持解包的上下文中,例如函数返回值、for循环中的迭代器等。 3. 引用折叠(reference collapsing) 引用折叠是C++11引入的一种语言特性,用于规定C++中引用类型的组合方式。其规则如下: - 对于右值引用(Rvalue Reference,T&&),无论与左值引用还是右值引用相结合,都会得到右值引用类型。 - 对于左值引用(Lvalue Reference,T&),在不使用模板特化的情况下,左值引用与左值引用相结合得到左值引用,右值引用与左值引用结合得到右值引用类型。 - 在使用模板特化的情况下,引用折叠规则会发生变化。 引用折叠的主要作用是简化模板编程中的引用类型推导。它也是许多新特性的基础,例如完美转发、可变参数模板等。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值