Effective C++条款20——宁以pass-by-reference-to-const替换pass-by-value(设计与声明)

缺省情况下C++以by value方式(一个继承自C的方式)传递对象至(或来自)函数。除非你另外指定,否则函数参数都是以实际实参的复件(副本)为初值,而调用端所获得的亦是函数返回值的一个复件。这些复件(副本)系由对象的copy构造函数产出,这可能使得pass-by-value成为昂贵的(费时的)操作。考虑以下 class 继承体系:

class Person {
public:Person();virtual ~Person();// ...private:std::string name;std::string address;
};class Student: public Person {
public:Student();~Student();// ...private:std::string schoolName;std::string schoolAddress;
};

现在考虑以下代码,其中调用函数validateStudent,后者需要一个student实参( by value)并返回它是否有效:

bool validateStudent(Student s);            // pass by value
Student plato;
bool platoIsOk = validateStudent(plato);    // 调用函数

当上述函数被调用时,发生什么事?

无疑地student 的copy构造函数会被调用,以plato为蓝本将s初始化。同样明显地,当validatestudent退回s会被销毁。因此,对此函数而言,参数的传递成本是“一次student copy构造函数调用,加上一次student析构函数调用”。

但那还不是整个故事喔。student对象内有两个string对象,所以每次构造一个student对象也就构造了两个string对象。此外 student对象继承自Person对象,所以每次构造student对象也必须构造出一个Person对象。一个 Person对象又有两个string对象在其中,因此每一次Person构造动作又需承担两个string构造动作。最终结果是,以by value方式传递一个student对象会导致调用一次student copy构造函数、一次Person copy构造函数、四次string copy构造函数。当函数内的那个student复件被销毁,每一个构造函数调用动作都需要一个对应的析构函数调用动作。因此,以 by value方式传递一个student对象,总体成本是“六次构造函数和六次析构函数”!

Oh,My God

这是正确且值得拥有的行为,毕竟你希望你的所有对象都能够被确实地构造和析构。但尽管如此,如果有什么方法可以回避所有那些构造和析构动作就太好了。有的,就是pass by reference-to-const:

bool validatestudent (const Student& s);

这种传递方式的效率高得多:没有任何构造函数或析构函数被调用,因为没有任何新对象被创建。修订后的这个参数声明中的const是重要的。原先的validateStudent 以 by value方式接受一个Student参数,因此调用者知道他们受到保护,函数内绝不会对传入的 student作任何改变
validatestudent只能够对其复件(副本)做修改。现在Student 以 by reference方式传递,将它声明为const是必要的,因为不这样做的话调用者会忧虑validateStudent 会不会改变他们传入的那个student。

以by reference方式传递参数也可以避免slicing (对象切割)问题。当一个derived class对象以 by value方式传递并被视为一个base class对象,base class 的 copy构造函数会被调用,而“造成此对象的行为像个derived class对象”的那些特化性质全被切割掉了,仅仅留下一个base class对象。这实在不怎么让人惊讶,因为正是 base class构造函数建立了它。但这几乎绝不会是你想要的。假设你在一组classes 上.工作,用来实现一个图形窗口系统:

class Window {
public:// ...std::string name() const;                // 返回窗口名称virtual void display() const;            // 显示窗口和其内容
};class WindowWithScrollBars: public Window {
public:// ...virtual void display() const;
};

所有Window对象都带有一个名称,你可以通过name函数取得它。所有窗口都可显示,你可以通过 display函数完成它。display是个virtual函数,这意味简易朴素的base class window对象的显示方式和华丽高贵的WindowwWithScrollBars对象的显示方式不同(见条款34和条款36)。

现在假设你希望写个函数打印窗口名称,然后显示该窗口。下面是错误示范:

void printNameAndDisplay (Window w)        // 不正确!参数可能被切割。
{std::cout << w.namne();w.display ();
}

当你调用上述函数并交给它一个 windowWithScrollBars对象,会发生什么事呢?

WindowWithScrollBars wwsb;
printNameAndDisplay(wwsb);

喔,参数w会被构造成为一个window对象;它是 passed by value,还记得吗?而造成wwsb“之所以是个 WindowWithscrollBars对象”的所有特化信息都会被切除。在printNameAndDisplay函数内不论传递过来的对象原本是什么类型,参数w就像一个window对象(因为其类型是window)。因此在printNameAndDisplay内调用display调用的总是 window::display,绝不会是WindowWithScrollBars::display。

解决切割( slicing)问题的办法,就是以 by referenae-to-const的方式传递w:

void printNameAndDisplay (const window& w){std::cout << w.name();w.display();
}

现在,传进来的窗口是什么类型,w就表现出那种类型。

