《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/article/details/41854831