技术标签: c++ Meyers98 工作 delete class object
条款31: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针的引用
本条款听起来很复杂,其实不然。它只是一个很简单的道理,真的,相信我。
先看第一种情况:返回一个局部对象的引用。它的问题在于,局部对象 ----- 顾名思义 ---- 仅仅是局部的。也就是说,局部对象是在被定义时创建,在离开生命空间时被销毁的。所谓生命空间,是指它们所在的函数体。当函数返回时,程序的控制离开了这个空间,所以函数内部所有的局部对象被自动销毁。因此,如果返回局部对象的引用,那个局部对象其实已经在函数调用者使用它之前被销毁了。
当想提高程序的效率而使函数的结果通过引用而不是值返回时,这个问题就会出现。下面的例子和条款23中的一样,其目的在于详细说明什么时候该返回引用,什么时候不该:
class Rational { // 一个有理数类
public:
Rational(int numerator = 0, int denominator = 1);
~Rational();
...
private:
int n, d; // 分子和分母
// 注意operator* (不正确地)返回了一个引用
friend const Rational& operator*(const Rational& lhs,
const Rational& rhs);
};
// operator*不正确的实现
inline const Rational& operator*(const Rational& lhs,
const Rational& rhs)
{
Rational result(lhs.n * rhs.n, lhs.d * rhs.d);
return result;
}
这里,局部对象result在刚进入operator*函数体时就被创建。但是,所有的局部对象在离开它们所在的空间时都要被自动销毁。具体到这个例子来说,result是在执行return语句后离开它所在的空间的。所以,如果这样写:
Rational two = 2;
Rational four = two * two; // 同operator*(two, two)
函数调用时将发生如下事件:
1. 局部对象result被创建。
2. 初始化一个引用,使之成为result的另一个名字;这个引用先放在另一边,留做operator*的返回值。
3. 局部对象result被销毁,它在堆栈所占的空间可被本程序其它部分或其他程序使用。
4. 用步骤2中的引用初始化对象four。
一切都很正常,直到第4步才产生了错误,借用高科技界的话来说,产生了"一个巨大的错误"。因为,第2步被初始化的引用在第3步结束时指向的不再是一个有效的对象,所以对象four的初始化结果完全是不可确定的。
教训很明显:别返回一个局部对象的引用。
"那好,"你可能会说,"问题不就在于要使用的对象离开它所在的空间太早吗?我能解决。不要使用局部对象,可以用new来解决这个问题。"象下面这样:
// operator*的另一个不正确的实现
inline const Rational& operator*(const Rational& lhs,
const Rational& rhs)
{
// create a new object on the heap
Rational *result =
new Rational(lhs.n * rhs.n, lhs.d * rhs.d);
// return it
return *result;
}
这个方法的确避免了上面例子中的问题,但却引发了新的难题。大家都知道,为了在程序中避免内存泄漏,就必须确保对每个用new产生的指针调用delete,但是,这里的问题是,对于这个函数中使用的new,谁来进行对应的delete调用呢?
显然,operator*的调用者应该负责调用delete。真的显然吗?遗憾的是,即使你白纸黑字将它写成规定,也无法解决问题。之所以做出这么悲观的判断,是基于两条理由:
第一,大家都知道,程序员这类人是很马虎的。这不是指你马虎或我马虎,而是指,没有哪个程序员不和某个有这类习性的人打交道。想让这样的程序员记住无论何时调用operator*后必须得到结果的指针然后调用delete,这样的几率有多大呢?也是说,他们必须这样使用operator*:
const Rational& four = two * two; // 得到废弃的指针;
// 将它存在一个引用中
...
delete &four; // 得到指针并删除
这样的几率将会小得不能再小。记住,只要有哪怕一个operator*的调用者忘了这条规则,就会造成内存泄漏。
返回废弃的指针还有另外一个更严重的问题,即使是最尽责的程序员也难以避免。因为常常有这种情况,operator*的结果只是临时用于中间值,它的存在只是为了计算一个更大的表达式。例如:
Rational one(1), two(2), three(3), four(4);
Rational product;
product = one * two * three * four;
product的计算表达式需要三个单独的operator*调用,以相应的函数形式重写这个表达式会看得更清楚:
product = operator*(operator*(operator*(one, two), three), four);
是的,每个operator*调用所返回的对象都要被删除,但在这里无法调用delete,因为没有哪个返回对象被保存下来。
解决这一难题的唯一方案是叫用户这样写代码:
const Rational& temp1 = one * two;
const Rational& temp2 = temp1 * three;
const Rational& temp3 = temp2 * four;
delete &temp1;
delete &temp2;
delete &temp3;
果真如此的话,你所能期待的最好结果是人们将不再理睬你。更现实一点,你将会在指责声中度日,或者可能会被判处10年苦力去写威化饼干机或烤面包机的微代码。
所以要记住你的教训:写一个返回废弃指针的函数无异于坐等内存泄漏的来临。
另外,假如你认为自己想出了什么办法可以避免"返回局部对象的引用"所带来的不确定行为,以及"返回堆(heap)上分配的对象的引用"所带来的内存泄漏,那么,请转到条款23,看看为什么返回局部静态(static)对象的引用也会工作不正常。看了之后,也许会帮助你避免头痛医脚所带来的麻烦。
文章浏览阅读2.1w次,点赞35次,收藏181次。#Python高阶# && #数据处理# #数据库# ------主题目录-------1 数据处理篇【含数据库、爬虫相关】:提取搭建系统过程中,出现的各种数据处理场景,讲解对应的解决方法。主题内容如下:【1-1 除权与复权走势的对比】【1-2 解决warning:A value is trying to be set on a copy of a slice from a DataFrame】【1-3 difference方法找出不重复的Dataframe】【1-4 使用pd.m_python股票量化交易从入门到实践
文章浏览阅读2.6k次。设置超级管理员 当对节点设置权限时,没有设置删除权限,那么如果想删除该节点,只能通过超级管理员来删除。 运行代码: String s = DigestAuthenticationProvider.generateDigest("super:admin"); System.out.println(s); 将打印出来的s 放到: "-Dzookeeper.Diges..._zookeeper deleteall 没权限
文章浏览阅读3.7k次,点赞3次,收藏2次。原因目录中存在大量c文件,因为没有开启CGO机制,所以编译失败,导致出错。解决方案在保证本地有c编译器可用时,执行下面语句开启CGO机制。go env -w CGO_ENABLED=1_build constraints exclude all go files in c:\program files\go\pkg\mod\github
文章浏览阅读1.9k次,点赞6次,收藏8次。js new Date()时区问题_js new date() timezone设置波兰
文章浏览阅读97次。把AMR_NB 在 ARMv4, ARMv5 和ARMv7指令集优化做了一遍,现在开始做AMR_WB codec在ARMv4和ARMv5指令优化,等这个做好后,争取来一个CELP编码相关算法全集深度剖析,也好自己将学习总结一下。先把AMR_WB codec相关知识介绍一下。 AMR-WB是由3GPP/ETSI在2001年制定用于WCDMA和GSM的宽带语音编码标准,ITU-..._codec awr-nb
文章浏览阅读2.9k次。Mybatis作为优秀且广泛使用的轻量级持久层框架经常与Spring集成一起使用,集成过程中sqlSessionFactory的创建流程是什么样的呢?本文结合mybatis、mybatis-spring源码以及UML时序图的方式阐述如何进行:以下为Mybatis与Spring集成的部分配置,主要是涉及SqlSessionFactory bean:_创建类路径资源[spring mybatis.xml]中定义的名称为“sqlsessionfactory”的bean
文章浏览阅读580次。集成学习1.导言一个形象的比喻:“三个臭皮匠赛过诸葛亮!”假设输入x\boldsymbol{{x}}x和输出y\boldsymbol{{y}}y之间的真实关系为:y=h(x)\boldsymbol{{y}}=h(\boldsymbol{{x}})y=h(x).对于M\boldsymbol{{M}}M个不同的模型f1(x),⋯ ,fM(x)f_1(\boldsymbol{{x}}),\cdot..._集成模型的期望错误大于等于所有模型的平均期望错误的
文章浏览阅读251次。import java.util.Scanner;public class CF71A { public static void main(String[] args) { // Scanner封装system.in输入流 Scanner sc = new Scanner(System.in); // 总单词个数 int n = sc.nextInt(); for(int i = 0; i < n; i++._cf a. way too long words python写法
文章浏览阅读136次。Retrofit 和 Rxjava 网络封装首先第一步就是导依赖api 'io.reactivex.rxjava2:rxjava:2.2.8'api 'io.reactivex.rxjava2:rxandroid:2.1.1'api 'com.squareup.okhttp3:okhttp:3.12.1'//日志拦截器api 'com.squareup.okhttp3:logging-interceptor:3.11.0'//网络请求封装框架api 'com.squareup.retr_retrofit rxjava
文章浏览阅读3.3k次。前言首先,了解一下liblas库的依赖库,Cmake的时候,会显示工程路径和依赖库的选项,我们会设置其中的一些选项。先放这张图的目的,是要明白编译liblas需要哪些依赖库。如果你的电脑上没有某个依赖库,需要先去官网找到这个依赖库的压缩包,编译安装好。总共六个依赖库(不要慌,这些库编译都很简单的):Boost: 如果你之前编译过PCL库,那么你电脑上就已经有Boost库,只要找到它的路径..._liblas编译
文章浏览阅读1.7w次。翻译自github上spacemacs项目的quick start文件_spacemacs
文章浏览阅读6.9k次,点赞14次,收藏85次。filters:卷积核(就是过滤器)的数目(即输出的维度)kernel_size:单个整数或由两个整数构成的list/tuple,卷积核(过滤器)的宽度和长度。(kernel n.核心,要点,[计]内核)如为单个整数,则表示在各个空间维度的相同长度。strides:单个整数或由两个整数构成的list/tuple,为卷积的步长。如为单个整数,则表示在各个空间维度的相同步长。任何不为1的strides均与任何不为1的dilation_rata均不兼容。padding:补0策略,为"valid", ._layers.conv2d