接口、实现和多态

多态指的是一个资源的多种实现，但是他们都遵从相同的接口或者方法

 

接口就是简练而且信息丰富的、是的你只需要看一下其公开的、外在的表面就可以掌握资源的一种行为

 

一个接口并不会反应和显示操作是如何执行其任务的，这个是实现者的工作

 

开发接口的步骤：

定义包接口、指定参数和返回值、构造方法和实现类

 

先验条件、后验条件、异常和文档

先验条件是指只有当先验条件的语句为真时，方法才能正确的执行操作，通常情况下，先验条件和其上运行方法的对象的状态有关

 

后验条件是当方法执行完毕之后，哪些条件会为真

 

编写接口

class BagInterface(object):
	"""包接口"""
	def __init__(self,sourceCollection):
		pass

	def isEmpty(self):
		#如果self的长度为0，返回true
		return True

	def __len__(self):
		#返回self的长度
		return 0

	def __str__(self):
		#返回一个项目的字符串表示
		return ""

	def __iter__(self):
		#返回self之间的相互关系

		return None

	def __add__(self,other):
		#给self增加一个other
		return None

	def __eq__(self,other):
		#返回self和other是否相等
		return False

	def clear(self):
		#清空self
		pass

	def add(self,item):
		#给self增加item
		pass

	def remove(self,item):
		#先验条件是itme是在self中的
		#异常是返回一个keyerror,如果不在item中
		#后验条件是item已经被删除
		pass