如何做网站首页的psd图,无人在线完整免费高清观看,营销型网站建设的5大技巧,网站建设软件shC就像在其他OOP#xff08;面对对象编程#xff09;语言一样#xff0c;当你定义一个新class#xff0c;也就定义了一个新type。身为C程序员#xff0c;你的许多时间主要用来扩张你的类型系统#xff08;type system#xff09;。这意味你不只是class设计者#xff0c;…C就像在其他OOP面对对象编程语言一样当你定义一个新class也就定义了一个新type。身为C程序员你的许多时间主要用来扩张你的类型系统type system。这意味你不只是class设计者还是type设计者。重载overloading函数和操作符、控制内存的分配和归还、定义对象的初始化和终结……全都在你手上。因此你应该带着和“语言设计者当初设计语言内置类型时”一样的谨慎来研讨class的设计。
设计优秀的class是一项艰巨的工作因为设计好的type是一项艰巨的工作。好的type有自然的语法直观的语义以及一或多个高效实现品。在C中一个不良规划下的class定义恐怕无法达到上述任何一个目标。甚至class的成员函数的效率都有可能受到它们“如何被声明”的影响。
那么如何设计高效的class呢首先你必须了解你面对的问题。几乎每一个class都要求你面对以下提问而你的回答往往导致你的设计规范 1.新type的对象应该如何被创建和销毁这会影响到你的class的构造函数和析构函数以及内存分配函数和释放函数operator new、operate new[]、operator delete、operator delete[]——见第8章的设计当然前提是你打算撰写它们。
2.对象的初始化和对象的赋值该有什么样的差别这个答案决定你的构造函数和赋值assignment操作符的行为以及其间的差异。很重要的是别混淆了“初始化”和“赋值”因为它们对应于不同的函数调用见条款4。
3.新type的对象如果被passed by value以值传递意味着什么记住copy构造函数用来定义一个type的pass-by-value该如何实现。
4.什么是新type的“合法值”对class的成员变量而言通常只有某些数值集是有效的。那些数值集决定了你的class必须维护的约束条件invariants也就决定了你的成员函数特别是构造函数、赋值操作符和所谓“setter”函数必须进行的错误检查工作。它也影响函数抛出的异常、以及极少被使用的函数异常明细列exception specifications也称异常规范它通过将关键字throw放在函数声明中来指定函数可以抛出的异常但现代C编程中通常不建议使用异常规范而是通过文档或注释来说明函数可能抛出的异常类型然后在调用函数时进行适当的异常处理。
5.你的新type需要配合某个继承图系吗如果你继承自某些既有的class你就受到那些class的设计的束缚特别是受到“它们的函数是virtual或non-virtual”的影响见条款36和36。如果你允许其他class继承你的class那会影响你所声明的函数——尤其是析构函数——是否为virtual条款7。
6.你的新type需要什么样的转换你的type生存于其他type之间因此彼此该有转换行为吗如果你希望允许类型为T1的对象被隐式转换为类型为T2的对象就必须在class T1中写一个类型转换函数operator T2或在class T2中写一个non-explicit-one-argument可被单一实参调用的构造函数。如果你只允许explicit构造函数存在就得写出专门负责执行转换的函数且不得为类型转换操作符type conversion operator或non-explicit-one-argument构造函数条款15有隐式和显式转换函数的范例。
7.什么样的操作符和函数对此新type而言是合理的这个问题的答案决定你将为你的class声明哪些函数。其中某些该是member函数某些则否见条款23、24、46。
8.什么样的标准函数此处的标准函数指编译器自动生成的如默认构造函数、默认拷贝赋值运算符等应该驳回那些正是你必须声明为private者见条款6即你想驳回的函数应声明为private的。
9.谁该取用新type的成员这个提问可以帮助你决定哪个成员为public哪个为protected哪个为private。它也帮助你决定哪一个class和/或functions应该是friends以及将它们嵌套于另一个之内可能指class嵌套是否合理。
10.什么是新type的“未声明接口”undeclared interface它对效率、异常安全性见条款29以及资源运用例如多任务锁定和动态内存提供何种保证你在这些方面提供的保证将为你的class实现代码加上相应的约束条件。
11.你的新type有多么一般化或许你其实并非定义一个新type而是定义一整个type家族。果真如此你就不该定义一个新class而是应该定义一个新的class template。
12.你真的需要一个新type吗如果只是定义新的derived class以便为既有的class添加机能那么说不定单纯定义一个或多个non-member函数或templates更能达到目标。
这些问题不容易回答所以定义出高效的class是一种挑战。然而如果能够设计出至少像C内置类型一样好的用户自定义user-definedclass一切汗水便都值得。
请记住 class的设计就是type的设计。在定义一个新type前请确定你已经考虑过本条款覆盖的所有讨论主题。
