本帖最后由 小蒙 于 2017-10-23 20:04 编辑
我补充一下,非ANSI C风格的编译器支持不写形参,但是带来一个问题,如下代码,函数add接受两个int作为形参,但是调用add的时候传入了连个浮点值,根据C语言规则,在没有强制转换的前提下,float会自动转型为double,char和short会自动转型为int,如果传入的是short和char,没问题,转成int;但是如果是double的话,结果就不对了,函数原型对形参完成的是“强制类型转换”,所以,函数原型不仅需要用,而且更要用对,书上说,用函数原型的原因有三点:- 第一,符合C语言习惯,函数放在main前后的解释最佳答案已经说得很明白了
- 第二,也是我比较喜欢的,有些功能你已经很熟悉了,把它写进函数是分分钟的事,但是遇到新问题就要抛开已经会的,专注于新功能的编写,所以,提前把函数原型声明出来,你就可以在接下来的编程中,"假设"这个函数已经写完了,用它来编写其他的功能,而且只要不运行,编译器是不会报错的。
- 第三点,也是最重要的一点,没有形参的声明,在程序使用该函数的时候是不会检查实参传入的正确性的,比如传入实参的个数和类型,像下面的程序一样,没有定义函数原型,只是声明了函数,如果执行add(1);程序也会正常运行,内部原理我大概也说一下。主调函数执行add(1);的时候,把1放进栈中,被调函数调用的时候是从栈中取数据,由于只给了一个int,但是被调函数取得时两个值,所以除了这个值位32位的int外,还要从栈中去另一个32位的int,而这个int是咱就不知道是什么值了,所以add的结果就是这个1和取得下一个32位int的和。如果传入的是double,就又不一样了,如果是这样调用,add(1.0);根据C语言规定,1.0将变成double传递,double在我的电脑上是64位的,所以调用add(1.0);时主调函数就会往栈中存入一个64位的值,即1.0;被调函数执行的时候,从栈里取两次32位值(即两个int),所以正好把传进来的64位double"瓜分"了,当然这样得到的值也是错的。
int add();
int main(void){
add(1.0, 2.0);
return 0;
}
int add(int a, int b){
return a+b;
}
|