C++函数篇总结
一个典型的函数定义包括以下部分:返回类型、函数名字、由0个或多个形参组成的列表以及函数体。
函数的调用完成两项工作:一是用实参初始化函数对应的形参,二是将控制权转移给被调函数。 此时,主调函数的执行被暂时中断,被调函数开始执行
在头文件中进行函数声明
函数的三要素(返回类型、函数名、形参类型)描述了函数的接口,说明了调用该函数所需的全部信息。函数声明也称作函数原型。
建议变量在头文件中声明,在源文件中定义。与之类似,函数也在头文件中声明而在源文件中定义。
参数传递
当形参是引用类型时,对应的实参被引用传递或者函数被传引用调用。引用形参是它对应的实参的别名。
当实参的值被拷贝给形参时,形参和实参是两个互相独立的对象。我们说这样的实参被值传递或者函数被传值调用。
传值参数
当初始化一个非引用类型的变量时,初始值被拷贝给变量。此时,对变量的改动不会影响初始值。
指针形参
指针的行为和其他非引用类型一样。当执行指针拷贝操作时,拷贝的是指针的值。拷贝之后,两个指针是不同的指针,因为指针使我们可以间接的访问它所指的对象。所以通过指针可以修改它所指对象的值:
int n = 0; i = 42;
int *p = &n,*q = &i; //p指向n;q指向i
*p = 42; // n的值改变;p不变
p = q; //p现在指向了i;但是i和n的值都不变
传引用参数
使用引用避免拷贝
拷贝大的类类型对象或者容器对象比较低效,甚至有的类类型(包括IO类型在内)根本就不支持拷贝操作。当某种类型不支持拷贝操作时,函数只能通过引用形参访问该类型的对象。
如下例所示,比较两个string对象的长度,因为string对象可能会非常长,所以应尽量避免直接拷贝它们。
bool isShorter(const string &s1,const string &s2) //当函数无须修改引用形参的值时最好使用常量引用
{
return s1.size() < s2.size();
}
使用引用形参返回额外信息
一个函数只能返回一个值,然而有时函数需要同时返回多个值,引用形参为我们一次返回多个结果提供了有效的途径。
如下例所示,定义一个find_char的函数,返回在string对象中某个指定字符第一次出现的位置。同时,我们也希望函数能返回该字符出现的总次数。
如何定义函数使得它能够既返回位置也返回出现次数?一种方法是定义一个新的数据类型,让它包含位置和数量两个成员。还有另一种更简单的方法,可以给函数传入一个额外的引用实参,令其保存字符出现的次数:
string::size_type find_char(const string &s,char c,string::size_type &occurs)
{
auto ret = s.size(); //第一次出现的位置(如果有的话)
occurs = 0; //设置表示出现次数的形参的值
for(decltype(ret) i = 0; i != s.size();++i){
if(s[i] == c) {
if(ret ==s.size())
ret = i; //记录c第一次出现的位置
++occurs; //将出现的次数加1
}
return ret; //出现次数通过occurs隐式地返回
}
字符数组的特殊性
字符数组有一种额外的初始化形式,我们可以用字符串字面值对此类数组初始化。当使用这种方式时,一定要注意字符串字面值的结尾处还有一个空字符,这个空字符也会像字符串的其他字符一样地拷贝到字符数组中去:
char a1[] = {'c','+','+'}; //列表初始化,没有空字符
char a2[] = {'c','+','+',‘\0’}; //列表初始化,含有显式地空字符
char a3[] = "C++"; //自动添加表示字符串结束的空字符
const char a4[6] = "Daniel" //错误:没有空间可存放空字符!
main:处理命令行选项
int main(int argc, char *argv[ ]) {
}
第二个形参argv是一个数组,它的元素是指向C风格字符串的指针;第一个形参argc表示数组中字符串的数量。因为第二个形参是数组,所以main函数也可以定义成:
int main(int argc, char **argv) {
} //其中argv指向char*。
当实参传给main函数之后,argc的第一个元素指向程序的名字或者一个空字符串,接下来的元素依次传递命令行提供的实参。最后一个指针之后的元素值保证为0。当使用argv中的实参时,一定要记得可选的实参从argv[1]开始;argv[0]保存程序的名字,而非用户输入。
返回类型和return语句
return语句终止当前正在执行的函数并将控制权返回到调用该函数的地方。
无返回值函数
没有返回值的return语句只能用在返回类型是void的函数中。返回void的函数不要求非得有return语句,因为在这类函数的最后一句后面会隐式地执行return。
有返回值函数
只要函数地返回类型不是void,则该函数内地每条return语句必须返回一个值。return语句返回值地类型必须与函数地返回类型相同。
内联函数
将函数指定为内联函数,通常就是将它在每个调用点上“内联地”展开。在函数地返回值类型前面加上关键字inline,这样就可以将它声明成内联函数了:
inline const string &
shorterString (const strub &s1,const strub &s2)
{
return s1.size() <= s2.size() ? s1 : s2;
}
一般来说,内联机制用于优化规模较小、流程直接、频繁调用地函数。