《Effective C++》学习笔记——条款19

***************************************转载请注明出处:http://blog.csdn.net/lttree********************************************

四、Designs and Declarations

Rule 19:Treat class design as type design

规则 19:设计class犹如设计type

C++就像在其他OOP(面向对象编程)语言一样,当你定义一个新的class,也就定义了一个新type。作为一个C++程序员,你的许多时间主要用来扩展你的类。也就意味着,你不仅仅是个class设计者,依旧是一个type设计者。所以你要谨慎对待class设计。

这个条款,主要就是讲述如何设计高效的class,为此,本书提供了一系列条款。

? 新type的对象应该如何被创建和销毁?

这会影响你的class构造函数和析构函数以及内存分配函数和释放函数的设计。

? 对象的初始化和对象的赋值该有什么样的差别?

这决定了你的构造函数和赋值操作符的行为,以及其间的差异。尤其是,不要混淆"初始化"和"赋值",因为它们对应于不同的函数调用。

? 新type的对象如果被 passed by value(以值传递),意味着什么?

谨记 copy 构造函数用来定义一个 type 的 pass-by-value该如何实现

? 什么是新 type 的"合法值" ?

对class的成员变量而言,通常只有某些数值集是有效的。那些数值集决定了你的class必须维护的约束条件,也就决定了你的成员函数必须进行错误检查工作。

? 你的新 type 需要配合某个继承图系吗?

如果继承自某些既有的classes,就会受到这些classes的束缚,特别是受到函数为 virtual 或 non-virtual 的影响。而且如果你允许其他类继承你的类,那会影响所声明的函数(比如,析构函数是否为virtual)

? 你的新type需要什么样的转换?

如果希望允许类型T1被隐式转换为T2,就必须在class T1内写一个类型转换函数(operator T2) 或在 class T2内写一个 non-explicit-one-argument(可被单一实参调用)的构造函数。如果你只允许explicit构造函数的存在,就要写出专门负责执行转换的函数,且不得为类型转换操作符或 non-explicit-one-argument 构造函数。

? 什么样的操作符和函数对此新 type 而言是合理的?

这个决定你将为你的class声明哪些函数,其中某些该是 member函数,某些则不是。

? 什么样的标准函数应该驳回?

那些正是你必须声明private的东西。

? 谁该取用新 type 的成员?

这个会帮助你决定哪个成员是public,哪个是protected,哪个是private。这也帮助你决定哪些类或函数应该是 friend,以及将它们嵌套与另一个之内是否合法。

? 什么是新 type 的 "未声明接口" (undeclared interface) ?

它对效率、异常安全性以及资源运用提供什么样的保证,而且在这些方面提供的保证将为你的类实现代码加上相应的约束条件。

? 你的新type有多么一般化

如果建立的并非一个新的type,而是一个”type家族“,
那就不该定义一个新类,而是定义一个新的 class template。

? 你真的需要一个新 type 吗?

如果只是单纯定义新的 派生类,以便为既有的类增加机能,那么说不定 单纯定义一个 non-member 或者 templates,更能达到目标。

☆ 请记住 ☆

Class 的设计就是 type 的设计。在定义一个新type之前,请确定你已经考虑过本条款所覆盖的所有问题。

***************************************转载请注明出处:http://blog.csdn.net/lttree********************************************

时间: 2024-10-08 13:05:59

《Effective C++》学习笔记——条款19的相关文章

effective c++学习笔记条款17-19

条款17:以独立语句将New对象放置入智能指针. 1.以独立语句将newed对象放置入智能指针内,如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露. void name(shared_ptr<管理对象类型>(new 管理对象类型),其它函数)),New被分配内存不一定马上放入管理对象,因为有其它函数干扰,这不是独立语句. 条款18:让接口容易被正确使用,不易被误用. 1.好的接口很容易被正确使用,不容易被误用.你应该在你的所有接口中努力达成这些性质. 2.“促进正确使用”的办法包括接

effective c++学习笔记条款23-25

