Effective C++ T19：设计class犹如设计type

Effective C++学习笔记总链接

改善程序与设计的55个具体做法学习笔记-每日1条

---

条款19：设计class犹如设计type

【技巧】

class的设计就是type的设计。在定义一个新的type之前，请确定你已经考虑过本条款覆盖的所有讨论主题。

---

几乎每一个class都要求你面对以下提问：

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

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

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

这个决定你的构造函数和赋值操作符的行为，以及其间的差异，别混淆“初始化”和“赋值”

新type的对象如果被passed by value（以值传递），意味着什么？

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

什么是新type的“合法值”？

成员函数（特别是构造函数、赋值操作符）必须进行错误检查工作。

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

如果你继承自某些既有的class，你就会受那些class的设计束缚，尤其是受到它们的函数是virtual和non-virtual的影响。

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

如果只允许explicit构造函数存在，就得写出专门负责转换的函数。

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

这个问题的答案决定你将为你的class声明哪些函数，其中某些该是member函数，某些则否。

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

那些正是你必须声明为private。

谁该取用新type的成员？

这个提问可以帮助你决定哪个成员为public，哪个是protected，哪个是private。它也帮助你决定哪一个class和function应该是friend，以及将它们嵌套于另一个之内是否合理。

什么是新type的“未声明接口”？

它对效率、异常安全性以及资源运用（例如多任务锁定和动态内存）提供何种保证？
需要为你的class实现代码加上相应的约束条件。

你的新type有多么一般化？

或许你就是定义一整个type家族，那就不应该定义新class，而是应该定义一个新的class template。

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

如果只是定义新的derived class以便为既有的class添加机能，可以单纯定义一个或多个non-member函数或者template，更能够达到目标。

总结，设计出至少像C++内置类型一样好的用户自定义class。