xon*_*rlz 4 abstraction
在谈论软件工程和抽象数据类型时,我听到了很多,这有什么作用？谁能给我一个这个概念的具体例子？
Uff*_*ffe 19
表示不变量是关于对象状态的条件.对于给定对象,始终可以假定条件为真,并且要求操作不违反它.
在Deck类中,表示不变量可能是在牌组中总共有52张牌.因此,保证shuffle()操作不会丢弃任何卡在地板上.这反过来意味着有人调用shuffle(),或者实际上任何其他操作,不需要检查之前和之后的卡数:它们保证总是52.
归档时间：
14 年，2 月 前
查看次数：
5934 次
最近记录：