条款23:宁可用非成员,非友元函数来替代成员函数 1.非成员函数提供了更好的封装性,这个函数内不能访问类的私有成员,封装的越严密我们对类的数据就可以弹性越大的操纵,因为可见这些数据的客户越少,反之数据影响的客户也就越少. 2.c++比较自然的做法-(关系到标准库numplace的组织结构),可以把不同便捷函数放到不同Namespace去,让客户来决定要用的非成员函数功能,这是类不能提供的. 条款24:若所有参数皆需类型转换,请为此采用非成员函数. 1.如果你需要为某个函数的所有参数(包括被thi

effective c++学习笔记条款11-13

条款11: 1.令赋值运算符返回一个&,因为STL,string都是这样做的,除非你有足够好的理由不这样做. 2.处理自我赋值的方法----(1).在没有成功获取对象数据时不要删除自己的数据,避免发生异常后原对象指针是一个悬浮指针 (2).判断自我赋值的检查操作会耗费不少时间,可以用swap交换数据技术来优化---(1)形参为赋值而来,(2)形参为静态引用,多加一个函数内拷贝操作.

effective c++学习笔记条款8-10

条款7:为多态基类声明虚析构函数 1.一个基类指针接受一个派生类对象的地址时,对该指针delete,仅仅释放基类部分 2.给所有类都带上虚析构函数是个馊主意,会带有vptr指向一个函数指针数组,扩大不必要的对象大小,除非补偿vptr,否则没有移植性. 3.string类和STL不含有虚析构函数,然而一些用户 却将他们作为基类,运用   delete指向派生类的基类指针,导致错误[c++11添加了禁止派生性质],他们不适合当基类. 4,手头上没有合适的纯虚函数,但你确实需要一个抽象类,把析构函数声

effective c++学习笔记条款20-22

条款20:用引用传递代替值传递 1.尽量以引用传递来代替传值传递,前者比较高效,并且可以避免切割问题 2.以上规则不适用于内置类型,以及STL的迭代器,和函数对象 条款21:必须返回对象时,别妄想返回对象的引用 1.绝对不要返回指针和引用指向一个局部对象或者静态局部对象而有可能需要多个这样的对象,条款4已经为在单线程环境合理返回&指向一个局部静态提供了一份设计实例.(保护初始化顺序) 条款22:将成员变量声明为private 1.切记将成员变量声明为private.这可赋予客户访问数据的一致性,

effective c++学习笔记条款4-7

条款4:确定对象被使用前已经初始化 一. 变量在不同情况下可能会初始化,也可能不会初始化. 注意初始化和赋值的区别. 1.在类中内置类型不会发生隐式初始化,自定义有默认构造函数的能被默认初始化 所以在构造类时务必初始化内置类型,最好给自定义的对象显示初始化避免在函数体中赋值浪费资源. 2.内置类型在函数体内不会初始化,在函数体外自动初始化为0. 二. 1.const和引用类型必须初始化,不可能赋值 三 1.当类实在是有较多构造函数,并且总是要对一些成员数据重复初始化,可以考虑将那些“赋值和初始化

effective c++学习笔记条款35-37

#include<iostream> using namespace std; class A { public: void asd() { pri(); } private: /*virtual*/ void pri() { cout << "基类函数" << endl; } }; class B :public A { private: void pri() /*override*/ { cout << "派生类函数&quo

effective c++学习笔记条款29-31

条款29:为异常安全而努力是值得的[回顾] 1.异常安全函数即使发生异常也不会泄露资源或允许任何数据结构败坏,这样的函数分为3种可能的保证:基本型,强烈型,不抛异常型 2.“强烈保证”往往能通过copying and swap 来实现出来,但并非所有函数都可实现或者具备现实意义. 3.函数提供的“异常安全保证”通常最高只等于其所调用的各个函数的“异常安全中”的最弱者.

effective c++学习笔记条款26-29

条款26:尽可能延后变量定义式的时间 1.中途抛出异常浪费构造函数 2.在循环内定义变量,消耗n个构造函数,n个析构函数:在循环外定义变量消耗n个赋值函数,1个构造,一个析构: 除非赋值的消耗比构造和析构少的不少,或者你处理的代码效率高度敏感,还是在循环内定义变量吧. 条款27:尽量少做转型动作 1.const_cast-----脱离常量属性,static_cast(隐式转换显示化),dynamic_cast(从一个寄放派生类的基类指针或引用调用派生类的成分),reinterpret_cats低