数据抽象是任何一门语言都支持的重要设计思想,但是Scheme语言所定义的分数并不是能够体现出分数这种数据类型(而是pair数据类型);类似地,C语言通过结构体定义复合数据如链表。C语言、Scheme语言没有对应于概念/名词的数据类型,即没有类。它们定义的复合数据,需要用户在脑海中将复合数据的元素和对复合数据的操作视为一个整体,并要求用户仅仅关心该复合数据的用法而非实现,这或许是它们需要术语抽象数据类型(Abstract Data Type、ADT)的原因。
《SICP•2.1 数据抽象简介》看得不爽,吐槽一下。本文改编为[0.1.3数据抽象-Scheme如何定义分数]
【数据抽象(Data abstraction)是指将数据类型的抽象特征与其实现的具体细节清晰地分离。数据抽象是Parnas原则/接口与实现分离原则在类型层面(以及对象技术中)的推广,数据抽象的手段是自定义出数据类型并完成封装。——0.1.3数据抽象】
使用面向对象语言如Java语言,程序员能够很自然地定义一个复合数据类型如类Fraction/分数。
package fragmentary;
/**
* 分数/Fraction
*/
public class Fraction{
private int num; //分子numerator
private int den = 1; //分母denominator
public int getNum(){return num;}
public int getDen(){return den;}
public Fraction(){this(1,1);}
/**创建一个分数等于 N/D
* @param N 分子numerator,
* @param D 分母denominator,非0的int值。 */
public Fraction(int N , int D){
int n = N >= 0 ? N: -N ;
int d = D >= 0? D: -D ;
int g = gcd (n ,d); // 规格化
this.num = (( N>= 0) == ( D>= 0))? (n/g):( - n/g);
this.den = d/g;
}
/**将一个分数相加到本对象身上*/
public void add(Fraction f){
num= num*f.den +den*f.num;
den = den *f.den;
int g = gcd(num,den);
num /= g;
den /= g;
}
/**计算a,b的最大公约数greatest common divisor */
public final int gcd(int a,int b