wordpress零基础建站,如何申请域名,购物app哪个好,泉州市培训建设系统中心网站文章目录 第9章 函数9.1 函数的定义和调用9.1.1 函数定义9.1.2 函数调用 9.2 函数声明9.3 实际参数9.3.1 实际参数的转换9.3.2 数组型实际参数9.3.3 变长数组形式参数(C99)9.3.4 在数组参数声明中使用static(C99)9.3.5 复合字面量 9.4 return语句9.5 程序终止9.5.1 exit函数 9.… 文章目录 第9章 函数9.1 函数的定义和调用9.1.1 函数定义9.1.2 函数调用 9.2 函数声明9.3 实际参数9.3.1 实际参数的转换9.3.2 数组型实际参数9.3.3 变长数组形式参数(C99)9.3.4 在数组参数声明中使用static(C99)9.3.5 复合字面量 9.4 return语句9.5 程序终止9.5.1 exit函数 9.6 递归9.6.1 快速排序算法 9.7 泛型选择(C1X)问与答总结 第9章 函数
——如果你有一个带了10个参数的过程那么你很可能还遗漏了一些参数。 函数简单来说就是一连串语句这些语句被组合在一起并被指定了一个名字。虽然“函数”这个术语来自数学但是C语言的函数不完全等同于数学函数。 在C语言中函数不一定要有参数也不一定要计算数值。在某些编程语言中“函数”需要返回一个值而“过程”不返回值。C语言没有这样的区别。 函数是C程序的构建块。每个函数本质上是一个自带声明和语句的小程序。可以利用函数把程序划分成小块这样便于人们理解和修改程序。由于不必重复编写要多次使用的代码函数可以使编程不那么单调乏味。此外函数可以复用一个函数最初可能是某个程序的一部分但可以将其用于其他程序。 到目前为止我们的程序都是只由一个main函数构成的。本章将学习如何编写除main函数以外的其他函数并更加深入地了解main函数本身。9.1节介绍定义和调用函数的方法9.2节讨论函数的声明以及它和函数定义的差异接下来9.3节讲述参数是怎么传递给函数的。余下的部分讨论return语句9.4 节、与程序终止相关的问题9.5 节和递归9.6 节。 9.1 函数的定义和调用
假设我们经常需要计算两个double类型数值的平均值。C语言没有“求平均值”函数但是可以自己定义一个。下面就是这个函数
double average(double a, double b)
{ return (a b) / 2;
}位于函数开始处的单词double表示average函数的返回类型return type也就是每次调用该函数时返回数据的类型。标识符a和标识符b即函数的形式参数形参parameter表示在调用average函数时需要提供的两个数。每一个形式参数都必须有类型正像每个变量有类型一样这里选择了double作为a和b的类型。这看上去有点奇怪但是单词double必须出现两次一次为a另一次为b。函数的形式参数本质上是变量其初始值在调用函数的时候才提供。 每个函数都有一个带有花括号的执行部分称为函数体body。因此每个函数体都是一个复合语句5.2.1节。average函数的函数体由一对花括号以及其中的return语句组成。执行return语句会使函数“返回”到调用它的地方表达式(ab)/2的值将作为函数的返回值。 为了调用函数需要写出函数名及跟随其后的实际参数argument列表。例如average(x, y)是对average函数的调用。实际参数用来给函数提供信息。在此例中函数average需要知道求哪两个数的平均值。调用average(x, y)的效果就是把变量x和变量y的值复制给形式参数a和b然后执行average函数的函数体。实际参数不一定是变量任何正确类型的表达式都可以average(5.1, 8.9)和average(x/2, y/3)都是合法的函数调用。 我们把average函数的调用放在需要使用其返回值的地方。例如为了计算并显示出x和y的平均值可以写为
printf(Average: %g\n, average(x, y));这条语句产生如下效果
以变量x和变量y作为实际参数调用average函数。把x和y的值复制给a和b。average函数执行自己的return语句返回a和b的平均值。printf函数显示出函数average的返回值。average函数的返回值成了函数printf的一个实际参数。 注意!!我们没有保存average函数的返回值程序显示这个值后就把它丢弃了。如果需要在稍后的程序中用到返回值可以把这个返回值赋值给变量 //这条语句调用了average函数然后把它的返回值存储在变量avg中。
avg average(x, y);现在把average函数放在一个完整的程序中来使用。下面的程序读取了3个数并且计算它们的平均值每次计算一对数的平均值(其中值得一提的是这个程序表明可以根据需要多次调用一个函数)
/*
average.c
---Computes pairwise averages of three numbers
*/#include stdio.h double average(double a, double b)
{ return (a b) / 2;
} int main(void)
{ double x, y, z; printf(Enter three numbers: ); scanf(%lf%lf%lf, x, y, z); printf(Average of %g and %g: %g\n, x, y, average(x, y)); printf(Average of %g and %g: %g\n, y, z, average(y, z)); printf(Average of %g and %g: %g\n, x, z, average(x, z)); return 0;
} /*
Enter three numbers: 3.5 9.6 10.2
Average of 3.5 and 9.6: 6.55
Average of 9.6 and 10.2: 9.9
Average of 3.5 and 10.2: 6.85
*/
注意这里把average函数的定义放在了main函数的前面。在9.2节我们将看到把average函数的定义放在main函数的后面可能会有问题。 不是每个函数都返回一个值。例如进行输出操作的函数可能不需要返回任何值。为了指示出不带返回值的函数需要指明这类函数的返回类型是void。void是一种没有值的类型。思考下面的函数这个函数用来显示信息T minus n and counting其中n的值在调用函数时提供 void print_count(int n)
{ printf(T minus %d and counting\n, n);
}函数print_count有一个形式参数n参数的类型为int。此函数没有返回任何值所以用void指明它的返回值类型并且省略了return语句。既然print_count函数没有返回值那么不能使用调用average函数的方法来调用它。print_count函数的调用必须自成一个语句
print_count(i);下面这个程序在循环内调用了10次print_count函数
/*
countdown.c
---Prints a countdown
*/#include stdio.h void print_count(int n)
{ printf(T minus %d and counting\n, n);
} int main(void)
{ int i; for (i 10; i 0; --i) print_count(i); return 0;
}
最开始变量i的值为10。第一次调用print_count函数时i被复制给n所以变量n的值也是10。因此第一次调print_count函数会显示:
T minus 10 and counting随后函数print_count返回到被调用的地方而这个地方恰好是for语句的循环体。for语句再从调用离开的地方重新开始先让变量i自减变成9再判断i是否大于0。由于判断结果为真因此再次调用函数print_count这次显示
T minus 9 and counting每次调用print_count函数时变量i的值都不同所以print_count函数会显示10条不同的信息。 有些函数根本没有形式参数。思考下面这个print_pun函数它在每次调用时显示一条双关语 void print_pun(void)
{ printf(To C, or not to C: that is the question.\n);
} 圆括号中的单词void表明print_pun函数没有实际参数。这里使用void作为占位符表示“这里没有任何东西”。
调用不带实际参数的函数时只需要写出函数名并且在后面加上一对圆括号print_pun();注意即使没有实际参数也必须给出圆括号。 下面这个小程序测试了print_pun函数 /* Prints a bad pun */ #include stdio.h void print_pun(void)
{ printf(To C, or not to C: that is the question.\n);
} int main(void)
{ print_pun(); return 0;
}程序首先从main函数中的第一条语句开始执行这里碰巧第一句就是print_pun函数调用。开始执行print_pun函数时它会调用printf函数显示字符串。当printf函数返回时print_pun函数也就返回到了main函数。
9.1.1 函数定义 函数定义的一般格式如下 返回类型 函数名(形式参数)
复合语句函数的“返回类型”是函数返回值的类型。下列规则用来管理返回类型。
函数不能返回数组但关于返回类型没有其他限制。指定返回类型是void类型说明函数没有返回值。如果省略返回类型C89会假定函数返回值的类型是int类型但在C99中这是不合法的。 一些程序员习惯把返回类型放在函数名的上边 double
average(double a, double b)
{ return (a b) / 2;
}
/*
如果返回类型很冗长比如unsigned long int类型那么把返回类型单独放在一行是非常有用的。
*/函数名后边有一串形式参数列表。需要在每个形式参数的前面说明其类型形式参数间用逗号进行分隔。如果函数没有形式参数那么在圆括号内应该出现void。注意即使几个形式参数具有相同的数据类型也必须分别说明每个形式参数的类型。
下面的形参列表写法是错误的
double average(double a, b) /*** WRONG ***/
{ return (a b) / 2;
}这里的复合语句是函数体函数体由一对花括号以及内部的声明和语句组成。例如average函数可以写为:
double average(double a, double b)
{ double sum; /* declaration */ sum a b; /* statement */ return sum / 2; /* statement */
}函数体内声明的变量专属于此函数其他函数不能对这些变量进行检查或修改。在C89中变量声明必须出现在语句之前。在C99中变量声明和语句可以混在一起只要变量在第一次使用之前进行声明就行。有些C99之前的编译器也允许声明和语句混合。 对于返回类型为void的函数本书称为“void函数”其函数体可以只是一对花括号空的复合语句 void print_pun(void)
{
}程序开发过程中留下空函数体是有意义的。因为没有时间完成函数所以为它预留下空间以后可以再回来编写它的函数体。
9.1.2 函数调用 函数调用由函数名和跟随其后的实际参数列表组成其中实际参数列表用圆括号括起来 average(x, y)
print_count(i)
print_pun()注意如果丢失圆括号那么将无法进行函数调用比如print_pun;语句就是错误的这样的结果是合法但没有意义的表达式语句虽然看上去正确但是不起任何作用。一些编译器会发出一条类似“statement with no effect”的警告。
void函数调用的后边始终跟着分号使得该调用成为语句
print_count(i);
print_pun();另外非void函数调用会产生一个值该值可以存储在变量中进行测试、显示或者用于其他用途比如
avg average(x, y); if (average(x, y) 0) printf(Average is positive\n);printf(The average is %g\n, average(x, y));如果不需要非void函数返回的值总是可以将其丢弃
average(x, y); /* discards return value */为了清楚地表明函数返回值是被故意丢掉的C语言允许在函数调用前加上(void) (void) printf(Hi, Mom!\n); 我们所做的工作就是把printf函数的返回值强制类型转换7.4节成void类型。在C语言中“强制转换成void”是对“抛弃”的一种客气说法。使用(void)可以使别人知道代码编写者是故意抛弃返回值的而不是忘记了。但是C语言库中大量函数的返回值通常会被丢掉在调用它们时都使用(void)会很麻烦因此本书没有这样做。 为了弄清楚如何使程序变得更加容易理解现在来编写一个程序检查一个数是否为素数。这个程序将提示用户输入一个数然后给出一条消息说明此数是否为素数 /*
prime.c
---Tests whether a number is prime
*/#include stdbool.h /* c99 only */
#include stdio.h bool is_prime(int n)
{ int divisor; if (n 1) return false; for (divisor 2; divisor * divisor n; divisor) if (n % divisor 0) return false; return true;
} int main(void)
{ int n; printf(Enter a number: ); scanf(%d, n); if (is_prime(n)) printf(Prime\n); else printf(Not prime\n); return 0;
} /*
Enter a number: 34
Not prime
*/注意main函数包含一个名为n的变量而is_prime函数的形式参数也叫n。一般来说在一个函数中可以声明与另一个函数中的变量同名的变量。这两个变量在内存中的地址不同所以给其中一个变量赋新值不会影响另一个变量。形式参数也具有这一性质。10.1节会更详细地讨论这个问题。 如is_prime函数所示函数可以有多条return语句。但是在任何一次函数调用中只能执行其中一条return语句这是因为到达return语句后函数就会返回到调用点。在9.4节我们会更深入地学习return语句。 9.2 函数声明
从前面的程序中可以看出函数的定义总是放置在调用点的上面。事实上C语言并没有要求函数的定义必须放置在调用点之前。假如我们在main函数后面定义一个函数
#include stdio.h int main(void)
{ double x, y, z; printf(Enter three numbers: ); scanf(%lf%lf%lf, x, y, z); printf(Average of %g and %g: %g\n, x, y, average(x, y)); printf(Average of %g and %g: %g\n, y, z, average(y, z)); printf(Average of %g and %g: %g\n, x, z, average(x, z));return 0;
} double average (double a, double b)
{ return (a b) / 2;
}当遇到main函数中第一个average函数调用时编译器没有任何关于average函数的信息编译器不知道average函数有多少形式参数、形式参数的类型是什么也不知道average函数的返回值是什么类型。但是编译器不会给出出错消息而是假设average函数返回int型的值回顾9.1节的内容可以知道函数返回值的类型默认为int型。我们可以说编译器为该函数创建了一个隐式声明implicit declaration。编译器无法检查传递给average的实参个数和实参类型只能进行默认实参提升9.3节并期待最好的情况发生。当编译器在后面遇到average的定义时它会发现函数的返回类型实际上是double而不是int从而我们得到一条出错消息。 为了避免定义前调用的问题一种方法是使每个函数的定义都出现在其调用之前。可惜的是有时候无法进行这样的安排而且即使可以这样安排程序也会因为函数定义的顺序不自然而难以阅读。 幸运的是C语言提供了一种更好的解决办法在调用前声明每个函数。函数声明function declaration使得编译器可以先对函数进行概要浏览而函数的完整定义以后再给出。函数声明类似于函数定义的第一行不同之处是在其结尾处有分号 //函数的声明必须与函数的定义一致
返回类型 函数名(形式参数);下面是为average函数添加了声明后程序的样子
#include stdio.h double average(double a, double b); /* 声明 */ int main(void)
{ double x, y, z; printf(Enter three numbers: ); scanf(%lf%lf%lf, x, y, z); printf(Average of %g and %g: %g\n, x, y, average(x, y)); printf(Average of %g and %g: %g\n, y, z, average(y, z)); printf(Average of %g and %g: %g\n, x, z, average(x, z)); return 0;
} double average(double a, double b) /* 定义 */
{ return (a b) / 2;
} 为了与过去的那种圆括号内为空的函数声明风格相区别我们把正在讨论的这类函数声明称为函数原型function prototype。 原型为如何调用函数提供了完整的描述提供了多少实际参数、这些参数应该是什么类型以及返回的结果是什么类型。
顺便提一句函数原型可以不需要说明函数形式参数的名字只要显示他们的类型就可以了
double average(double, double);通常最好是不要省略形式参数的名字因为这些名字可以说明每个形式参数的目的并且提醒程序员在函数调用时实际参数的出现次序。当然省略形式参数的名字也有一定的道理有些程序员喜欢这样做。 C99遵循这样的规则在调用一个函数之前必须先对其进行声明或定义。调用函数时如果此前编译器未见到该函数的声明或定义会导致出错。 9.3 实际参数
复习下形式参数和实际参数的差异
形式参数parameter出现在函数定义中它们以假名字来表示函数调用时需要提供的值实际参数argument是出现在函数调用中的表达式。 在C语言中实际参数是值传递的调用函数时计算出每个实际参数的值并且把它赋给相应的形式参数。在函数执行过程中对形式参数的改变不会影响实际参数的值这是因为形式参数中包含的是实际参数值的副本。从效果上来说每个形式参数的行为好像是把变量初始化成与之匹配的实际参数的值。 实际参数的值传递既有利也有弊。因为形式参数的修改不会影响到相应的实际参数所以可以把形式参数作为函数内的变量来使用这样可以减少真正需要的变量数量。思考下面这个函数此函数用来计算数x的n次幂 int power(int x, int n)
{ int i, result 1; for (i 1; i n; i) result result * x; return result;
}因为n只是原始指数的副本所以可以在函数体内修改它也就不需要使用变量i了:
int power(int x, int n)
{ int result 1; while (n-- 0) result result * x; return result;
} 可惜的是C语言对实际参数值传递的要求使它很难编写某些类型的函数。例如假设我们需要一个函数它把double型的值分解成整数部分和小数部分。因为函数无法返回两个数所以可以尝试把两个变量传递给函数并且修改它们 void decompose(double x, long int_part, double frac_part)
{ int_part (long) x; /* drops the fractional part of x */ frac_part x – int_part;
}假设采用下面的方法调用这个函数
decompose(3.14159, i, d);在调用开始时程序把3.14159复制给x把i的值复制给int_part而且把d的值复制给frac_part。然后decompose函数内的语句把3赋值给int_part把.14159赋值给frac_part接着函数返回。可惜的是变量i和变量d不会因为赋值给int_part和frac_part而受到影响所以它们在函数调用前后的值是完全一样的。正如将在11.4节看到的那样稍做一点额外的工作就可以使decompose函数运转起来。但是我们首先需要介绍更多C语言的特性。
9.3.1 实际参数的转换 C语言允许在实际参数的类型与形式参数的类型不匹配的情况下进行函数调用。管理如何转换实际参数的规则与编译器是否在调用前遇到函数的原型或者函数的完整定义有关。 编译器在调用前遇到原型。就像使用赋值一样每个实际参数的值被隐式地转换成相应形式参数的类型。例如如果把int类型的实际参数传递给期望得到double类型数据的函数那么实际参数会被自动转换成double类型。编译器在调用前没有遇到原型。编译器执行默认实参提升(1)把float类型的实际参数转换成double类型(2)执行整值提升即把char类型和short类型的实际参数转换成int类型。C99实现了整数提升。
9.3.2 数组型实际参数 数组经常被用作实际参数。当形式参数是一维数组时可以而且是通常情况下不说明数组的长度 int f(int a[]) /* no length specified */
{ ...
}实际参数可以是元素类型正确的任何一维数组。只有一个问题f函数如何知道数组是多长呢可惜的是C语言没有为函数提供任何简便的方法来确定传递给它的数组的长度如果函数需要我们必须把长度作为额外的参数提供出来。 请注意虽然可以用运算符sizeof计算出数组变量的长度但是它无法给出关于数组型形式参数的正确答案 int f(int a[])
{ int len sizeof(a) / sizeof(a[0]); /*** WRONG: not the number of elements in a ***/ ...
}下面的函数说明了一维数组型实际参数的用法。当给出具有int类型值的数组a时sum_array函数返回数组a中元素的和。因为sum_array函数需要知道数组a的长度所以必须把长度作为第二个参数提供出来。
int sum_array(int a[], int n)
{ int i, sum 0; for (i 0; i n; i) sum a[i]; return sum;
}其中sum_array函数的原型有下列形式
int sum_array(int a[], int n);通常情况下如果愿意的话则可以省略形式参数的名字int sum_array(int [], int); 在调用sum_array函数时第一个参数是数组的名字第二个参数是这个数组的长度。例如 #define LEN 100 int main(void)
{ int b[LEN], total; ... total sum_array(b, LEN); ...
} 注意在把数组名传递给函数时不要在数组名的后边放置方括号 total sum_array(b[], LEN); /*** WRONG ***/一个关于数组型实际参数的重要论点函数无法检测传入的数组长度的正确性。我们可以利用这一点来告诉函数数组的长度比实际情况小。假设虽然数组b有100个元素但是实际仅存储了50个数。通过书写下列语句可以对数组的前50个元素进行求和
total sum_array(b, 50); /* sums first 50 elements *//*
sum_array函数将忽略另外50个元素。
事实上sum_array函数甚至不知道另外50个元素的存在
如果将50改成150则会超出数组的末尾从而导致未定义的行为引发错误。
*/关于数组型实际参数的另一个重要论点是函数可以改变数组型形式参数的元素并且改变会在相应的实际参数中体现出来。例如下面的函数通过在每个数组元素中存储0来修改数组因为数组名本质上是其第一个元素的地址
void store_zeros(int a[], int n)
{ int i; for (i 0; i n; i) a[i] 0;
}函数调用store_zeros(b, 100);会在数组b的前100个元素中存储0。数组型实际参数的元素可以修改这似乎与C语言中实际参数的值传递相矛盾。事实上这并不矛盾但现在没法解释等到指针章节再解释。 如果形式参数是多维数组声明参数时只能省略第一维的长度。例如如果修改sum_array函数使得a是一个二维数组我们可以不指出行的数量但是必须指定列的数量 #define LEN 10 int sum_two_dimensional_array(int a[][LEN], int n)
{ int i, j, sum 0; for (i 0; i n; i) for (j 0; j LEN; j) sum a[i][j]; return sum;
}不能传递具有任意列数的多维数组是很讨厌的。幸运的是我们经常可以通过使用指针数组13.7节解决这种困难。C99中的变长数组形式参数则提供了一种更好的解决方案。
9.3.3 变长数组形式参数(C99)
如果使用变长数组形式参数我们可以显式地说明数组a的长度就是n
int sum_array(int n, int a[n])
{ ...
} 第一个参数n的值确定了第二个参数a的长度。注意这里交换了形式参数的顺序使用变长数组形式参数时参数的顺序很重要。 请注意下面的sum_array函数定义是非法的 int sum_array(int a[n], int n) /*** WRONG ***/
{ ...
}
//编译器会在遇到int a[n]时显示出错消息因为此前它没有见过n。对于新版本的sum_array函数其函数原型有好几种写法:
一种写法是使其看起来跟函数定义一样int sum_array(int n, int a[n]);另一种写法是用*星号取代数组长度int sum_array(int n, int a[*]);函数声明时形式参数的名字是可选的。如果第一个参数定义被省略了那么就没有办法说明数组a的长度是n而星号的使用则为我们提供了一个线索——数组的长度与形式参数列表中前面的参数相关int sum_array(int, int [*]);另外方括号为空也是合法的。在声明数组参数时我们经常这么做:int sum_array(int n, int a[]);、int sum_array(int, int []);但是让括号为空不是一个很好的选择因为这样并没有说明n和a之间的关系。 一般来说变长数组形式参数的长度可以是任意表达式。例如假设我们要编写一个函数来连接两个数组a和b要求先复制a的元素再复制b的元素把结果写入第三个数组c int concatenate(int m, int n, int a[m], int b[n], int c[mn])
{ ...
} 数组c的长度是a和b的长度之和。这里用于指定数组c长度的表达式只用到了另外两个参数但一般来说该表达式可以使用函数外部的变量甚至可以调用其他函数。 一维变长数组形式参数通过指定数组参数的长度使得函数的声明和定义更具描述性。但是由于没有进行额外的错误检测数组参数仍然有可能太长或太短。 如果变长数组参数是多维的则更加实用。之前我们尝试过写一个函数来实现二维数组中元素相加。原始的函数要求数组的列数固定。如果使用变长数组形式参数则可以推广到任意列数的情况 int sum_two_dimensional_array(int n, int m, int a[n][m])
{ int i, j, sum 0; for (i 0; i n; i) for (j 0; j m; j) sum a[i][j]; return sum;
}这个函数的原型可以是以下几种(行可以为空但是列不能)
int sum_two_dimensional_array(int n, int m, int a[n][m]);int sum_two_dimensional_array(int n, int m, int a[*][*]);int sum_two_dimensional_array(int n, int m, int a[][m]);int sum_two_dimensional_array(int n, int m, int a[][*]);
9.3.4 在数组参数声明中使用static(C99) C99允许在数组参数声明中使用关键字staticC99之前static关键字就已经存在18.2节会讨论它的传统用法。 在下面这个例子中将static放在数字3之前表明数组a的长度至少可以保证是3 int sum_array(int a[static 3], int n)
{ ...
}这样使用static不会对程序的行为有任何影响。static的存在只不过是一个“提示”C编译器可以据此生成更快的指令来访问数组。如果编译器知道数组总是具有某个最小值那么它可以在函数调用时预先从内存中取出这些元素值而不是在遇到函数内部需要用到这些元素的语句时才取出相应的值。
最后关于static还有一点值得注意如果数组参数是多维的static仅可用于第一维例如指定二维数组的行数。
9.3.5 复合字面量
回到sum_array函数当调用sum_array函数时第一个参数通常是用于求和的数组的名字。例如可以这样调用sum_array
int b[] {3, 0, 3, 4, 1};
total sum_array(b, 5);这样写的唯一问题是需要把b作为一个变量声明并在调用前进行初始化。如果b不作他用这样做其实有点浪费。 在C99中可以使用复合字面量来避免该问题复合字面量是通过指定其包含的元素而创建的没有名字的数组。下面调用sum_array函数第一个参数就是一个复合字面量 total sum_array((int []){3, 0, 3, 4, 1}, 5); 在这个例子中复合字面量创建了一个由5个整数3、0、3、4 和 1组成的数组。这里没有对数组的长度做特别的说明其长度是由复合字面量的元素个数决定的。当然也可以显式地指明长度如(int[4]){1, 9, 2, 1}这种方式等同于(int[]){1, 9, 2, 1}。
一般来说复合字面量的格式如下先在一对圆括号内给定类型名随后是一个初始化器用来指定初始值。因此可以在复合字面量的初始化器中使用指示器 8.1 节一样而且同样可以不提供完全的初始化未初始化的元素默认被初始化为0。例如复合字面量 (int[10]){8, 6}有10个元素前两个元素的值为8和6剩下的元素值为0。
函数内部创建的复合字面量可以包含任意的表达式不限于常量。例如
total sum_array((int []){2 * i, i j, j * k}, 3);
//其中i、j、k 都是变量。复合字面量为左值4.2节所以其元素的值可以改变。如果要求其值为“只读”可以在类型前加上const如(const int []){5, 4}。 9.4 return语句
非void的函数必须使用return语句来指定将要返回的值。return语句有如下格式
return 表达式;该表达式经常只有常量或变量
return 0;
return status;但它也可能是更加复杂的表达式。例如在return语句的表达式中看到条件运算符是很平常的
return n 0 ? n : 0;如果return语句中表达式的类型和函数的返回类型不匹配那么系统会把表达式的类型隐式地转换成返回类型。例如如果声明函数返回int类型值但是return语句包含double类型表达式那么系统会把表达式的值转换成int类型。 如果没有给出表达式return语句可以出现在返回类型为void的函数中
return; /* return in a void function *如果把表达式放置在上述这种return语句中则会抛出一个编译时错误。 下面的例子中在给出负的实际参数时return语句会导致函数立刻返回 void print_int(int i)
{ if (i 0) return; printf(%d, i);
}
//如果i小于0print_int将直接返回不会调用printf。return语句可以出现在void函数的末尾
void print_pun(void)
{ printf(To C, or not to C: that is the question.\n); return; /* OK, but not needed */
}
//return语句不是必需的因为在执行完最后一条语句后函数将自动返回。如果非void函数到达了函数体的末尾也就是说没有执行return语句那么如果程序试图使用函数的返回值其行为是未定义的。有些编译器会在发现非void函数可能到达函数体末尾时产生“control reaches end of non-void function”这样的警告消息。
9.5 程序终止
既然main是函数那么它必须有返回类型。正常情况下main函数的返回类型是int类型因此我们目前见到的main函数都是这样定义的
int main(void)
{ ...
}以往的C程序常常省略main的返回类型这其实是利用了返回类型默认为int类型的传统
main(void)
{ ...
}但省略返回类型在C99中是不合法的所以最好不要这样做。省略main函数参数列表中的void是合法的但是从编程风格的角度看最好显式地表明main函数没有参数。后面将看到main函数有时是有两个参数的通常名为argc和argv 13.7 节。 main函数返回的值是状态码在某些操作系统中程序终止时可以检测到状态码。如果程序正常终止main函数应该返回0为了表示异常终止main函数应该返回非0的值实际上这一返回值也可以用于其他目的即使不打算使用状态码确保每个C程序都返回状态码也是一个很好的实践因为以后运行程序的人可能需要测试状态码。 9.5.1 exit函数 在main函数中执行return语句是终止程序的一种方法另一种方法是调用exit函数此函数属于stdlib.h头26.2节。传递给exit函数的实际参数和main函数的返回值具有相同的含义两者都说明程序终止时的状态。为了表示正常终止传递0 exit(0); /* normal termination */因为0有点模糊所以C语言允许用EXIT_SUCCESS来代替效果是相同的:
exit(EXIT_SUCCESS); /* normal termination */ 传递EXIT_FAILURE表示异常终止
exit(EXIT_FAILURE); /* abnormal termination */EXIT_SUCCESS和EXIT_FAILURE都是定义在stdlib.h中的宏。EXIT_SUCCESS和EXIT_FAILURE的值都是由实现定义的通常分别是0和1。 作为终止程序的方法return语句和exit函数关系紧密。事实上main函数中的语句return 表达式;等价于exit(表达式); return语句和exit函数之间的差异是不管哪个函数调用exit函数都会导致程序终止return语句仅当由main函数调用时才会导致程序终止。一些程序员只使用exit函数以便更容易定位程序中的全部退出点。 9.6 递归
如果函数调用它本身那么此函数就是递归的recursive。例如利用公式n! n×n-1!下面的函数可以递归地计算出n!的结果
int fact(int n)
{ if (n 1) return 1; else return n * fact(n - 1);
} 有些编程语言极度依赖递归另一些编程语言则甚至不允许使用递归。C语言介于两者的中间它允许递归但是大多数C程序员并不经常使用递归。 一旦被调用fact函数就会仔细地测试“终止条件”被调用时它会立即检查参数是否小于或等于1为了防止无限递归所有递归函数都需要某些类型的终止条件。 9.6.1 快速排序算法
实际上递归经常作为分治法divide-and-conquer的结果自然地出现。这种称为分治法的算法设计方法把一个大问题划分成多个较小的问题然后采用相同的算法分别解决这些小问题。分治法的经典示例就是流行的排序算法——快速排序quicksort。快速排序算法的操作如下为了简化假设要排序的数组的下标从1到n。
选择数组元素e作为“分割元素”然后重新排列数组使得元素从1一直到i-1都是小于或等于e的元素i包含e而元素从i1一直到n都是大于或等于e的(最关键的一步)。通过递归地采用快速排序方法对从1到i-1的元素进行排序。通过递归地采用快速排序方法对从i1到n的元素进行排序。 执行完第(1)步后元素e处在正确的位置上。因为e左侧的元素全都是小于或等于e的所以第(2)步对这些元素进行排序时这些小于或等于e的元素也会处在正确的位置上。类似的推理也可以应用于e右侧的元素。 该算法依赖于两个命名为low和high的标记这两个标记用来跟踪数组内的位置。开始时low指向数组中的第一个元素high指向末尾元素。首先把第一个元素分割元素复制给其他地方的一个临时存储单元从而在数组中留出一个“空位”。接下来从右向左移动high直到high指向小于分割元素的数时停止。然后把这个数复制给low指向的空位这将产生一个新的空位high指向的。现在从左向右移动low寻找大于分割元素的数。一旦找到时就把这个找到的数复制给high指向的空位。重复执行此过程交替操作low和high直到两者在数组中间的某处相遇时停止。此时两个标记都指向空位只要把分割元素复制给空位就够了。 最后分割元素左侧的所有元素都小于或等于分割元素e而其右侧的所有元素都大于或等于分割元素e。 开发一个名为quicksort的递归函数此函数采用快速排序算法对数组元素进行排序。为了测试函数将由main函数往数组中读入10个元素调用quicksort函数对该数组进行排序然后显示数组中的元素
/*
qsort.c
--Sorts an array of integers using Quicksort algorithm
*/#include stdio.h
#define N 10 void quicksort(int a[], int low, int high);
int split(int a[], int low, int high); int main(void)
{ int a[N], i; printf(Enter %d numbers to be sorted: , N); for (i 0; i N; i) scanf(%d, a[i]); quicksort(a, 0, N - 1); printf(In sorted order: ); for (i 0; i N; i) printf(%d , a[i]); printf(\n); return 0;
} void quicksort(int a[], int low, int high)
{ int middle; if (low high) return; middle split(a, low, high); quicksort(a, low, middle - 1); quicksort(a, middle 1, high);
} int split(int a[], int low, int high)
{ int part_element a[low]; for (;;) { while (low high part_element a[high])high--; if (low high) break; a[low] a[high]; while (low high a[low] part_element) low; if (low high) break; a[high--] a[low]; } a[high] part_element; return high;
}/*
Enter 10 numbers to be sorted: 9 16 47 82 4 66 12 3 25 51
In sorted order: 3 4 9 12 16 25 47 51 66 82
*/快速排序算法小结如何改进其性能
改进分割算法。上面介绍的方法不是最有效的。我们不再选择数组中的第一个元素作为分割元素。更好的方法是取第一个元素、中间元素和最后一个元素的中间值。分割过程本身也可以加速。特别是在两个while循环中避免测试low high是可能的。采用不同的方法进行小数组排序。不再递归地使用快速排序法用一个元素从头到尾地检查数组。针对小数组比如元素数量少于25个的数组更好的方法是采用较为简单的方法。使得快速排序非递归。虽然快速排序本质上是递归算法并且递归格式的快速排序是最容易理解的但是实际上若去掉递归会更高效。 改进快速排序的细节可以参考算法设计方面的书如Robert Sedgewick的《算法:C语言实现(第1-4部分)基础知识、数据结构、排序及搜索(原书第3版)》。 9.7 泛型选择(C1X)
有时候你可能希望用同一个名字编写好几个函数因为它们实现类似的功能只是参数和返回类型不同。这在其他一些高级语言比如C里很容易因为它们提供函数重载但C语言不支持这种做法。 实际上C标准库已经用了这种手段。从C99开始C标准库用泛型宏27.5节来统一数学函数的各个版本。比如对于正弦函数为了应对double、float、long double、double _Complex、float _Complex和long double _Complex这些类型的参数标准库定义了相应的函数sin、sinf、sinl、csin、csinf和csinl。有了泛型宏之后我们可以直接用sin来调用它们而不必关心调用的实际上是哪个版本因为泛型宏可以根据我们传入的参数找到对应的版本。 问题在于虽然C99的标准库使用了这项技术但并没有在语言语法层面上提供任何支持。为了从语言层面上解决这种需求从C11开始C标准引入了泛型选择generic selection它是一个表达式其语法为 _Generic(表达式泛型关联列表)这里泛型关联列表由一个或多个泛型关联组成如果泛型关联多于一个则它们之间用逗号“,”分隔。泛型关联的语法为
类型名:表达式
default:表达式泛型选择是基本表达式它在程序翻译期间求值其主要目的是从多个备选的表达式中挑出一个作为结果。泛型选择表达式的类型就是被挑选出的那个表达式的类型泛型选择表达式的值取决于被挑选出的那个表达式的值。下面通过一个实例来解释泛型选择表达式的功能。
#include stdio.h
#include math.h
#include complex.h #define sin(x) _Generic(x,\ float:sinf,\ double:sin,\ long double:sinl,\ float _Complex:csinf,\ double _Complex:csin,\ long double _Complex:csinl)(x) int main(void)
{ printf(%f\n, sin(.5f)); // S double _Complex d sin(.3.5i); printf(%.2f%.2f*I, creal (d), cimag (d)); return 0;
}
/*
0.479426
0.330.50*I
*/在以上代码中标识符sin被定义为宏虽然在头文件math.h里也声明了一个同名的函数但预处理器会先将它识别为宏名并做宏替换。另外虽然我们在这里将泛型选择表达式定义为宏体但泛型选择表达式和宏没有任何关系这个例子有其特殊性我们是希望用同一个宏名sin来应付不同类型的操作数并依靠泛型选择表达式解析出与此操作数的类型相匹配的库函数。 以语句S为例在预处理期间C实现将其展开为为了方便阅读利用续行符做了对齐处理: printf(%f\n, _Generic(.5f, \ float:sinf, \ double:sin, \ long double:sinl, \ float _Complex:csinf, \ double _Complex:csin, \ long double _Complex:csinl) \ (x));在泛型选择表达式中第一个表达式称为控制表达式上例中的.5f它并不求值C实现只提取它的类型信息。接着如果某个泛型关联中的类型名和控制表达式的类型兼容匹配则泛型选择的结果表达式就是该泛型关联中的表达式。 在上例中表达式.5f的类型是float则最终选择的是表达式sinf。这就是说在程序翻译期间上述语句进一步被简化为以下等价形式 printf(%f\n, sinf(x));此外在同一个泛型选择中不允许两个或多个泛型关联的类型名所指定的类型互相兼容。换句话说不允许控制表达式匹配多个泛型关联的类型名。 如果需要可以使用一个default泛型关联。它的价值在于如果控制表达式的类型和任何一个泛型关联的类型名所指定的类型都不兼容匹配则自动选择default泛型关联中的表达式。但是一个泛型选择中只允许有一个default泛型关联。 特别注意泛型选择不能识别数组类型因为数组类型的表达式会被转换为指向其首元素的指针。 问与答 问1一些C语言书出现了采用了不同于“形式参数”和“实际参数”的术语是否有标准术语 答正如对待C语言的许多其他概念一样没有通用的术语标准但是C89和C99标准采用形式参数和实际参数。请记住在不会产生混乱的情况下有时会故意模糊两个术语的差异采用参数表示两者中的任意一个。 问2一些编程语言允许过程和函数互相嵌套。C语言是否允许函数定义嵌套呢 答不允许。C语言不允许一个函数的定义出现在另一个函数体中。这个限制可以使编译器简单化。 问3为什么编译器允许函数名后面不跟着圆括号 答在后面某一章中会看到编译器把后面不跟圆括号的函数名看作指向函数的指针17.7节。指向函数的指针有合法的应用因此编译器不能自动假定函数名不带圆括号是错误的。语句print_pun;是合法的因为编译器会把print_pun看作指针并进一步看作表达式从而使得上述语句被视为有效虽然没有意义的表达式语句。 问4在函数调用f(a, b)中编译器如何知道逗号是标点符号还是运算符呢 答函数调用中的实际参数不能是任意的表达式而必须是标准文档中位于赋值表达式前面的那些表达式这些表达式不能用逗号作为运算符除非逗号是在圆括号中的。换句话说在函数调用f(a, b)中逗号是标点符号而在f((a, b))中逗号是运算符。 问5函数原型中形式参数的名字是否需要和后面函数定义中给出的名字相匹配 答不需要。一些程序员利用这一特性在原型中给参数一个较长名字然后在实际定义中使用较短的名字。或者说法语的程序员可以在函数原型中使用英语名字然后在函数定义中切换成更为熟悉的法语名字。 问6我始终不明白为什么要提供函数原型。只要把所有函数的定义放置在main函数的前面不就没有问题了吗 答错。首先你是假设只有main函数调用其他函数当然这是不切实际的。实际上某些函数会相互调用。如果把所有的函数定义放在main的前面就必须仔细斟酌它们之间的顺序因为调用未定义的函数可能会导致大问题。
然而问题还不止这些。假设有两个函数相互调用这可不是刻意找麻烦。无论先定义哪个函数都将导致对未定义的函数的调用。
但是还有更麻烦的一旦程序达到一定的规模在一个文件中放置所有的函数是不可行的。当遇到这种情况时就需要函数原型告诉编译器在其他文件中定义的函数。 问7为什么有的程序员在函数原型中故意省略参数名字保留这些名字不是更方便吗 答省略原型中的参数名字通常是出于防御目的。如果恰好有一个宏的名字跟参数一样预处理时参数的名字会被替换从而导致相应的原型被破坏。这种情况在一个人编写的小程序中不太可能出现但在很多人编写的大型应用程序中是可能出现的。 问8把函数的声明放在另一个函数体内是否合法 答合法。下面是一个示例
int main(void)
{ double average(double a, double b); ...
} average函数的这个声明只有在main函数体内是有效的。如果其他函数需要调用average函数那么它们每一个都需要声明它。
这种做法的好处是便于阅读程序的人弄清楚函数间的调用关系。在这个例子中main函数将调用average函数。另外如果几个函数需要调用同一个函数那么可能是件麻烦事。最糟糕的情况是在程序修改过程中试图添加或移除声明可能会很麻烦。基于这些原因本书将始终把函数声明放在函数体外。 问9如果几个函数具有相同的返回类型能否把它们的声明合并例如既然print_pun函数和print_count函数都具有void型的返回类型那么下面的声明合法吗 void print_pun(void), print_count(int n);答合法。事实上C语言甚至允许把函数声明和变量声明合并在一起
double x, y, average(double a, double b); 但是并不推荐这么做这可能会使程序显得有点混乱。 问10如果指定一维数组型形式参数的长度会发生什么 答编译器会忽略长度值。思考下面的例子
double inner_product(double v[3], double w[3]);除了注明inner_product函数的参数应该是长度为3的数组以外指定长度并不会带来什么其他好处。编译器不会检查参数实际上的长度是否为3所以不会增加安全性。事实上这种做法会产生误导因为这种写法暗示只能把长度为3的数组传递给inner_product函数但实际上可以传递任意长度的数组。 问11为什么可以留着数组中第一维的参数不进行说明但是其他维数必须说明呢 答首先需要知道C语言是如何传递数组的。就像12.3节解释的那样在把数组传递给函数时是把指向数组第一个元素的指针给了函数。
其次需要知道取下标运算符是如何工作的。假设a是要传给函数的一维数组。在书写语句a[i] 0;时编译器计算出a[i]的地址方法是用i乘以每个元素的大小并把乘积加到数组a表示的地址传递给函数的指针上。这个计算过程没有依靠数组a的长度这说明了为什么可以在定义函数时忽略数组长度。
那么多维数组怎么样呢回顾一下就知道C语言是按照行主序存储数组的即首先存储第0行的元素然后是第1行的元素以此类推。假设a是二维数组型的形式参数并有语句a[i][j] 0;
编译器产生指令执行如下
用i乘以数组a中每行的大小把乘积的结果加到数组a表示的地址上用j乘以数组a中每个元素的大小把乘积的结果加到第二步计算出的地址上。
为了产生这些指令编译器必须知道a数组中每一行的大小行的大小由列数决定。底线程序员必须声明数组a拥有的列的数量。 问12为什么一些程序员把return语句中的表达式用圆括号括起来 答因为这种写法不是必需的而且对可读性没有任何帮助所以本书不使用这些圆括号。Kernighan和Ritchie显然也同意这一点在《C程序设计语言》第2版中return语句就没有圆括号了。 问13非void函数试图执行不带表达式的return语句时会发生什么 答这依赖于C语言的版本。在C89中执行不带表达式的非void语句会导致未定义的行为但只限于程序试图使用函数返回值的情况。在C99中这样的语句是不合法的编译器会报错。 问14如何通过测试main的返回值来判断程序是否正常终止 答这依赖于使用的操作系统。许多操作系统允许在“批处理文件”或“Shell脚本”内测试main的返回值这类文件包含可以运行几个程序的命令。例如Windows批处理文件中的if errorlevel 1 命令会导致在上一个程序终止时的状态码大于等于1时执行命令。
在UNIX系统中每种Shell都有自己测试状态码的方法。在Bourne Shell中变量$?包含上一个程序的运行状态。C Shell也有类似的变量但是名字是$status。 问15在编译main函数时为什么编译器会产生“control reaches end of non-void function”这样的警告 答尽管main函数有int作为返回类型但编译器已经注意到main函数没有return语句。在main的末尾放置语句return 0;将保证编译顺利通过。顺便说一下即使编译器不反对没有return语句这也是一种好习惯。
用C99编译器编译程序时这一警告不会出现。在C99中main函数的最后可以不返回值标准规定在这种情况下main自动返回0。 问16对于前一个问题为什么不把main函数的返回类型定义为void呢 答虽然这种做法非常普遍但是根据C89标准这是非法的。即使它不是非法的这种做法也不好因为它假设没有人会测试程序终止时的状态。
C99允许为main声明“由实现定义的行为”返回类型可以不是int型也可以不是标准规定的参数从而使得这样的行为合法化了。但是这样的用法是不可移植的所以最好还是把main的返回类型声明为int。 问17如果函数f1调用函数f2而函数f2又调用了函数f1这样合法吗 答是合法的。这是一种间接递归的形式即函数f1的一次调用导致了另一次调用。但是必须确保函数f1和函数f2最终都可以终止 总结 本文是博主阅读《C语言程序设计现代方法第2版·修订版》时所作笔记日后会持续更新后续章节笔记。欢迎各位大佬阅读学习如有疑问请及时联系指正希望对各位有所帮助Thank you very much
