读书笔记 effective c++ Item 6 如果你不想使用编译器自动生成的函数,你需要明确拒绝...

本文主要是介绍读书笔记 effective c++ Item 6 如果你不想使用编译器自动生成的函数,你需要明确拒绝...,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

问题描述-阻止对象的拷贝

 

现实生活中的房产中介卖房子,一个服务于这个中介的软件系统很自然的会有一个表示要被销售的房屋的类:

1 class HomeForSale { ... };

 

每个房产中介会立刻指出来,要销售房屋的每个属性都是唯一的,没有两个完全一样的房屋。在这种情况下,拷贝一个HomeForSale对象就没有任何意义了。你在怎么能拷贝一些独一无二的东西呢?因此你可能会尝试,如果有拷贝HomeForSale对象的函数,代码将不能够通过编译。

 1 HomeForSale h1;2 3 HomeForSale h2;4 5 HomeForSale h3(h1); // attempt to copy h1 — should6 7 // not compile!8 9 h1 = h2; // attempt to copy h2 — should
10 
11 // not compile!

 

阻止这样的编译不是简简单单能够做到的。在通常情况下,如果你不想一个类支持特定类别的函数,你只要不声明这个函数就可以了。但是这个策略对拷贝构造函数和拷贝赋值运算符来说就不工作了,因为正如Item5指出的:如果你没有声明这两个函数的情况下,如果一些人尝试去调用它们,编译器会自动声明它们。

 

你遇到麻烦了,如果你没有声明拷贝构造函数或者拷贝赋值运算符,编译器会为你生成。你的类于是会支持拷贝。如果你声明了它们,你的类还是会支持它们。但是你的目标是阻止拷贝!

 

阻止对象拷贝方法一-将拷贝构造函数和赋值运算符声明为private,并且不去实现它们

 

 解决方案的关键在于所有编译器生成的函数都是public的。为了阻止这些函数被生成,你必须自己声明它们,但是不需要你将它们声明成public的。而是把拷贝构造函数和拷贝赋值运算符声明成private。通过显示的声明一个函数,就会阻止编译器生成它们自己的版本,同时,通过将函数声明成private,你也能够阻止人来调用它们。

 

这个方法不是十分安全的,因为类成员函数和友元函数仍然能够访问你的私有函数。除非你够聪明而不去定义这些函数。这样如果有人无意调用它们,就会得到一个链接错误。将函数声明成private而不去定义它的诡计如此被大家接受,它常常用在c++ 的iostreams库中,用于阻止类对象之间的拷贝。你可以看一下,在你的标准库的实现中,ios_base,basic_ios和sentry的定义处。你就会发现在每种情况中,拷贝构造函数和拷贝赋值运算符都被声明成private的并且没有被定义。

将这个伎俩用于HomeSale很简单:

 1 class HomeForSale {2 3 public:4 5 ...6 7 private:8 9 ...
10 
11 HomeForSale(const HomeForSale&); // declarations only
12 
13 HomeForSale& operator=(const HomeForSale&);
14 
15 };

 你会发现这里我将函数的参数省略掉了。这不是必须的,只是一个约定俗成的东西。毕竟,这个函数永远不会被实现,更不用说被使用了,因此指定函数参数没有什么用处。

使用上面的类定义,编译器就会阻止客户端尝试拷贝HomeForSale对象,如果你无意的在一个成员函数或者友元函数中这么做了,连接器会发出抱怨。

 

阻止对象拷贝方法二-将函数的私有声明提到特定基类

  

将拷贝构造函数和拷贝赋值运算符声明为private的位置由HomeForSale类替换为一个专门设计的基类,同样能够阻止拷贝,并且可以将链接才能发现的错误移动到在编译期就能够发现(这是好事,早点发现错误比晚发现要好)。

 

 1 class Uncopyable {2 3 protected: // allow construction4 5 Uncopyable() {} // and destruction of6 7 ~Uncopyable() {} // derived objects...8 9 private:
10 
11 Uncopyable(const Uncopyable&); // ...but prevent copying
12 
13 Uncopyable& operator=(const Uncopyable&);
14 
15 };

 

为了阻止HomeForSale被拷贝,我们需要做的是继承Uncopyable.

1 class HomeForSale: private Uncopyable { // class no longer
2 
3 ... // declares copy ctor or
4 
5 }; // copy assign. Operator

 

这个方法也是行得通的,因为编译器会尝试生成一个拷贝构造函数和一个拷贝赋值运算符如果任何人(包括成员函数或者友元函数)尝试拷贝一个HomeForSale对象。在Item12中解释到,这些函数的编译器生成版本会调用基类的对应的部分,这样调用就会被拒绝,因为基类中的拷贝操作都是private的。

