C语言“难啃的硬骨头”之指针（一）

行者～ABC

C语言在嵌入式学习中是必备的知识，审核大部分操作都要围绕C语言进行，而其中有三块“难啃的硬骨头”几乎是公认级别的。

- D2 G. i* W$ V2 B% s" s* ~0 g4 E

01

指针

指针公认最难理解的概念，也是让很多初学者选择放弃的直接原因

指针之所以难理解，因为指针本身就是一个变量，是一个非常特殊的变量，专门存放地址的变量，这个地址需要给申请空间才能装东西，而且因为是个变量可以中间赋值，这么一倒腾很多人就开始犯晕了，绕不开弯了。C语言之所以被很多高手所喜欢，就是指针的魅力，中间可以灵活的切换，执行效率超高，这点也是让小白晕菜的地方。

# `/ R7 X7 f: W% Z7 q1 t

指针是学习绕不过去的知识点，而且学完C语言，下一步紧接着切换到数据结构和算法，指针是切换的重点，指针搞不定下一步进行起来就很难，会让很多人放弃继续学习的勇气。

' v* G, P3 B6 t

指针直接对接内存结构，常见的C语言里面的指针乱指，数组越界根本原因就是内存问题。在指针这个点有无穷无尽的发挥空间。很多编程的技巧都在此集结。

+ z( H) b( ~1 x% @

指针还涉及如何申请释放内存，如果释放不及时就会出现内存泄露的情况，指针是高效好用，但不彻底搞明白对于有些人来说简直就是噩梦。

在概念方面问题可以参见此前推文《对于C语言指针最详尽的讲解》，那么在指针方面可以参见一下大神的经验：

▎复杂类型说明

要了解指针，多多少少会出现一些比较复杂的类型。所以先介绍一下如何完全理解一个复杂类型。
8 }' a, v+ g: M9 i0 J

要理解复杂类型其实很简单，一个类型里会出现很多运算符，他们也像普通的表达式一样，有优先级，其优先级和运算优先级一样。

& X, k9 P3 Q0 `" m

所以笔者总结了一下其原则：从变量名处起，根据运算符优先级结合，一步一步分析。

下面让我们先从简单的类型开始慢慢分析吧。

- N1 _1 u5 P" z& `& ]% f' G; g

• int p;
  
  " A. b' `0 y1 E

这是一个普通的整型变量

• int p;
  
  : [5 f. U; Q& G  z- O

# O& l7 m  h6 e

首先从P处开始，先与结合，所以说明P是一个指针。然后再与int结合，说明指针所指向的内容的类型为int型，所以P是一个返回整型数据的指针

+ J% k7 S5 t0 _# R0 S/ J( m' n

• int p[3];
  
  0 S/ l' X& K2 K2 A* Z' Y

1 ?( I" N  c4 V& ~, _7 H% P% J

首先从P处开始，先与[]结合，说明P是一个数组。然后与int结合，说明数组里的元素是整型的，所以P是一个由整型数据组成的数组。

• int *p[3];
  
  

首先从P处开始，先与[]结合，因为其优先级比高，所以P是一个数组。然后再与结合，说明数组里的元素是指针类型。之后再与int结合，说明指针所指向的内容的类型是整型的，所以P是一个由返回整型数据的指针所组成的数组。

• int (*p)[3];
  
  ! Y4 }0 `1 p: K5 x

( s5 D. T" n- X8 P& L& c

首先从P处开始，先与结合，说明P是一个指针。然后再与[]结合(与"()"这步可以忽略，只是为了改变优先级)，说明指针所指向的内容是一个数组。之后再与int结合，说明数组里的元素是整型的。所以P是一个指向由整型数据组成3个整数的指针。

• int **p;
  
  

首先从P开始，先与*结合，说明P是一个指针。然后再与*结合，说明指针所指向的元素是指针。之后再与int结合，说明该指针所指向的元素是整型数据。由于二级指针以及更高级的指针极少用在复杂的类型中，所以后面更复杂的类型我们就不考虑多级指针了，最多只考虑一级指针。

• int p(int);
  
  

2 K& d: Q4 V  K1 ^2 ?2 L8 S

从P处起，先与()结合，说明P是一个函数。然后进入()里分析，说明该函数有一个整型变量的参数，之后再与外面的int结合，说明函数的返回值是一个整型数据。

• Int (*p)(int);
  
    A& v/ d# g8 O  L

  ^, a+ \+ u, w. I  u& F

从P处开始，先与指针结合，说明P是一个指针。然后与()结合，说明指针指向的是一个函数。之后再与()里的int结合，说明函数有一个int型的参数，再与最外层的int结合，说明函数的返回类型是整型，所以P是一个指向有一个整型参数且返回类型为整型的函数的指针。

• int (p(int))[3];
  
  " b% v# U8 s. {) _1 \

& O2 U/ C" m1 r4 \% M

可以先跳过，不看这个类型，过于复杂。从P开始，先与()结合，说明P是一个函数。然后进入()里面，与int结合，说明函数有一个整型变量参数。然后再与外面的结合，说明函数返回的是一个指针。之后到最外面一层，先与[]结合，说明返回的指针指向的是一个数组。接着再与结合，说明数组里的元素是指针，最后再与int结合，说明指针指向的内容是整型数据。所以P是一个参数为一个整数据且返回一个指向由整型指针变量组成的数组的指针变量的函数。

说到这里也就差不多了。理解了这几个类型，其它的类型对我们来说也是小菜了。不过一般不会用太复杂的类型，那样会大大减小程序的可读性，请慎用。这上面的几种类型已经足够我们用了。

+ W% N. q/ r( d7 U" ?  F

▎细说指针

指针是一个特殊的变量，它里面存储的数值被解释成为内存里的一个地址。

4 t8 @2 u0 h# S& L# B

要搞清一个指针需要搞清指针的四方面的内容：指针的类型、指针所指向的类型、指针的值或者叫指针所指向的内存区、指针本身所占据的内存区。让我们分别说明。

6 K3 c# I* H: `; V% @

先声明几个指针放着做例子：
1 D" j) a6 D0 H2 B2 s

（1）int*ptr;

（2）char*ptr;

（3）int**ptr;

（4）int(*ptr)[3];

（5）int*(*ptr)[4];

. @$ L% U, }3 P6 \8 [# t/ @

▎指针的类型

4 ]" d& l9 |& y0 ^9 H5 y

