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++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

C++ Log4cpp跨平台日志库的使用小结

《C++Log4cpp跨平台日志库的使用小结》Log4cpp是c++类库,本文详细介绍了C++日志库log4cpp的使用方法,及设置日志输出格式和优先级,具有一定的参考价值,感兴趣的可以了解一下... 目录一、介绍1. log4cpp的日志方式2.设置日志输出的格式3. 设置日志的输出优先级二、Window

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C