提出抽象数据类型，是进行模块化（原文为类）的基础。可以让我们只根据当前类型来理解代码，或者操作相应的功能。
良好抽象数据类型，让我们有效地隐藏一些数据以及实现的细节，同时提高程序的可读性，降低程序的复杂度（不用去关心底层具体实现），让程序更容易理解。避免使用全局数据，提高程序的可重用性。
保证垃圾进，正确出
检查输入参数，是最有效的方式
其中断言是最好检查输入参数的方式。对于断言的使用要讲求方法，同时在正式代码中要避免存在断言。
在看到断言的时候，想起来自己之前使用断言的方式，
突然发现有些问题。
那个时候，总希望断言能够判断并决定是否返回值，或者不返回。
其实这里，只需要进行判断就行了。对于具体的处理，
由程序代码处理，
是返回值，或者不返回值。
当然，这里就需要，断言只是判断的代码，而没有执行的代码。
对于健壮性与正确性，是一对矛盾，根据需要，
合适的时候，选择合适的处理平衡。
断言处理，函数的前条件和后条件。
当然，对于错误处理的方式，有很多种，也需要根据需要，
选择合适的方式。
对于健壮性要求，和正确性要求，他们适合的方式，不一样。
工业类软件，及要求健壮性，也要求正确性。
要同时保证这两个。
如果可以，将断言单独做一块处理。
保证进入子函数的数据，都是正确的。
区分开发代码，和产品代码。在开发代码中，尽量采用进攻式编程，找出尽可能多的错误。
在发布的产品代码中，尽量使用防御式编程。