Question

什么叫函数有定义?

Answer 1

什么是函数的一般性定义
函数的定义通常包含以下内容：

函数返回值类型 函数名（形参表说明） /* 函数首部 */

{ 说明语句 /* 函数体 */

执行语句

}

说明：

(1)数的定义中的类型，是指函数返回值的类型。函数返回值不能是数组，也不能是函数，除此之外任何合法的数据类型都可以是函数的类型，如：int 、long、float、char等，或是后面讲到的指针、结构等。函数的类型是可以省略的，当不指明函数类型时，系统默认的是整类型。

(2)函数名是用户自定义的标识符，是C语言函数定义中唯一不可省略的部分，需符合C语言对标识符的规定，即由字母，数字或下划线组成，用于标识函数，并用该标识符调用函数。另外，函数名本身也有值，它代表了该函数的入口地址，使用指针调用该函数时，将用到此功能。

(3)形参也成为"形式参数"。形参表是用逗号分隔的一组变量说明，包括形参的类型和形参标识符，其作用是指出每一个形参的类型和形参的名称，当调用函数时，接受来自主调函数的数据，确定各参数的值。形参表说明可以有两种表示形式：

int func (int x, int y )

{ …… }

或 ：

int func ( x, y )

int x, y;

{ …… }

通常，调用函数需要多个原始数据，就必须定义多个形式参数。注意，在"）"后面不能加分号"；"。

(4)用{ }括起来的部分是函数的主体，称为函数体。函数体是一段程序，确定该函数应完成的规定的运算，应执行的规定的动作，集中体现了函数的功能。函数内部应有自己的说明语句和执行语句，但函数内定义的变量不可以与形参同名。花括号{ }是不可省略的。

根据函数定义的一般形式，我们可以得到一个C语言中最简单的函数：

dumy ( )

{ }

这是C语言中一个合法的函数，函数名为dumy。它没有函数类型说明，也没有形参表，同时函数体内也没有语句。实际上函数dumy不执行任何操作和运算，在一般情况下是没有用途的，但在程序开发的过程中有时是需要的，常用来代替尚未开发完毕的函数。
1, 什么是函数原型?什么是函数定义?二者有何区别?
当函数声明和定义出现在主函数之后的，我们需要在函数之前（在函数调用以前）加函数原型声明。

函数原型声明，指明 函数名字，返回类型，有几个参数，这几个参数是什么类型。不需要函数体。也不需要形式参数的名字（当然，写了形式参数的名字也不算错）。分号作原型声明 结束符

当函数定义出现在主函数之前，就不需要函数原型声明。

函数定义，必须有函数体。同时有 函数名字，返回类型，有形式参数的类型和名字。

二者主要区别是一个有函数体，描写函数数据加工和返回的过程和细节。另一个只是简单地说一下函数名字，返回类型，有几个参数。

例如:

函数原型声明：int fun(int a, int b); 函数名字fun，返回类型 int，有2个 int 参数

函数原型声明：int fun(int, int); 函数名字fun，返回类型 int，有2个 int 参数

函数原型声明：fun(int, int); 函数名字fun，默人返回类型，有2个 int 参数

例如函数声明和定义: int fun(int a, int b) {return a+b;}

花括号里是函数体，结束处没有分号，有形参名。
函数是什么意思？
函数就是在某变化过程中有两个变量X和Y，变量Y随着变量X一起变化，而且依赖于X。如果变量X取某个特定的值，Y依确定的关系取相应的值，那么称Y是X的函数。这一要领是由法国数学家黎曼在19世纪提出来的，但是最早产生于德国的数学家菜布尼茨。他和牛顿是微积分的发明者。17世纪末，在他的文章中，首先使用了“function"一词。翻译成汉语的意思就是“函数。不过，它和我们今天使用的函数一词的内涵并不一样，它表示”幂”、“座标”、“切线长”等概念。

直到18世纪，法国数学家达朗贝尔在进行研究中，给函数重新下了一个定义，他认为，所谓变量的函数，就是指由这些变量和常量所组成的解析表达式，即用解析式表达函数关系。后来瑞士的数学家欧拉又把函数的定义作了进一步的规范，他认为函数是能描画出的一条曲线。我们常见到的一次函数的图像、二次函数的图像、正比例函数的图像、反比例的图像等都是用图像法表示函数关系的。如果用达朗贝尔和欧拉的方法来表达函数关系，各自有它们的优点，但是如果作为函数的定义，还有欠缺。因为这两种方法都还停留在表面现象上，而没有提示出函数的本质来。

19世纪中期，法国数学家黎紧吸收了莱布尼茨、达朗贝尔和欧拉的成果，第一次准确地提出了函数的定义：如果某一个量依赖于另一个量，使后一个量变化时，前一个量也随着变化，那么就把前一个量叫做后一个量的函数。黎曼定义的最大特点在于它突出了就是之间的依赖、变化的关系，反映了函数概念的本质属性。