指针浅谈

回首谭浩强《C++程序设计》，第二篇，来说下指针。

主要介绍的是：①指针与引用在函数参数传递时的比较。②指针与数组的关系。

⑴函数可以说是任何程序设计语言必不可少的组成部分。一种语言如果会有更好的机制来支持函数实现，可以说该种语言就会有更大的生机。（一家之言）

C++函数的参数传递有三种方式：①值传递②指针传递③引用传递。以下的代码中调换两数的函数中，swap_1()用的是值传递方式、swap_2()用的是指针

传递方式、swap_3()用的是引用传递方式。从测试结果可以看出只有swap_1()没能对换两数。

代码如下：

[cpp] view plain copy print ?

1. #include<iostream>
2. using namespace std;
4. void swap_1(int a,int b)
5. {
6. int temp;
8. temp=a;
9. a=b;
10. b=temp;
11. }
13. void swap_2(int *a,int *b)
14. {
15. int temp;
17. temp=*a;
18. *a=*b;
19. *b=temp;
20. }
22. void swap_3(int &a,int &b)
23. {
24. int temp;
26. temp=a;
27. a=b;
28. b=temp;
29. }
31. int main()
32. {
33. int a1=3,b1=6;
34. int a2=3,b2=6;
35. int a3=3,b3=6;
37. cout<<"值传递:";
38. swap_1(a1,b1);
39. cout<<a1<<" "<<b1<<endl;
41. cout<<"指针传递:";
42. swap_2(&a2,&b2);
43. cout<<a2<<" "<<b2<<endl;
45. cout<<"引用传递:";
46. swap_3(a3,b3);
47. cout<<a3<<" "<<b3<<endl;
49. return 0;
50. }

#include<iostream>
using namespace std;

void swap_1(int a,int b)
{
	int temp;

	temp=a;
	a=b;
	b=temp;
}

void swap_2(int *a,int *b)
{
	int temp;

	temp=*a;
	*a=*b;
	*b=temp;
}

void swap_3(int &a,int &b)
{
	int temp;

	temp=a;
	a=b;
	b=temp;
}

int main()
{
	int a1=3,b1=6;
	int a2=3,b2=6;
	int a3=3,b3=6;

	cout<<"值传递:";
	swap_1(a1,b1);
	cout<<a1<<" "<<b1<<endl;

	cout<<"指针传递:";
	swap_2(&a2,&b2);
	cout<<a2<<" "<<b2<<endl;

	cout<<"引用传递:";
	swap_3(a3,b3);
	cout<<a3<<" "<<b3<<endl;

	return 0;
}

测试结果：

分析如下：①值传递只是实参向形参传递了一个拷贝，在swap_1()中对局部变量a,b的操作不会影响实参。②指针传递是将实参的地址传递给形参了，

那么形参就可以通过地址来操作实参的内存，以及数据。所以可以调换。③调用swap_3()时系统向形参传递的是实参的地址而不是其值。

形参变成了实参的引用，所以也可以对换。

然而，可以说引用传递比指针传递更加好一点。第一，引用传递代码更加简洁、通俗。第二，引用传递的形参只是实参的引用，不会生成临时变量。

小疑问：书上说：指针传递实际也是中值传递，因为实参的值是变量的地址。那么引用传递不也是传地址的吗？这样不也就可以说引用传递也是值

传递了？不解！

⑵指针与数组的关系。

数组名代表的是该数组存储空间的首地址，这或许也就注定数组与指针的千丝万缕的联系。

①指针与一维数组。

这是比较简单的情况。主要就是数组的访问方式：下标法和指针法。如a[i]形式和*(a+i)的形式。其次，用指针和自增自减运算符结合访问数组

也是种比较简便的方式。

②指针与二维数组。

这就相对复杂了。因为二位数组的每个元素都是一维数组，访问起来就较为繁琐。

例如：int a[4][4]，数组名a依旧代表的是数组的首元素地址，但此时的首元素已不是一个整型变量了，而是一个含有四个整型变量的一维数组了。

所以，定义int *p=a，编译就会出错，p只能指向一个整型变量，而不是一个一维数组；可以这样赋值p=a[0]或p=&a[0][0]，此时如果要访问

a[i][j]则可以用*(*(p+i)+j)。int (*q)[4]=a，是正确的。此时的q是一个指针变量，它指向包含四个整型变量的一维数组。