如果窥视C++编译器的底层,你会发现,references往往以指针实现出来,因此pass by reference通常意味真正传递的是指针。因此如果你有个对象属于内置类型(例如int), pass by value往往比pass by reference的效率高些。对内置类型而言,当你有机会选择采用pass-by-value或pass-by-reference-to-const时,选择pass-by-value并非没有道理。这个忠告也适用于STL 的迭代器和函数对象,因为习惯上它们都被设计为passed by value。迭代器和函数对象的实践者有责任看看它们是否高效且不受切割问题(slicing problem)的影响。这是“规则之改变取决于你使用哪一部分C++(见条款1)”的一个例子。

内置类型都相当小,因此有人认为,所有小型types 都是pass-by-value的合格候选人,甚至它们是用户自定义的class亦然。这是个不可靠的推论。对象小并不就意味其copy构造函数不昂贵。许多对象——包括大多数STL容器——内含的东西只比一个指针多一些,但复制这种对象却需承担“复制那些指针所指的每一样东西”。那将非常昂贵。

即使小型对象拥有并不昂贵的copy构造函数,还是可能有效率上的争议。某些编译器对待“内置类型”和“用户自定义类型”的态度截然不同,纵使两者拥有相同的底层表述(underlying representation)。举个例子,某些编译器拒绝把只由一个double组成的对象放进缓存器内,却很乐意在一个正规基础上对光秃秃的 doubles那么做。当这种事发生,你更应该以 by reference方式传递此等对象,因为编译器当然会将指针( references的实现体)放进缓存器内,绝无问题。

“小型的用户自定义类型不必然成为pass-by-value优良候选人”的另一个理由是,作为一个用户自定义类型,其大小容易有所变化。一个type目前虽然小,将来也许会变大,因为其内部实现可能改变。甚至当你改用另一个CH+编译器都有可能改变type的大小。举个例子,在我下笔此刻,某些标准程序库实现版本中的string类型比其他版本大七倍。

一般而言,你可以合理假设“pass-by-value并不昂贵”的唯一对象就是内置类型和STL的迭代器和函数对象。至于其他任何东西都请遵守本条款的忠告,尽量以pass-by-reference-to-const替换pass-by-value。

请记住

  • 尽量以pass-by-reference-to-const替换 pass-by-value。前者通常比较高效,并可避免切割问题(slicing problem) 。
  • 以上规则并不适用于内置类型,以及 STL的迭代器和函数对象。对它们而言,pass-by-value往往比较适当。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/59629.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

浅谈单例模式在游戏开发中的应用

前言 如果在外部想在不同的时间结点、不同的位置访问某类中的成员且想要保持访问时&#xff0c;成员地址唯一。那么可以考虑将该类声明为静态类&#xff0c;但若是成员中包含公共的数据类型&#xff0c;此时便可以考虑将该类做成一个单例。 单例模式 由于类中的数据&#x…

Leetcode 易错题整理(一)5. 7. 11. 15. 33. 34

5. 最长回文子串 给你一个字符串 s&#xff0c;找到 s 中最长的回文子串。 如果字符串的反序与原始字符串相同&#xff0c;则该字符串称为回文字符串。 示例 1&#xff1a; 输入&#xff1a;s "babad" 输出&#xff1a;"bab" 解释&#xff1a;"aba&q…

几个nlp的小任务(生成任务(摘要生成))

几个nlp的小任务生成任务——摘要生成 安装库选择模型加载数据集展示数据集数据预处理 tokenizer注意特殊的 token处理组成预处理函数调用map,对数据集进行预处理微调模型,设置参数设置数据收集器,将处理好的数据喂给模型封装测评方法将参数传给 trainer,开始训练安装库 选…

vue uniapp 同意验证码滑块验证

前言 &#xff08;vue-puzzle-vcode&#xff09; 发送验证码以及登录的时候会做验证&#xff0c;防止机刷等 效果图 一、安装依赖 npm install vue-puzzle-vcode --save二、使用步骤 1.html使用 <Vcode :show"isShow" success"onSuccess"/>2.j…

C++day7

1. #include <iostream> #include <vector> #include <fstream> using namespace std; class Stu { public:string name;int id;int age;Stu(){}Stu(string n,int i,int a):name(n),id(i),age(a){}void show(){cout << "姓名&#xff1a; "…

Jmeter 如何才能做好接口测试?

现在对测试人员的要求越来越高&#xff0c;不仅仅要做好功能测试&#xff0c;对接口测试的需求也越来越多&#xff01; 所以也越来越多的同学问&#xff0c;怎样才能做好接口测试&#xff1f; 要真正的做好接口测试&#xff0c;并且弄懂如何测试接口&#xff0c;需要从如下几…

Vue2项目练手——通用后台管理项目第一节

Vue2项目练手——通用后台管理项目 知识补充yarn和npm区别npm的缺点&#xff1a;yarn的优点 npm查看镜像和设置镜像 项目介绍项目的技术栈 项目搭建文件目录 创建路由&#xff0c;引入element-uirouter/index.jsmain.jspages/Users.vuepages/Main.vuepages/Home.vuepages/Login…

启迪未来:学乐多光屏P90引领儿童智能学习革命

