指针深入了解3

1.assert

assert.h 头文件定义了宏 assert() ，用于在运行时确保程序符合指定条件，如果不符合，就报
错终止运行。这个宏常常被称为“断言”。

assert(p != NULL); 

上面代码在程序运行到这一行语句时，验证变量 p 是否等于 NULL 。如果确实不等于 NULL ，程序继续运行，否则就会终止运行，并且给出报错信息提示。
assert() 宏接受⼀个表达式作为参数。如果该表达式为真（返回值非零）， assert() 不会产生
任何作用，程序继续运行。如果该表达式为假（返回值为零）， assert() 就会报错，在标准错误
流 stderr 中写入一条错误信息，显示没有通过的表达式，以及包含这个表达式的文件名和行号。
assert() 的使⽤对程序员是非常友好的，使用 assert() 有几个好处：它不仅能自动标识文件和
出问题的行号，还有⼀种无需更改代码就能开启或关闭 assert() 的机制。如果已经确认程序没有问
题，不需要再做断言，就在 #include 语句的前⾯，定义⼀个宏 NDEBUG 。

#define NDEBUG
#include

然后，重新编译程序，编译器就会禁用文件中所有的 assert() 语句。如果程序又出现问题，可以移
除这条 #define NDBUG 指令（或者把它注释掉），再次编译，这样就重新启用了 assert() 语
句。assert() 的缺点是，因为引⼊入额外的检查，增加了程序的运行时间。
⼀般我们可以在 Debug 中使⽤，在 Release 版本中选择禁用 assert 就行，在 VS 这样的集成开
发环境中，在 Release 版本中，直接就是优化掉了。这样在debug版本写有利于程序员排查问题，
在 Release 版本不影响用户使用时程序的效率。

2.数组名的理解

在这前，我们学习了一维数组和二维数组、那么它们的数组名有什么特殊含义吗？

其实在对一维数组来说，数组名就是首元素的地址。

我们来看一个代码：

int main()
{
	int arr[] = { 1,2,3,4,5 };
	int* pt = arr;
	printf("%d", *pt);
	return 0;
}

我们来验证下是不是打印1，如果是那就说明arr确实是首元素地址。

那么问题来了我们之前使用&arr 是啥意思呢？我们将&arr和arr的地址都打印出来看看。

我们发现值其实是一样的。

其实数组名就是数组首元素(第⼀个元素)的地址是对的，但是有两个例外：
• sizeof(数组名)，sizeof中单独放数组名，这⾥的数组名表⽰整个数组，计算的是整个数组的大小，单位是字节
• &数组名，这⾥的数组名表示整个数组，取出的是整个数组的地址（整个数组的地址和数组首元素的地址是有区别的）
除此之外，任何地方使用数组名，数组名都表示首元素的地址。

既然这里说&arr取出的时整个数组的地址为啥打印出来的是首元素地址呢？

它们的值相同，但是它们的权限不同，我们来测试一下：

我们可以看到arr+1跳过了4个字节，而&arr+1跳过了20个字节。

所以说它们的值一样但是权限不同。

 3.冒泡排序（不满足我的规则就交换）

下面是代码演示：

void bubble_sort(int arr[], int sz) //参数接收数组元素个数
{
int i = 0;
for(i=0; i arr[j+1])
{
flag = 0; //发⽣交换就说明，⽆序
int tmp = arr[j];
arr[j] = arr[j+1];
arr[j+1] = tmp;
}
}
if(flag == 1) //这⼀趟没交换就说明已经有序，后续⽆序排序了
break;
}
}
int main()
{
int arr[] = {3,1,7,5,8,9,0,2,4,6};
int sz = sizeof(arr)/sizeof(arr[0]);
bubble_sort(arr, sz);
for(i=0; i

在这里我们创建了bubble_sort函数它的返回类型为void，参数类型为一个指针一个整型。

第一个for循环为趟数，第二个for循环为对数然后进行交换。因为我们设置的是升序。所以打印出来的也应该是升序。

我们来看看结果：

4.二级指针

指针变量也是变量，是变量就有地址，那指针变量的地址存放在哪里？

存放指针变量地址的指针就是二级指针。

例如：

这里的pu就是二级指针。它的类型为int **。我们只需要将pu进行两次解引用就可以找到a。

谢谢