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++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解

《C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解》:本文主要介绍C++,C#,Rust,Go,Java,Python,JavaScript性能对比全面... 目录编程语言性能对比、核心优势与最佳使用场景性能对比表格C++C#RustGoJavapythonjav

C++打印 vector的几种方法小结

《C++打印vector的几种方法小结》本文介绍了C++中遍历vector的几种方法,包括使用迭代器、auto关键字、typedef、计数器以及C++11引入的范围基础循环,具有一定的参考价值,感兴... 目录1. 使用迭代器2. 使用 auto (C++11) / typedef / type alias

C++ scoped_ptr 和 unique_ptr对比分析

《C++scoped_ptr和unique_ptr对比分析》本文介绍了C++中的`scoped_ptr`和`unique_ptr`,详细比较了它们的特性、使用场景以及现代C++推荐的使用`uni... 目录1. scoped_ptr基本特性主要特点2. unique_ptr基本用法3. 主要区别对比4. u

C++11中的包装器实战案例

《C++11中的包装器实战案例》本文给大家介绍C++11中的包装器实战案例,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录引言1.std::function1.1.什么是std::function1.2.核心用法1.2.1.包装普通函数1.2.

C++多线程开发环境配置方法

《C++多线程开发环境配置方法》文章详细介绍了如何在Windows上安装MinGW-w64和VSCode,并配置环境变量和编译任务,使用VSCode创建一个C++多线程测试项目,并通过配置tasks.... 目录下载安装 MinGW-w64下载安装VS code创建测试项目配置编译任务创建 tasks.js

C++ 多态性实战之何时使用 virtual 和 override的问题解析

《C++多态性实战之何时使用virtual和override的问题解析》在面向对象编程中,多态是一个核心概念,很多开发者在遇到override编译错误时,不清楚是否需要将基类函数声明为virt... 目录C++ 多态性实战:何时使用 virtual 和 override?引言问题场景判断是否需要多态的三个关

C++简单日志系统实现代码示例

《C++简单日志系统实现代码示例》日志系统是成熟软件中的一个重要组成部分,其记录软件的使用和运行行为,方便事后进行故障分析、数据统计等,:本文主要介绍C++简单日志系统实现的相关资料,文中通过代码... 目录前言Util.hppLevel.hppLogMsg.hppFormat.hppSink.hppBuf