C语言：深入理解指针（3）

1. 字符指针变量

在指针的类型中我们知道有⼀种指针类型为字符指针 char* ;

⼀般使⽤:

#include <stdio.h>
int main()
{
	char ch = 'a';
    char* pc = &ch;
	*pc = 'b';
	return 0;
}

还有⼀种使⽤⽅式如下：

#include <stdio.h>
int main()
{
	char* pc = "abcdef";
	printf("%s", pc);
	return 0;
}

输出结果为：

 代码 const char* pstr = "hello bit."; 特别容易让大家以为是把字符串 hello bit 放 到字符指针 pstr ⾥了，但是本质是把字符串 hello bit. ⾸字符的地址放到了pstr中。我们对指针变量pstr解引用，得到的其实是字符串的首元素。

#include <stdio.h>
int main()
{
	char* pc = "abcdef";
	printf("%c", *pc);
	return 0;
}

《剑指offer》中收录了⼀道和字符串相关的笔试题，我们⼀起来学习⼀下：

#include <stdio.h>
int main()
{
 char str1[] = "hello bit.";
 char str2[] = "hello bit.";
 const char *str3 = "hello bit.";
 const char *str4 = "hello bit.";
 if(str1 ==str2)
 printf("str1 and str2 are same\n");
 else
 printf("str1 and str2 are not same\n");
 
 if(str3 ==str4)
 printf("str3 and str4 are same\n");
 else
 printf("str3 and str4 are not same\n");
 
 return 0;
}

 

 这⾥str3和str4指向的是⼀个同⼀个常量字符串。C/C++会把常量字符串存储到单独的⼀个内存区域， 当⼏个指针指向同⼀个字符串的时候，他们实际会指向同⼀块内存。但是⽤相同的常量字符串去初始 化不同的数组的时候就会开辟出不同的内存块。所以str1和str2不同，str3和str4相同。

2. 数组指针变量

2.1 数组指针变量是什么？

之前我们学习了指针数组，指针数组是⼀种数组，数组中存放的是地址（指针）。 数组指针变量是指针变量？还是数组？ 答案是：指针变量。

我们已经熟悉：

• 整形指针变量： int * pint; 存放的是整形变量的地址，能够指向整形数据的指针。

• 浮点型指针变量： float * pf; 存放浮点型变量的地址，能够指向浮点型数据的指针。

那数组指针变量应该是：存放的应该是数组的地址，能够指向数组的指针变量。

下⾯代码哪个是数组指针变量？

int* p1[5]
int(*p2)[5]

思考⼀下：p1, p2分别是什么？

数组指针变量

int (*p)[10];

解释：p先和*结合，说明p是⼀个指针变量变量，然后指着指向的是⼀个⼤⼩为10个整型的数组。所以 p是⼀个指针，指向⼀个数组，叫数组指针。 这⾥要注意：[]的优先级要⾼于*号的，所以必须加上（）来保证p先和*结合。

2.2 数组指针变量怎么初始化

数组指针变量是⽤来存放数组地址的，那怎么获得数组的地址呢？就是我们之前学习的 &数组名

int main()
{
	int arr[10] = { 0 };
	int(*p)[10] = &arr;
	return 0;
}

数组指针类型解析：

int (*p) [10] = &arr;
 |   |    |
 |   |    |
 |   |   p指向数组的元素个数
 | p是数组指针变量名
 p指向的数组的元素类型

3. ⼆维数组传参的本质

有了数组指针的理解，我们就能够学习⼀下⼆维数组传参的本质了。 过去我们有⼀个⼆维数组的需要传参给⼀个函数的时候，比如打印数组中元素，我们是这样写的：

#include <stdio.h>
void ArrPrint(int arr[3][3])
{
	for (int i = 0; i < 3; i++)
	{
		for (int j = 0; j < 5; j++)
		{
			printf("%d", arr[i][j]);
		}
		printf("\n");
	}
}
int main()
{
	int arr[3][3] = { {1,2,3,4,5}, {2,3,4,5,6}, {3,4,5,6,7}};
	ArrPrint(arr);
}

