指针（—）(2)

3.指针变量类型的意义

指针变量的⼤⼩和类型⽆关，只要是指针变量，在同⼀个平台下，⼤⼩都是⼀样的，为什么还要有各 种各样的指针类型呢？ 其实指针类型是有特殊意义的

3.1指针的解引⽤

对比下⾯2段代码，主要在调试时观察内存的变化

代码1

代码2

调试我们可以看到，代码1会将n的4个字节全部改为0，但是代码2只是将n的第⼀个字节改为0。 结论：指针的类型决定了，对指针解引⽤的时候有多⼤的权限（⼀次能操作⼏个字节）。 ⽐如： char* 的指针解引⽤就只能访问⼀个字节，⽽ int* 的指针的解引⽤就能访问四个字节。

3.2指针+-整数

先看⼀段代码，运行观察地址的变化。

我们可以看出， char* 类型的指针变量+1跳过1个字节， int* 类型的指针变量+1跳过了4个字节。 这就是指针变量的类型差异带来的变化。

结论：指针的类型决定了指针向前或者向后⾛⼀步有多⼤（距离）。

3.3 void*指针

在指针类型中有一种特殊的类型是void*类型的，可以理解为可以理解为⽆具体类型的指针（或者叫泛型指 针），这种类型的指针可以⽤来接受任意类型地址。但是也有局限性， void* 类型的指针不能直接进 ⾏指针的+-整数和解引⽤的运算。

举例:

在上⾯的代码中，将⼀个int类型的变量的地址赋值给⼀个char*类型的指针变量。编译器给出了⼀个警告（如下图），是因为类型不兼容。⽽使⽤void*类型就不会有这样的问题。

使⽤void*类型的指针接收地址：

这⾥我们可以看到， void* 类型的指针可以接收不同类型的地址，但是⽆法直接进⾏指针运算。

那么 void* 类型的指针到底有什么⽤呢？ ⼀般 void* 类型的指针是使⽤在函数参数的部分，⽤来接收不同类型数据的地址，这样的设计可以 实现泛型编程的效果。

4.const修饰指针

 4.1 const修饰指针变量

我们看下面代码，来分析 
#include <stdio.h>
//代码1
void test1()
{
    int n = 10;
    int m = 20;
    int* p = &n;
    *p = 20;//ok?
    p = &m; //ok?
}
void test2()
{
    //代码2
    int n = 10;
    int m = 20;
    const int* p = &n;
    *p = 20;//ok?
    p = &m; //ok?
}
void test3()
{
    int n = 10;
    int m = 20;
    int* const p = &n;
    *p = 20; //ok?
    p = &m; //ok?
}
void test4()
{
    int n = 10;
    int m = 20;
    int const* const p = &n;
    *p = 20; //ok?
    p = &m; //ok?
}
int main()
{
    //测试⽆const修饰的情况
    test1();
    //测试const放在*的左边情况
    test2();
    //测试const放在*的右边情况
    test3();
    //测试*的左右两边都有const
    test4();
    return 0;
}

结论：const修饰指针变量的时候

• const如果放在*的左边，修饰的是指针指向的内容，保证指针指向的内容不能通过指针来改变。 但是指针变量本⾝的内容可变。

• const如果放在*的右边，修饰的是指针变量本⾝，保证了指针变量的内容不能修改，但是指针指 向的内容，可以通过指针改变。

5.指针运算

指针的基本运算有三种，分别是:

• 指针+- 整数

• 指针-指针

• 指针的关系运算

5.1 指针+-整数

因为数组在内存中是连续存放的，只要知道第⼀个元素的地址，顺藤摸⽠就能找到后⾯的所有元素。

int arr[10] = {1,2,3,4,5,6,7,8,9,10};

5.2 指针-指针

指针在相同的类型里是可以进行减法运算的，看下图

5.3 指针的关系运算

*(p+i)相当于p[i]，p指向的位置就会向后 i* 指针类型 个字节

6.野指针

概念：野指针就是指针指向的位置是不可知的（随机的、不正确的、没有明确限制的）

6.1野指针成因

1. 指针未初始化

2. 指针越界访问

3. 指针指向的空间释放

