一、指针是什么?
指针的实质就是个变量,指针完整的名字应该叫指针变量,简称为指针。指针变量是用来存放内存地址的。
二、如何使用指针?
1.定义指针变量
int *p;//p是个变量名字, int * 表示该p变量只能存储int类型变量的地址
2.关联指针变量
int i = 10;
p = &i;//关联指针变量
将整形变量i的地址赋值给指针变量p,我们称作p指向i;
3.解引用
int j = *p;
p指向i,所以*p就等价于i(在任何时候,i和*p都可以互换)。
三、野指针
1、定义
当我们只定义一个变量而为对该指针变量进行初始化时,指针指向的位置是不可知的(随机的、不正确的、没有明确限制的),我们称之为野指针。野指针因为指向地址是不可预知的,所以有3种情况:
- 第一种是指向不可访问(操作系统不允许访问的敏感地址,譬如内核空间)的地址,结果是触发段错误,这种算是最好的情况了;
- 第二种是指向一个可用的、而且没什么特别意义的空间(譬如我们曾经使用过但是已经不用的栈空间或堆空间),这时候程序运行不会出错,也不会对当前程序造成损害,这种情况下会掩盖你的程序错误,让你以为程序没问题,其实是有问题的;
- 第三种情况就是指向了一个可用的空间,而且这个空间其实在程序中正在被使用(譬如说是程序的一个变量x),那么野指针的解引用就会刚好修改这个变量x的值,导致这个变量莫名其妙的被改变,程序出现离奇的错误。一般最终都会导致程序崩溃,或者数据被损害。这种危害是最大的
2、如何避免野指针
- 定义指针时,同时初始化为NULL
- 在指针解引用之前,先去判断这个指针是不是NULL
- 指针使用完之后,将其赋值为NULL
- 在指针使用之前,将其赋值绑定给一个可用地址空间
四、指针与一维数组
1.如何理解数组?
(1) 数组中各个元素的地址是依次相连的,数组中各个元素的类型相同。
(2) 数组中其实就是地址相连接、占地大小相同的一块连续的内存空间。
(3) 几个关键符号(a &a &a[0])的理解(前提是 int a[10])
- a就是数组名。a只能做右值,表示数组首元素(数组的第0个元素,也就是a[0])的首地址(首地址就是起始地址,就是4个字节中最开始第一个字节的地址)。a做右值等同于&a[0];
- &a只能做右值,表示整个数组的首地址。
- &a[0]字面意思就是数组第0个元素的首地址(搞清楚[]和&的优先级,[]的优先级要高于&,所以a先和[]结合再取地址)。做左值时表示数组首元素对应的内存空间,做右值时表示数组首元素的值(也就是数组首元素对应的内存空间中存储的那个数值)。做右值时&a[0]等同于a。
note:
&a、a、&a[0]从数值上来看是完全相等的,但是意义来看就不同了。从意义上来看,a和&a[0]是数组首元素首地址,而&a是整个
数组的首地址;从类型来看,a和&a[0]是元素的指针,也就是int *类型;而&a是数组指针,是int (*)[5];类型。
所以:
int main(void)
{
int *p;
int a[5];
p = a; // 般配的,类型匹配的,所以编译器不会警告不会报错。
//p = &a; // 类型不匹配,p是int *, &a是int (*)[5];
int (*p1)[5] ;
p1 = &a; // p1类型是int (*)[5],&a的类型也是int (*)[5]
return 0;
}
2.如何访问数组
(1) 以下标方式访问:
数组名[下标]; (注意下标从0开始)
(2) 以指针方式访问:
p[i]永远等价于 *(p+i)
note:
指针变量+1时实际不是加1而是加1×sizeof(指针类型),主要原因是希望指针+1后刚好指向下一个元素(而不希望错位)。
小结:
数组下标方式和指针方式均可以访问数组元素,两者的实质其实是一样的。在编译器内部都是用指针方式来访问数组元素的,数组下标方式只是编译器提供给编程者一种壳(语法糖)而已。所以用指针方式来访问数组才是本质的做法。
五、指针与函数形参
1.数组作为函数形参
(1)数组作为函数形参传参时,实际传递是不是整个数组,而是数组的首元素的首地址(也就是整个数组的首地址。因为传参时是传值,所以这两个没区别)。所以在子函数内部,传进来的数组名就等于是一个指向数组首元素首地址的指针。
void func(int a[])//数组作为函数形参时,[]里的数字是可有可无的。因为数组名做形参传递的实际只是个指针,根本没有数组长度这个信息。
{
printf("数组大小 = %d.\n", sizeof(a));
}
void func1(int *a)
{
printf("数组大小 = %d.\n", sizeof(a));
}
int main(void)
{
int a[20];
func(a); // 4 因为a在函数func内部就是指针,而不是数组
func1(a);
return 0;
}
(2)由于数组实际上是以指针的形式传递给函数的,因此一开始函数并不知道数组的确切尺寸,调用者应该为此提供额外的一些信息。管理指针形参有三种常用的技术:
- 显示传递一个表示数组大小的形参
void func2(int *a, int num)
{
// 在子函数内,a是传进来的数组的指针(首地址)
// 在子函数内,num是数组的元素个数
}
int main(void)
{
int a[20];
func2(a, sizeof(a) / sizeof(a[0]));
}
- 使用标记指定数组长度
这种方法要求数组本身包含一个结束标记,使用这种方法的典型示例是C风格字符串。C风格字符串存储在字符数组中,并且在最后一个字符后面跟着一个空字符。函数在处理C风格字符串时遇到空字符就停止:
void print(const char *cp)
{
if(cp){ //若cp不是空指针
while(*cp){ //只要指针所指字符不是空字符
cout<<*cp++; //输出当前字符并将指针前移
}
}
}
- 使用标准库函数begin和end
C++11标准引入两个名为begin和end的函数,begin函数返回指向数组首元素的指针,end函数返回指向数组尾元素下一位置的指针,这两个函数定义在iterator头文件中。
示例代码如下:
#include<iostream>
using namespace std;
int main()
{
int arr[] = {1,2,3,4,5,6,7,8,9,-1,5,3,4};
int *pbeg = begin(arr); //指向arr首元素的指针
int *pend = end(arr); //指向arr尾元素的指针
//寻找第一个负值元素,如果已经检查完全部元素则结束循环
while(pbeg != pend && *pbeg >= 0){
++pbeg;
}
cout<<*pbeg<<endl; //输出第一个负数的值
}
REF: