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++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基

c++日志库log4cplus快速入门小结

《c++日志库log4cplus快速入门小结》文章浏览阅读1.1w次,点赞9次,收藏44次。本文介绍Log4cplus,一种适用于C++的线程安全日志记录API,提供灵活的日志管理和配置控制。文章涵盖... 目录简介日志等级配置文件使用关于初始化使用示例总结参考资料简介log4j 用于Java,log4c

C++归并排序代码实现示例代码

《C++归并排序代码实现示例代码》归并排序将待排序数组分成两个子数组,分别对这两个子数组进行排序,然后将排序好的子数组合并,得到排序后的数组,:本文主要介绍C++归并排序代码实现的相关资料,需要的... 目录1 算法核心思想2 代码实现3 算法时间复杂度1 算法核心思想归并排序是一种高效的排序方式,需要用

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)