C++核心准则E4,5:设计并构建不变量

E.4: Design your error-handling strategy around invariants

E.4:围绕不变量设计错误处理策略

 

Reason（原因）

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.

不变量是一个适用于对象成员的逻辑条件，这个条件必须有构造函数建立，可以作为公有成员函数的前提条件。

 

Enforcement（实施建议）

???

 

 

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:    owner<double*> elem;    int sz;};

The class invariant - here stated as a comment - is established by the constructors. new throws if it cannot allocate the required memory. The operators, notably the subscript operator, relies on the invariant.

See also: If a constructor cannot construct a valid object, throw an exception

类不变量-这里通过注释声明-通过构造函数建立了。如果不能分配要求的内存，new操作会抛出异常。运算符，特别是下标运算符依靠不变量。参见：如果不能构建有效的对象，就抛出异常。

 

Enforcement（实施建议）

Flag classes with private state without a constructor (public, protected, or private).

标记那些没有构造函数（公有的，私有的或保护的）却有私有成员的类。

 

原文链接https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#e4-design-your-error-handling-strategy-around-invariants

新书介绍

以下是本人3月份出版的新书，拜托多多关注！

 

本书利用Python 的标准GUI 工具包tkinter，通过可执行的示例对23 个设计模式逐个进行说明。这样一方面可以使读者了解真实的软件开发工作中每个设计模式的运用场景和想要解决的问题；另一方面通过对这些问题的解决过程进行说明，让读者明白在编写代码时如何判断使用设计模式的利弊，并合理运用设计模式。

对设计模式感兴趣而且希望随学随用的读者通过本书可以快速跨越从理解到运用的门槛；希望学习Python GUI 编程的读者可以将本书中的示例作为设计和开发的参考；使用Python 语言进行图像分析、数据处理工作的读者可以直接以本书中的示例为基础，迅速构建自己的系统架构。

 

---

 

觉得本文有帮助？请分享给更多人。

关注微信公众号【面向对象思考】轻松学习每一天！

面向对象开发，面向对象思考！