大橙子网站建设,新征程启航
为企业提供网站建设、域名注册、服务器等服务
这篇文章主要讲解了“C++如何设计并构建不变量”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“C++如何设计并构建不变量”吧!
你所需要的网站建设服务,我们均能行业靠前的水平为你提供.标准是产品质量的保证,主要从事成都做网站、网站设计、企业网站建设、成都做手机网站、网页设计、高端网站设计、网页制作、做网站、建网站。成都创新互联拥有实力坚强的技术研发团队及素养的视觉设计专才。
E.4:围绕不变量设计错误处理策略
To use an object it must be in a valid state (defined formally or informally by an invariant) and to recover from an error every object not destroyed must be in a valid state.
为了使用对象,它一定要处于有效状态(通过不变量形式化或非形式化定义)并且为了从错误中恢复,所有没有销毁的对象必须处于有效状态。
Note(注意)
An invariant is a logical condition for the members of an object that a constructor must establish for the public member functions to assume.
不变量是一个适用于对象成员的逻辑条件,这个条件必须有构造函数建立,可以作为公有成员函数的前提条件。
E.5: Let a constructor establish an invariant, and throw if it cannot
E.5:让构造函数建立不变量,如果不能就抛异常
Reason(原因)
Leaving an object without its invariant established is asking for trouble. Not all member functions can be called.
建立一个对象却没有建立不变量是在找麻烦。不是所有成员函数都是可以被调用的。
Example(示例)
class Vector { // very simplified vector of doubles // if elem != nullptr then elem points to sz doublespublic: Vector() : elem{nullptr}, sz{0}{} Vector(int s) : elem{new double[s]}, sz{s} { /* initialize elements */ } ~Vector() { delete [] elem; } double& operator[](int s) { return elem[s]; } // ...private: ownerelem; int sz;};
类不变量-这里通过注释声明-通过构造函数建立了。如果不能分配要求的内存,new操作会抛出异常。运算符,特别是下标运算符依靠不变量。参见:如果不能构建有效的对象,就抛出异常。
Enforcement(实施建议)
Flag classes with private state without a constructor (public, protected, or private).
标记那些没有构造函数(公有的,私有的或保护的)却有私有成员的类。
感谢各位的阅读,以上就是“C++如何设计并构建不变量”的内容了,经过本文的学习后,相信大家对C++如何设计并构建不变量这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是创新互联,小编将为大家推送更多相关知识点的文章,欢迎关注!