一般来说,一个模块有两部分组成:接口和实现。接口指明模块要做什么,它声明了使用该模块的代码可用的标识符、类型和例程,实现指明模块是如何完成其接口声明的目标的,一个给定的模块通常只有一个接口,但是可能会有许多种实现能够提供接口所指定的功能。每个实现可能使用不同的算法和数据结构,但是它们都必须符合接口所给出的使用说明。客户调用程序是使用某个模块的一段代码,客户调用程序导入接口,而实现导出接口。由于多个客户调用程序是共享接口和实现的,因此使用实现的目标代码避免了不必要的代码重复,同时也有助于避免错误,因为接口和实现只需一次编写和调试就可多次使用。(接口的通用性就要求非常的高)
接口
接口只需要指明客户调用程序可能使用的标识符即可,应尽可能地隐藏一些无关的表示细节和算法,这样客户调用程序可以不必依赖于特定的实现细节。这种客户调用程序和实现之间的依赖--耦合----可能会在实现改变时引起错误,当这种依赖性埋藏在一些关于实现隐藏的或是不明确的假设中时,这些错误可能很难修复,因此一个设计良好且描述精确的接口应该尽量减少耦合。
C语言对接口和实现的分离只提供最基本的支持,但是简单的约定能给接口/实现方法论带来巨大的好处。在C中,接口在头文件声明,头文件声明了客户调用程序可以使用的宏、类型、数据结构、变量以及例程。用户使用C语言的预处理指令#include导入接口。
在接口中,实现函数使用统一的接口名前缀。接口名称表现为每个标识符的前缀(两者对称统一),这样可以避免名称碰撞,还有助于客户文档的文档化.
example1 整型算数运算Arith
---------->整型的算数运算(原因:当两个整型进行运算时,当都为正数时OK结果在所有机器中时统一的结果,若运算数字异号或同时为负数时,在不同的机器上可能会有不同的结果,为避免这样的不统一编写该接口)
统一规定:Arith_div,Arith_mod统一向数轴的左侧进行舍入。
小知识点:如果x/y是可表示的,则(x/y)*y+x%y=x成立
arith.h
extern int Arith_max(int x,int y);
extern int Arith_min(int x,int y);
extern int Arith_div(int x,int y);
extern int Arith_mod(int x,int y);
extern int Arith_ceiling(int x,int y);
extern int Arith_floor (int x,int y);
该接口的名字为Arith,接口头文件也相应地命名为arith.h,接口的名字以前缀的形式出现在接口的每个标识符中。模块名不仅提供了合适的前缀,而且还有助于整理客户调用程序代码。
Arith接口还提供了一些标准C函数库中没有但是很有用的函数,并为出发和取模提供了良好的定义,而标准C中并没有给出这些操作的定义和只提供基于实现的定义。
Arith_div 中如果x与y同号,则存在机器之间的差异化,若不同号,则存在相应的除法向零舍入和向数轴左侧舍入两种情况,此处统一处置为向数轴左侧进行舍入
使用-13/5==-2判断相应的计算规则可谓神来之笔
一个实现导出一个接口,它定义了必要的变量和函数以提供接口所规定的功能,在C语言中,一个实现是由一个或多个.c文件提供的,一个实现必须提供其导出的接口所指定的功能。实现应包含接口的.h文件,以保证它的定义和接口的声明时一致的。
Arith_min和Arith_max返回其整型参数中的最小值和最大值.
Arith_div返回y除以x得到的商,Arith_mod返回相应的余数。当x与y同号的时候,Arith_div(x,y)等价于x/y,Arith_mod(x,y)等价于x%y
当x与y的符号不同的时候,C的内嵌操作的返回值就取决于具体的实现:
如果-13/5=2,-13%5=-3,如果-13/5=-3,-13%5=2
标准库函数总是向零取整,因此div(-13,2)=-2,Arith_div和Arith_mod的语义同样定义好了:它们总是趋近数轴的左侧取整,因此Arith_div(-13,5)=-3,Arith_div(x,y)是不超过实数z的最大整数,其中z满足z*y=x。
Arith_mod(x,y)被定义为x-y*Arith_div(x,y)。因此Arith_mod(-13,5)=-13-5*(-3)=2
函数Arith_ceiling和Arith_floor遵循类似的约定,Arith_ceiling(x,y)返回不小于实数商x/y的最小整数
Arith_floor(x,y)返回不超过实数商x/y的最大整数
完整实现代码如下:
#include "arith.h"
int Arith_max(int x,int y)
{
return x > y ? x : y;
}
int Arith_min(int x,int y)
{
return x > y ? y : x;
}
int Arith_div(int x,int y)
{
if( (-13/5 == -2 ) &&( ( x < 0 ) != ( y < 0) ) && ( x%y != 0 ))
{
return x/y - 1;
}
else
{
return x/y;
}
}
int Arith_mod(int x,int y)
{
//return x-y*Arith_div(x,y);
if( (-13/5 == -2 ) &&( ( x < 0 ) != ( y < 0) ) && ( x%y != 0 ))
{
return x%y + y;
}
else
{
return x%y;
}
}
int Arith_floor(int x,int y)
{
return Arith_div(x,y);
}
int Arith_ceiling(int x,int y)
{
return Arith_div(x,y) + 1;
}