这⾥实参是⼆维数组，形参也写成⼆维数组的形式，那还有什么其他的写法吗？ ⾸先我们再次理解⼀下⼆维数组，⼆维数组起始可以看做是每个元素是⼀维数组的数组，也就是⼆维 数组的每个元素是⼀个⼀维数组。那么⼆维数组的⾸元素就是第⼀⾏，是个⼀维数组。 如下图：

所以，根据数组名是数组⾸元素的地址这个规则，⼆维数组的数组名表⽰的就是第⼀⾏的地址，是⼀ 维数组的地址。根据上⾯的例⼦，第⼀⾏的⼀维数组的类型就是 int [5] ，所以第⼀⾏的地址的类 型就是数组指针类型 int(*)[5] 。那就意味着⼆维数组传参本质上也是传递了地址，传递的是第⼀ ⾏这个⼀维数组的地址，那么形参也是可以写成指针形式的。如下：

#include <stdio.h>
void ArrPrint( int(*arr)[5] ) 
{
	for (int i = 0; i < 3; i++)
	{
		for (int j = 0; j < 5; j++)
		{
			printf("%d", arr[i][j]);
		}
		printf("\n");
	}
}
int main()
{
	int arr[3][3] = { {1,2,3,4,5}, {2,3,4,5,6}, {3,4,5,6,7}};
	ArrPrint(arr);
}

总结：⼆维数组传参，形参的部分可以写成数组，也可以写成指针形式。

4. 函数指针变量

4.1 函数指针变量的创建

什么是函数指针变量呢？ 根据前⾯学习整型指针，数组指针的时候，我们的类⽐关系，我们不难得出结论： 函数指针变量应该是⽤来存放函数地址的，未来通过地址能够调⽤函数的。 那么函数是否有地址呢？ 我们做个测试：

#include <stdio.h>
void test()
{
	printf("haha");
}
int main()
{
	printf("%p\n", test);
	printf("%p", &test);
}

输出结果为：

确实打印出来了地址，所以函数是有地址的，函数名就是函数的地址，当然也可以通过 &函数名 的⽅ 式获得函数的地址。 如果我们要将函数的地址存放起来，就得创建函数指针变量咯，函数指针变量的写法其实和数组指针 ⾮常类似。如下：

#include <stdio.h>
void test1()
{
	printf("haha");
}
int test2(int a, int b)
{
	return a + b;
}
int main()
{
	void(*p1)() = test1;
	void(*p1)() = &test1;

	int (*p2)(int, int) = test2;
	int (*p2)(int, int) = &test2;

}

函数指针类型解析：

int (*pf3) (int x, int y)
 |     |    ------------ 
 |     |           |
 |     |         pf3指向函数的参数类型和个数的交代(x y可以省略，但类型不能省)
 |     函数指针变量名
 pf3指向函数的返回类型
 
 int (*) (int x, int y)//pf3函数指针变量的类型

4.2 函数指针变量的使⽤

#include <stdio.h>
int Add(int x, int y)
{
	return x + y;
}
int main()
{
	printf("%d\n", Add(3, 5));
	int(*p)(int x, int y) = Add;
	printf("%d\n", p(3, 5));
	printf("%d\n", (*p)(3, 5));
	return 0;
}

输出就结果为：

4.3.1 typedef关键字

typedef是⽤来类型重命名的，可以将复杂的类型，简单化。

⽐如，你觉得 unsigned int 写起来不⽅便，如果能写成 uint 就⽅便多了，那么我们可以使⽤：

typedef unsigned int uint;
//将unsigned int 重命名为uint 

如果是指针类型，能否重命名呢？其实也是可以的，⽐如，将 int* 重命名为 ptr_t ,这样写：

typedef int* prt_t;

但是对于数组指针和函数指针稍微有点区别： ⽐如我们有数组指针类型 int(*)[5] ,需要重命名为 parr_t,就不能写成

typedef int(*)[5] parr_t;

而是要写成

typedef int(*parr_t)[5]；//新的类型名必须在*的右边 

函数指针类型的重命名也是⼀样的，⽐如，将 void(*)(int) 类型重命名为 pf_t ,就可以这样写：

typedef void(*)(int)  pf_t;

5. 函数指针数组

函数指针数组顾名思义是存放函数指针的数组。

函数指针数组及其应用比较复杂，我们放在下一篇文章中来讲解。