表示不变量的简单解释

Question

表示不变量定义了哪些数据属性值对应于有效值类实例的表示。IntSet的表示不变量是vals包含no重复。__init__的实现负责建立不变量(在空列表上)，而其他方法负责维护该不变性。

class IntSet(object):
def __init__(self):
"""Create an empty set of integers"""
self.vals = []
def insert(self, e):
"""Assumes e is an integer and inserts e into self"""
if not e in self.vals:
self.vals.append(e)
def member(self, e):
"""Assumes e is an integer
Returns True if e is in self, and False otherwise"""
return e in self.vals
def remove(self, e):
"""Assumes e is an integer and removes e from self
Raises ValueError if e is not in self"""
try:
self.vals.remove(e)
except:
raise ValueError(str(e) + ' not found')
def getMembers(self):
"""Returns a list containing the elements of self.
Nothing can be assumed about the order of the elements"""
return self.vals[:]

我真的不知道上面对表示不变性的解释是什么意思。有更简单的解释吗?IntSet的表示不变式是vals包含no重复!"这是否意味着它是def __init__(self)中的值?我真的很困惑。感谢所有帮助我的人!

Answer 1

检查表示不变量以查看类的实例是否处于有效状态。在这种情况下，不变量是保持vals列表没有重复项。这是每个接触对象的方法都必须满足的条件。

您可以使用表示不变量来检查类的实例是否处于有效状态。

https://www.teach.cs.toronto.edu/csc110y/秋天/notes/11-simulation/02-modelling-classes.html #: ~:文本=不% E2 % 80% % 20 99 t % 20忘记约% 20表示% 20不变量!