设计类时，一个很有用的思考是：在任何时刻，对这个类的每个对象都保持为真的属性是些什么。这种（恒保持为真的）属性称之为不变量。例如，vector 的不变量可以是其表示形式，由指向若干元素的指针和存储元素数量的整数构成。每个构造函数的职责是建立类的不变量，从而每个成员函数都能依赖这个不变量。
—— Bjarne Stroustrup