iOS知识点：谈谈常量指针和指针常量

一、前序

我们在看源码的时候可能经常遇到const修饰符跟指针搭配使用的情况，比如像下面这样的：

- (instancetype)initWithBytes:(nullable const void *)bytes length:(NSUInteger)length;

(const void *)bytes这表示什么意思呢？

表示bytes指向的内容是常量，不能通过此指针（bytes）修改指向的内容。

• 关键字const

  关键字const用来定义常量，如果一个变量被const修饰，那么它的值就不能再被改变

二、常量指针和指针常量

• 常量指针是指针指向的内容是常量，不能通过此指针修改指向的内容。可以有两种定义方式。

  const int * n;
  int const * n;
  

  注意两点：

  1，常量指针说的是不能通过这个指针改变变量的值，但是还是可以通过其他的引用来改变变量的值的。

  int a=5;
  const int* n=&a;
  a=6;
  

2，常量指针指向的值不能改变，但是这并不是意味着指针本身不能改变，常量指针可以指向其他的地址。

int a=5;
int b=6;
const int* n=&a;
n=&b;

• 指针常量是指指针本身是个常量，不能再指向其他的地址。

  注意：

  1，指针常量指向的地址不能改变，但是地址中保存的数值是可以改变的，可以通过其他指向该地址的指针来修改。

• 区分常量指针和指针常量的方法

  区分常量指针和指针常量的关键就在于星号的位置，以星号为分界线，如果const在星号的左边，则为常量指针，如果const在星号的右边则为指针常量。如果我们将星号读作‘指针’，将const读作‘常量’的话，内容正好符合。int const * n；是常量指针，int *const n；是指针常量。

• 其他

  指向常量的常指针

  常指针表示常量指针和指针常量的结合，指针指向的位置不能改变，并且不能通过这个指针改变变量的值。但依然可以通过其他的普通指针变量修改变量的值。写法如下：

  const int* const p;
  

三、指针常量和常量指针的用法

• 修饰局部变量

  const int n=5;
  int const n=5;
  

  这两种写法是一样的，都是表示变量n的值不能被改变了，需要注意的是，用const修饰变量时，一定要给变量初始化，否则之后就不能再进行赋值了。

• 修饰静态字符串

  const char* str="hello world";
  

  如果没有const的修饰，我们可能会在后面有意无意的写str[4]=’x’这样的语句，这样会导致对只读内存区域的赋值，然后程序会立刻异常终止。有了const，这个错误就能在程序被编译的时候就立即检查出来，这就是const的好处。让逻辑错误在编译期被发现。

• 修饰全局变量

  全局变量的作用域是整个文件，我们应该尽量避免使用全局变量，因为一旦有一个函数改变了全局变量的值，它也会影响到其他引用这个变量的函数，导致出了bug后很难发现，如果一定要用全局变量，我们应该尽量的使用const修饰符进行修饰，防止不必要的人为修改。

• 修饰函数的返回值

  如果函数返回值加 const 修饰，那么函数返回值的内容不能被修改，该返回值只能被赋给加const 修饰的同类型指针。

  例如函数

  - (nullable const char *)cStringUsingEncoding:(NSStringEncoding)encoding
  

  如下语句将出现编译错误：

  NSString *str = @"hello";
  char *p = [str cStringUsingEncoding:NSASCIIStringEncoding];
  

  正确的写法是：

  NSString *str = @"hello";
  const char *p = [str cStringUsingEncoding:NSASCIIStringEncoding];
  

• 修饰函数的参数
  根据常量指针与指针常量，const修饰函数的参数分为两种情况。

  1，防止修改指针指向的内容

  void StringCopy(char *strDestination, const char *strSource);
  

  strSource 是输入参数，strDestination 是输出参数。给 strSource 加上 const 修饰后，如果函数体内的语句试图改动 strSource 的内容，编译器将指出错误。

2，防止修改指针指向的地址

void swap ( int * const p1 , int * const p2 )

指针p1和指针p2指向的地址都不能修改。