目标规约，前置后置条件，欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较规约作用给自己和别人写出设计决策：如final、数据类型定义作为契约，服务端与客户端达成一致调用方法时双方都要遵守便于定位错误解耦，无需告诉客户端具体实现，变化也无需通知客户端，扮演防