C++ 11 Reference qualifier or ref-qualifier

2024-02-08 05:04
文章标签 c++ reference ref qualifier

本文主要是介绍C++ 11 Reference qualifier or ref-qualifier,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

从一个例子说起,先看下面的例子

class Foo {
private:std::string name;
public:Foo(const std::string& n) : name{n}{}std::string getName() {return name;}};int main() {Foo foo{"Qualifiers"};std::string n = foo.getName();}

这里将成员函数name拷贝出来赋值给n,如果name是一个很长的字符串,那么拷贝的成本就很高。

为了性能,可能会提出如下的方案:

class Foo {
private:std::string name;
public:Foo(const std::string& n) : name{n}{}const std::string& getName() {return name;}};int main() {Foo foo{"Qualifiers"};std::string n = foo.getName();std::cout << n << std::endl;    
}

这次返回一个const引用,n即为foo.name的一个引用,相比之下,性能提高不少。但是这种方案有一个缺陷。如果对一个临时Foo对象调用,会导致undefined behavior.

Foo createFoo() {Foo foo{"tem"};return foo;
}int main() {const std::string& n = createFoo().getName(); //创建一个临时Foo对象,该对象没有名字,因此是一个右值std::cout << n << std::endl;  // 临时对象已析构,但是n引用这个已经析构的对象的成员,此时导致未定义行为UB}

看来性能和安全似乎无法兼顾?如果有一种方法,当Foo的对象是右值时,就让getName返回值,当Foo对象是左值时就返回const引用,就可以兼顾性能和安全了,怎么才能做到呢?

答案就是reference qualifier

先看看怎么来实现

class Foo {
private:std::string name;
public:Foo(const std::string& n) : name{n}{}const std::string& getName() const & {    // <---注意这里的&return name;}std::string getName() const && {    // <---注意这里的&&return name;}};Foo createFoo() {Foo foo{"tem"};return foo;
}int main() {std::cout << createFoo().getName() << std::endl;std::string n = createFoo().getName(); //返回的不是引用,而是值,因此临时Foo对象析构,并不影响nstd::cout << n << std::endl; //可以正常使用Foo foo{"Qualifiers"};const std::string& n2 = foo.getName(); //左值,所以返回的是引用std::cout << n2 << std::endl;}

如果这样写:

    const std::string& n = createFoo().getName(); // compiler errorstd::cout << n << std::endl

将会触发编译错误:

error: binding reference of type 'std::string&' {aka 'std::__cxx11::basic_string<char>&'} to 'const std::string' {aka 'const std::__cxx11::basic_string<char>'} discards qualifiers

26 | std::string& ref = createFoo().getName();

     | ~~~~~~~~~~~~~~~~~~~^~

简单来说,reference qualifier就是用来对成员函数基于对象的左值和右值进行重载,调用该成员函数的时候,当调用者是一个左值的时候,就调用由& 标记的成员函数,当调用者是一个右值的时候,就调用由&&标记的成员函数。

另外,当调用者是右值的时候,说明这个对象即将被销毁,因此可以使用移动语义从对象种窃取数据

class Foo {
private:std::string name;
public:Foo(const std::string& n) : name{n}{}const std::string& getName() const & {    // <---注意这里的&return name;}std::string getName() const && {    // <---注意这里的&&return std::move(name);         // <---使用std::move来开启移动语义}};

这篇关于C++ 11 Reference qualifier or ref-qualifier的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/689977

相关文章

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