一个函数由以下四部分组成:
返回类型
函数名
参数
(0个或多个)函数体
其中,函数的参数叫做形参
,函数执行的操作的语句块叫做函数体
像一个这样swap函数,调用的时候,会用实参
初始化swap函数对应的形参
void Swap(int a, int b) |
|
{ |
|
int tmp = a; |
|
a = b; |
|
b = tmp; |
|
} |
在内存中会拷贝一份实参的值,但是修改形参的值并不影响实参的值
#include <iostream> |
|
void Swap(int a, int b) |
|
{ |
|
int tmp = a; |
|
a = b; |
|
b = tmp; |
|
} |
|
int main() |
|
{ |
|
int n = 0; |
|
int i = 1024; |
|
Swap(n, i); |
|
std::cout << "n: " << n << "\ni: " << i << std::endl; |
|
// 运行结果 |
|
// n: 0 |
|
// i: 1024 |
|
return 0; |
|
} |
int n = 0; |
|
int i = n; // i是n的值的副本 |
|
i = 42; |
指针的行为和其他非引用类型一样。当执行指针拷贝操作时,拷贝的是指针的值。
拷贝之后,两个指针是不同的指针。因为指针使我们可以间接地访问它所指的对象,所以通过指针可以修改它所指对象的值
void SwapPoniter(int *a, int *b) |
|
{ |
|
int tmp = *a; |
|
*a = *b; |
|
*b = tmp; |
|
} |
#include <iostream> |
|
void SwapPoniter(int *a, int *b) |
|
{ |
|
int tmp = *a; |
|
*a = *b; |
|
*b = tmp; // 修改了指针b指向的对象的值 |
|
b = 0; // 只改变了函数体中的内存拷贝,实参并没有被修改 |
|
} |
|
int main() |
|
{ |
|
int n = 0; |
|
int i = 1024; |
|
int *j = &n; |
|
int *k = &i; |
|
SwapPoniter(j, k); |
|
std::cout << "j: " << *j << "\nk: " << *k << std::endl; |
|
// 运行结果 |
|
// j: 1024 |
|
// k: 0 |
|
return 0; |
|
} |
int n = 0, i = 1024; |
|
int *p = &n, *q = &i; // p指向n;q指向i |
|
*p = 1024; // n的值被修改;p不变 |
|
p = q; // p现在指向了i;但是n与i的值都不变 |
传递指针,就是拷贝一个指针,它储存的值是一样的,解引用后是指向同一个对象,但是修改指针的值就是修改拷贝对象的值
在C语言中,大多数程序员都用得指针类型的形参去访问函数的外部对象,在C++中,建议使用引用类型的形参代替指针
引用传递跟指针传递有点类似,使用引用传参,允许函数访问,改变一个或多个实参的值
void SwapQuote(int &a, int &b) |
|
{ |
|
int tmp = a; |
|
a = b; |
|
b = tmp; |
|
} |
#include <iostream> |
|
void SwapQuote(int &a, int &b) |
|
{ |
|
int tmp = a; |
|
a = b; |
|
b = tmp; |
|
} |
|
int main() |
|
{ |
|
int n = 0; |
|
int i = 1024; |
|
SwapQuote(n, i); |
|
std::cout << "n: " << n << "\ni: " << i << std::endl; |
|
// 运行结果 |
|
// n: 1024 |
|
// i: 0 |
|
return 0; |
|
} |
举个例子,我们准备编写一个函数比较两个string对象的长度。因为string对象可能会非常长,所以应该尽量避免直接拷贝它们,这时使用引用形参是比较明智的选择。又因为比较长度无须改变string对象的内容,所以把形参定义成对常量的引用
#include <iostream> |
|
void testprint(const int &a) |
|
{ |
|
std::cout << "a: " << a << std::endl; |
|
} |
|
int main() |
|
{ |
|
int num = 111; |
|
testprint(num); |
|
// 输出结果 a: 111 |
|
return 0; |
|
} |
一个函数只能返回一个值,然而有时函数需要同时返回多个值,引用形参为我们一次返回多个结果提供了有效的途径
举个例子, 在刚刚的swap函数增加返回最小值与最大值
void SwapQuote(int &a, int &b, int &mix, int &max) |
|
{ |
|
int tmp = a; |
|
a = b; |
|
b = tmp; |
|
a < b ? mix = a, max = b : max = a, mix = b; |
|
} |
这样我们只需要调用的时候传入实参,即可修改实参的值