在法式筹算说话的北京网站建筑发展进程中，进程笼统是一个主要且具有里程碑感化的概念。进程笼统是指在法式中能够将一个语句序列写成一个具有称号和参数的子法式，然后在需求的中心遏制挪用，它完成了对较量争论进程的笼统和对代码的重用。
人们在求解一个庞杂成绩时，每每接纳的是渐渐分化、分而治之的方式，也就是把一个庞杂的大成绩分化成多少个比拟苟且求解的小成绩，然后分别求解。雷同地，法式员在筹算一个庞杂的法式时，常常也是把悉数法式分别成多少个功效较为单一且相对自力的子法式，然后分别予以完成，最初再把一切的子法式像搭积木一样拆卸起来。
进程和函数是两类分歧的子法式。一个进程是参数化较量争论的语句序列，一样平常没有前往值。函数在结构上雷同于进程，但一个函数每每有一个前往值.在C,C++等说话中，进程和函数被统一为函数这一种情势。
在法式中应用函数时，需求界说函数和挪用函数。每种法式筹算说话都邑供应关于函数界说和挪用的呼应法则。函数界说描写了函数做甚么和怎样做，函数挪用则是应用已界说的函数。
1.函数界说
一个函数的界说每每由两部分组成:函数首部和函数体。函数首部给出了一个左券阐明白怎样应用一个函数;P数体则用语句描写了函数的具体功效和完成细节。函数界说的一样平常格式是：
前往值的范例函数名(形参表)，/函数首部
{
函数体;
}
数首部阐明白函数前往值的数据范例、函数的名字和函数运转时所需的参数(称为形参)及其范例。函数所完成的功效在函数体部分描写。
2.函数挪用
在一个函数(称为挪用函数)中需求应用另外一个函数(称为被挪用函数)已完成的功效时，便以名字和参数遏制挪用，称为函数挪用。在应用一个函数时，只需晓得怎样挪用就能够了，其实不需求关怀被挪用函数的内部完成。因此，挪用函数需求给出被挪用函数的名字、向被挪用函数传送的参数(实参)和怎样处置惩罚前往值等。
函数挪用的一样平常情势为：
函数名(实参表);
完成函数挪用时，系统要作一系列的处置惩罚，包罗保存现场、实参传送、把持转人被挪用函数等，挪用完成后需求规复现场、传送前往值、把持转回挪用函数。
表7-4是一个函数界说和函数挪用的例子，个中，函数power的功效是求解实数x的k次方。
函数挪用的寄义如图7-7所示，个中，挪用函数caller在其语句“y = power(a,4);”中挪用了函数power.因此，在caller的实行进程中，实行到该函数挪用时，将实参a和4的值传送给形参x和k，把持流转人函数power开端实行，碰到return p时较量争论前往值，power实行遏制.今后，把持流再前往挪用函数caller并将前往值传给y，接着实行caller中“Y=power(a,4) ;”以后的语句。
3.参数与参数传送
在法式中应用函数时，参数起着挪用函数与被挪用函数之间的信息传送感化。每每有两类参数:情势参数和现实参数。情势参数(Parameter，简称为形参)呈目下当今函数界说时的函数首部，在情势上以代表着某些量的特点参数的体例呈现;现实参数(Argument，简称为实参)呈目下当今函数挪用中，它们对应于情势参数的具体内容。
比方，在后面关于函数power的界说中，函数首部为“double power(double x, int k)",个中，x和k就是形参。函数挪用power(3. 5,4)完成较量争论3. 54 , 3.5和4则是实参.函数挪用power(a, m)则完成较量争论am，
高端网页制作， a和m是实参，需将实参变量a的值传送给形参x，实参变量m的值传送给形参k。在挪用时.实参a和m必须具有肯定的值。
函数的实介入形参是相对应的。完成函数挪用时，实参要向形参传送值。参数传送指的是在函数挪用时实介入形参的婚配举措。假如由实参向形参传送值，呼应的挪用就称为传优挪用;假如传送的是实参的地址(或经过进程援用传送)，则称为援用挪用。下面以完成两个整型变It互换值的函数为例，扼要阐明传值挪用和援用挪用体例下的参数传送成绩，个中swapl接纳的是传值挪用，swap2接纳的是援用挪用，它们的界说和挪用如表7-5所示。
在传值挪用体例中，形参将获得实参的值。在这类体例下，形介入实参分别对应分歧的存储单位.以函数swapl为例，在函数挪用语句swapl (a, b)获得实行之前，系统还没有为形参分派存储单位，如图7-8(a)所示。函数挪用语句实行时，系统为形参x,y分派存储单位，实参a和b的值分别传送给形参x和y。在函数swapl实行时，确切将x和y的值作了互换，但此时x与a有关、y与b有关，以是a和b的值并没有获得互换，如图7-8 (c)所示.现实卜，被挪用函数实行遏制后，形参的存储空间就被系统收受接管了。
在援用挪用体例下，形参示意的是实参的存储位置，形参能够当作是实参之存储位置的代名词。因此，在函数swap2中，互换x与Y的值就等同于互换a与b的值，挪用遏制后完成了对a和b值的互换处置惩罚。
4.尺度库函数
编写法式时，其实不需求也不该当统统都重新开端，而该当尽量,地哄骗后人的结果，以提高开辟的速率和质量。为此，每种法式筹算说话在发布时都包罗了一些随法式开辟情形供应的函数库，供编程职员开辟法式时挪用，如C说话的尺度库等。由编译法式开辟商和第三方供应的函数库，完成了良多公用的或常常使用的功效，这些函数在准确性、高效性和可移植性方面更有包管。
寄存在函数库中的函数称为库函数.库函数具有明白的功效、生齿参数和前往值。
函数库以文件体例供应。比方，扩展名为lib或dll的文件每每就是某种函数库。