非数值计算.PPTVIP

IsZero(x) : if (x==0) 返回True Boolean else 返回False Add (x, y) : if (x+y=MaxInt)返回 x+y NaturalNumber else 返回MaxInt Subtract (x, y) : if (x y) 返回 0 NaturalNumber else 返回 x - y Equal (x, y) : if (x==y) 返回True Boolean else 返回 False Successor (x) : if (x==MaxInt) 返回 x NaturalNumber else 返回 x+1 end NaturalNumber * 面向对象的概念  面向对象 = 对象＋类＋继承＋通信 面向对象方法中类的定义充分体现了抽象数据类型的思想 §1.3 作为ADT的C++类 * C++的函数特征 C++的数据声明 C++的作