Uncopyable的一些使用和实现有一些微妙的地方,像从Upcopyable继承不必是public继承(Item32和Item39)Uncopyable的析构函数不必是虚函数。因为Uncopyable没有包含任何数据,因此符合Item39描述的,它是进行空基类优化(empty base class optimization)的合格者.一般来说,你可以忽略这些微妙之处,按照展示的使用就可以了,它会恰到好处的工作。你也可以使用Boost库中的版本,名字叫做noncopuable。这是一个很好的类,只是名字看上去不太自然。

这篇关于读书笔记 effective c++ Item 6 如果你不想使用编译器自动生成的函数,你需要明确拒绝...的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/882656

相关文章

PostgreSQL中rank()窗口函数实用指南与示例

《PostgreSQL中rank()窗口函数实用指南与示例》在数据分析和数据库管理中,经常需要对数据进行排名操作,PostgreSQL提供了强大的窗口函数rank(),可以方便地对结果集中的行进行排名... 目录一、rank()函数简介二、基础示例:部门内员工薪资排名示例数据排名查询三、高级应用示例1. 每

使用Python删除Excel中的行列和单元格示例详解

《使用Python删除Excel中的行列和单元格示例详解》在处理Excel数据时,删除不需要的行、列或单元格是一项常见且必要的操作,本文将使用Python脚本实现对Excel表格的高效自动化处理,感兴... 目录开发环境准备使用 python 删除 Excphpel 表格中的行删除特定行删除空白行删除含指定

全面掌握 SQL 中的 DATEDIFF函数及用法最佳实践

《全面掌握SQL中的DATEDIFF函数及用法最佳实践》本文解析DATEDIFF在不同数据库中的差异,强调其边界计算原理,探讨应用场景及陷阱,推荐根据需求选择TIMESTAMPDIFF或inte... 目录1. 核心概念:DATEDIFF 究竟在计算什么?2. 主流数据库中的 DATEDIFF 实现2.1

深入理解Go语言中二维切片的使用

《深入理解Go语言中二维切片的使用》本文深入讲解了Go语言中二维切片的概念与应用,用于表示矩阵、表格等二维数据结构,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来一起学习学习吧... 目录引言二维切片的基本概念定义创建二维切片二维切片的操作访问元素修改元素遍历二维切片二维切片的动态调整追加行动态

MySQL中的LENGTH()函数用法详解与实例分析

《MySQL中的LENGTH()函数用法详解与实例分析》MySQLLENGTH()函数用于计算字符串的字节长度,区别于CHAR_LENGTH()的字符长度,适用于多字节字符集(如UTF-8)的数据验证... 目录1. LENGTH()函数的基本语法2. LENGTH()函数的返回值2.1 示例1:计算字符串

prometheus如何使用pushgateway监控网路丢包

《prometheus如何使用pushgateway监控网路丢包》:本文主要介绍prometheus如何使用pushgateway监控网路丢包问题,具有很好的参考价值,希望对大家有所帮助,如有错误... 目录监控网路丢包脚本数据图表总结监控网路丢包脚本[root@gtcq-gt-monitor-prome

Python通用唯一标识符模块uuid使用案例详解

《Python通用唯一标识符模块uuid使用案例详解》Pythonuuid模块用于生成128位全局唯一标识符,支持UUID1-5版本,适用于分布式系统、数据库主键等场景,需注意隐私、碰撞概率及存储优... 目录简介核心功能1. UUID版本2. UUID属性3. 命名空间使用场景1. 生成唯一标识符2. 数

SpringBoot中如何使用Assert进行断言校验

《SpringBoot中如何使用Assert进行断言校验》Java提供了内置的assert机制,而Spring框架也提供了更强大的Assert工具类来帮助开发者进行参数校验和状态检查,下... 目录前言一、Java 原生assert简介1.1 使用方式1.2 示例代码1.3 优缺点分析二、Spring Fr

Android kotlin中 Channel 和 Flow 的区别和选择使用场景分析

《Androidkotlin中Channel和Flow的区别和选择使用场景分析》Kotlin协程中,Flow是冷数据流,按需触发,适合响应式数据处理;Channel是热数据流,持续发送,支持... 目录一、基本概念界定FlowChannel二、核心特性对比数据生产触发条件生产与消费的关系背压处理机制生命周期

java使用protobuf-maven-plugin的插件编译proto文件详解

《java使用protobuf-maven-plugin的插件编译proto文件详解》:本文主要介绍java使用protobuf-maven-plugin的插件编译proto文件,具有很好的参考价... 目录protobuf文件作为数据传输和存储的协议主要介绍在Java使用maven编译proto文件的插件