C程序接口的定义与实现（一）

   一个模块由两部分组成：接口和实现。接口指明模块要做什么，它声明了使用该模块代码可用的标识符、类型和例程；实现指明模块是如何完成其接口声明的目标的。

   在C语言中，接口在头文件声明，头文件的文件扩展名通常为.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_max。模块名不仅提供了合适的前缀，而且还有助于整理客户调用程序的代码。

C语言内嵌的操作只对正操作数有用。

   标准C认为只要x/y合法，(x/y)*y+x%y=x。当其中一个操作数是负数的时候，这种语义允许整数除法向零或向无穷小取整。

e.g：如果-13/5=-2，那么标准C认为-13%5=-13-(-13/5)*5=-13-(-2)*5=-3；

       但是如果-13/5=-3,那么-13%5=-13-(-3)*5=2

标准库函数div接受两个整数或长整数作为输入，返回商和余数，并存入一个结构中相应的字段quot和rem。

语义已经定义好了：它们总是向零取整，因此div(-13,5).quot=-2

Arith_div和Arith_mod的语义也同样定义好了：它们总是趋近数轴的左侧取整；当操作数符号相同时趋近于0，而当操作数的符号不同时趋近无穷小，因此Arith_div(-13,5)=-3

接口的实现:

#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*Atith_div(x,y);
}


 int Arith_floor(int x,int y){

  return Arith_mod(x,y);
}


int Arith_ceiling(int x,int y){

  return Atith_div(x,y)+(x%y!=0);
}