从语法的角度看，小伙伴们只要把指针声明语句里的指针名字去掉，剩下的部分就是这个指针的类型。这是指针本身所具有的类型。

/ u* A6 M4 U% D1 v

让我们看看上述例子中各个指针的类型：
- D. M; \5 |# m  j

（1）intptr;//指针的类型是int

（2）charptr;//指针的类型是char

（3）intptr;//指针的类型是int

（4）int(ptr)[3];//指针的类型是int()[3]

（5）int*(ptr)[4];//指针的类型是int(*)[4]

怎么样？找出指针的类型的方法是不是很简单？

▎指针所指向的类型

当通过指针来访问指针所指向的内存区时，指针所指向的类型决定了编译器将把那片内存区里的内容当做什么来看待。

从语法上看，小伙伴们只需把指针声明语句中的指针名字和名字左边的指针声明符*去掉，剩下的就是指针所指向的类型。

上述例子中各个指针所指向的类型：

8 `6 d* Y) d% C

（1）intptr; //指针所指向的类型是int

（2）char*ptr; //指针所指向的的类型是char*

（3）int*ptr; //指针所指向的的类型是int*

（4）int(*ptr)[3]; //指针所指向的的类型是int(*)[3]

（5）int*(*ptr)[4]; //指针所指向的的类型是int*(*)[4]

5 B1 b9 P  L% J

在指针的算术运算中，指针所指向的类型有很大的作用。

指针的类型(即指针本身的类型)和指针所指向的类型是两个概念。当小伙伴们对C 越来越熟悉时，就会发现，把与指针搅和在一起的"类型"这个概念分成"指针的类型"和"指针所指向的类型"两个概念，是精通指针的关键点之一。

! [9 s7 Y# k, o; \% M; z

笔者看了不少书，发现有些写得差的书中，就把指针的这两个概念搅在一起了，所以看起书来前后矛盾，越看越糊涂。

! y% s3 y6 s; U1 e9 E7 M+ L8 F

▎指针的值

1 R4 U% K/ f0 P9 K# I$ X( Z

即指针所指向的内存区或地址。

指针的值是指针本身存储的数值，这个值将被编译器当作一个地址，而不是一个一般的数值。

. s- v. i! w: [3 t* b0 M6 b' |

在32位程序里，所有类型的指针的值都是一个32位整数，因为32位程序里内存地址全都是32位长。指针所指向的内存区就是从指针的值所代表的那个内存地址开始，长度为si zeof(指针所指向的类型)的一片内存区。

以后，我们说一个指针的值是XX，就相当于说该指针指向了以XX为首地址的一片内存区域；我们说一个指针指向了某块内存区域，就相当于说该指针的值是这块内存区域的首地址。

指针所指向的内存区和指针所指向的类型是两个完全不同的概念。在例一中，指针所指向的类型已经有了，但由于指针还未初始化，所以它所指向的内存区是不存在的，或者说是无意义的。

) G4 v/ P  {4 R3 b

以后，每遇到一个指针，都应该问问：这个指针的类型是什么？指针指的类型是什么？该指针指向了哪里？

▎指针本身所占据的内存区

3 M3 f8 G) b8 s2 H$ k

指针本身占了多大的内存？只要用函数sizeof(指针的类型)测一下就知道了。在32位平台里，指针本身占据4个字节的长度。指针本身占据的内存这个概念在判断一个指针表达式是否是左值时很有用。

1 K% a9 d2 a$ a

八戒爱电子

学习一下。