在当今数字化时代&#xff0c;教育方式正经历着巨大的变革&#xff0c;智能硬件为教育领域带来了前所未有的机遇和挑战。学乐多光屏学习机作为一款创新的教育智能硬件产品&#xff0c;以其独特的特点和优势&#xff0c;引领着学习机领域的发展潮流。 1. 多功能融合&#xff1a;…

Android 基础知识

一、Activity 1、onSaveInstanceState(),onRestoreInstanceState的调用时机 onSaveInstanceState 调用时机 从最近应用中选择运行其他程序时 但用户按下Home键时 屏幕方向切换时 按下电源案件时 从当前activity启动一个新的activity时 onRestorInstanceState调用时机 只…

C中字符串转16禁止数组指令

当上位机用字符串的形式下发16进制通讯指令给到下位机时的指令解析: 方法一&#xff1a;查表法 size_t charToHex(const char *data, uint8_t *result) {size_t size 0;uint8_t i 0, j 0, k 0, n 0;char listA[] {"0123456789abcdef"};uint8_t mid[256];for …

C/C++学习——单例模式(懒汉模式与饿汉模式)

C/C学习——单例模式 一、什么是单例模式&#xff1f;二、单例模式应用三、单例模式的特点注意&#xff1a;静态成员变量的使用示例代码&#xff1a; 四、单例模式C代码示例&#xff08;饿汉模式&#xff09;五、单例模式C示例代码&#xff08;懒汉模式&#xff09; 一、什么是…

记一个有趣的bug:修改结构体中的切片不生效

问题描述&#xff1a;有一个interface类型的变量&#xff0c;把一个struct赋值给了它&#xff0c;类似下面这样 package mainimport "fmt"type ResData struct {Type stringSrcid stringSearchRes interface{} }type Data struct {name []string }func mai…

【线程同步】AQS抽象排队同步器(AbstractQueuedSynchronizer)

AQS(AbstractQueuedSynchronizer)抽象排队同步器 AbstractQueuedSynchronizer AQS就是AbstractQueuedSynchronizer类 AQS其实就是JUC包下的一个基类&#xff0c;JUC下的很多内容都是基于AQS实现了部分功能&#xff0c;比如ReentrantLock&#xff0c;ThreadPoolExecutor&#…

用变压器实现德-英语言翻译【01/8】:嵌入层

一、说明 本文是“用变压器实现德-英语言翻译”系列的第一篇文章。它引入了小规模的嵌入来建立感知系统。接下来是嵌入层的变压器使用。下面简要概述了每种方法&#xff0c;然后是德语到英语的翻译。 二、技术背景 嵌入层的目标是使模型能够详细了解单词、标记或其他输入之间的…

多模态知识学习

问题背景 海量多模态数据&#xff0c;人类认知事物也是多模态的深度学习为多模态联合学习奠定基础感知智能->认知智能多模态学习case&#xff1a;微软小冰、视频平台“只看TA”&#xff08;服务特定明星粉丝等&#xff1a;优酷、爱奇艺等&#xff09;需求&#xff1a;多模态…

实验室的服务器和本地pycharm怎么做图传

参考 远程调试 qt.qpa.xcb: could not connect to display, echo DISPLAY为空[已解决]_功夫小象的博客-CSDN博客 先安装x11 MobaXterm x11-forwarding_C--G的博客-CSDN博客 我是在容器中搞得 1&#xff0c;安装qt5 pip install PyQt5 -i https://pypi.douban.com/simple …

P5738 【深基7.例4】歌唱比赛

题目描述 n ( n ≤ 100 ) n(n\le 100) n(n≤100) 名同学参加歌唱比赛&#xff0c;并接受 m ( m ≤ 20 ) m(m\le 20) m(m≤20) 名评委的评分&#xff0c;评分范围是 0 0 0 到 10 10 10 分。这名同学的得分就是这些评委给分中去掉一个最高分&#xff0c;去掉一个最低分&#x…

java系统问题定位思路

一、在不同环境排查问题&#xff0c;有不同的方式 1、如果是在自己的开发环境排查问题&#xff0c;那你几乎可以使用任何自己熟悉的工具来排查&#xff0c;甚至可以进行单步调试。只要问题能重现&#xff0c;排查就不会太困难&#xff0c;最多就是把程序调试到 JDK 或三方类库内…

datax 使用

环境准备 List itemLinuxJDK(1.8以上&#xff0c;推荐1.8)Python(2或3都可以)Apache Maven 3.x (Compile DataX) 下载 wget https://datax-opensource.oss-cn-hangzhou.aliyuncs.com/202308/datax.tar.gz建立datax 用户 useradd datax ; echo "datax" | passwd -…

登录页面设计的7个小细节,帮你提升用户体验

移动 APP 登录页面的设计直接影响到用户体验&#xff0c;从而决定 APP 的成败。我们应该设计出令用户兴奋而不是沮丧的登录界面。下面就让我和你分享几个提升登录页面 UX 设计的技巧: 如果用户必须登录才能使用服务&#xff0c;那么需要仔细考虑登录表单。 在构建登录页面设计…