函数返回n的地址之后，就销毁了，在解引用 *p在去找就有可能出错

6.2 如何规避野指针

6.2.1 指针初始化

如果明确知道指针指向哪⾥就直接赋值地址，如果不知道指针应该指向哪⾥，可以给指针赋值NULL. NULL 是C语⾔中定义的⼀个标识符常量，值是0，0也是地址，这个地址是⽆法使⽤的，读写该地址 会报错。

初始化如下：

6.2.2 ⼩⼼指针越界

⼀个程序向内存申请了哪些空间，通过指针也就只能访问哪些空间，不能超出范围访问，超出了就是 越界访问。 

6.2.3 指针变量不再使⽤时，及时置NULL，指针使⽤之前检查有效性  

指针不再使用是，我们可以把指针置为NULL，这样可以避免野指针的发生，不过在使用指针时，也要先判断指针是否是空指针

7. assert断言

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

assert(p != NULL);

上⾯代码在程序运⾏到这⼀⾏语句时，验证变量 p是否等于NULL 。如果确实不等于 NULL ，程序继续运⾏，否则就会终⽌运⾏，并且给出报错信息提⽰。

assert() 宏接受⼀个表达式作为参数。如果该表达式为真（返回值⾮零），assert() 不会产⽣ 任何作⽤，程序继续运⾏。如果该表达式为假（返回值为零），   assert() 就会报错，在标准错误 流stderr 中写⼊⼀条错误信息，显⽰没有通过的表达式，以及包含这个表达式的⽂件名和⾏号

8.指针的使用和传值调用

8.1 strlen的模拟实现

库函数strlen的功能是求字符串的长度，统计的是字符串中\0之前的字符的个数。

函数原型如下：size_t strlen (const char *str);

参数str接收⼀个字符串的起始地址，然后开始统计字符串中 \0 之前的字符个数，最终返回⻓度。

如果要模拟实现只要从起始地址开始向后逐个字符的遍历，只要不是\0字符，计数器就+1，这样直到\0停止。

参考代码如下:

#include<stdio.h>
#include<assert.h>
int my_strlen(const char* str)
{
    int count = 0;
    assert(str);
    while (*str)
    {
        count++;
        str++;
    }
    return count;
}
 int main()
{
    int len = my_strlen("abcdef");
    printf("%d\n", len);
    return 0;
}

8.2传值调用和传址调用

学习指针的⽬的是使⽤指针解决问题，那什么问题，⾮指针不可呢？ 例如：写⼀个函数，交换两个整型变量的值 ⼀番思考后，我们可能写出这样的代码:

我们发现其实没产生交换的效果，这是为什么呢？

调试一下

我们发现在函数内部，创建了a和b，a的地址是0x00f7fc64 ,b的地址是0x00f7fc58,在调用的Swap1函数时，将a和b传递给了Swap1函数内部创建了形参x和y接收a和b的值，但是 x的地址是0x00f7fb80，y的地址是0x00f7fb84，x和y确实接收到了a和b的值，不过x的地址和a的地址不 ⼀样，y的地址和b的地址不⼀样，相当于x和y是独⽴的空间，那么在Swap1函数内部交换x和y的值， ⾃然不会影响a和b，当Swap1函数调⽤结束后回到main函数，a和b的没法交换。Swap1函数在使⽤ 的时候，是把变量本⾝直接传递给了函数，这种调⽤函数的⽅式我们之前在函数的时候就知道了，这种叫传值调用

结论：实参传递给形参的时候，形参会单独创建⼀份临时空间来接收实参，对形参的修改不影响实 参。 所以Swap是失败的了

接下来看传址调用

我们可以看到实现成Swap1的⽅式，顺利完成了任务，这⾥调⽤Swap2函数的时候是将变量的地址传 递给了函数，这种函数调⽤⽅式叫：传址调⽤。

传址调⽤，可以让函数和主调函数之间建⽴真正的联系，在函数内部可以修改主调函数中的变量；所 以未来函数中只是需要主调函数中的变量值来实现计算，就可以采⽤传值调⽤。如果函数内部要修改 主调函数中的变量的值，就需要传址调⽤。