摘要：
今天看了看注重实效的偏执这部分按合约设计DBC关注用文档记载并约定软件的权利与责任，以确保程序的正确性。要注意调用某个函数时的前条件，后条件和类不变项。所以例程和任何潜在的调用者之间的合约可理解为：如果调用这满足了例程的所有前条件，例程应该在保证其完成时，所有的后条件和类不变项将为真。死程序不说谎当 阅读全文
摘要：
（1）今日安排 线性探测法的查找函数 题目要求：试实现线性探测法的查找函数。 #include <stdio.h> #define MAXTABLESIZE 100000 /* 允许开辟的最大散列表长度 */ typedef int ElementType; /* 关键词类型用整型 */ typed 阅读全文