【C 语言入门学习笔记 Day12】指针进阶：字符数组传参、指针函数、函数指针与 const 指针全解析

本文为 C 语言第十二天的学习笔记，承接上一篇一维整型数组与指针的基础内容，继续梳理指针模块的进阶核心知识点：一维字符数组传参与遍历、指针函数与函数指针的辨析、const 修饰指针的三种形态。这部分内容是 C 语言笔试、面试的高频考点，也是区分指针入门与进阶的关键节点。

一、一维字符型数组传参

一维字符数组（字符串）的传参本质和整型数组一致：数组作为参数传递时，会退化为指向首元素的指针。但字符数组有特殊性 —— 字符串以'\0'作为结束标志，因此传参时通常不需要额外传递长度，可通过结束符自主遍历。

1. 字符数组传参的本质

和整型数组相同，以下三种函数形参写法完全等价，最终都会被编译器处理为指向首元素的指针：

// 写法1：不指定长度的数组形式
int fun(char pstr[]);

// 写法2：指定长度的数组形式（长度不生效，仍退化为指针）
int fun(char pstr[32]);

// 写法3：指针形式（最贴近本质）
int fun(char *pstr);

2. 字符数组的两种遍历方式

借助'\0'结束标志，我们可以用两种方式遍历字符串，效果完全等价：

char str[32] = {0};
char *p = NULL;
p = str; // 指针指向数组首元素，等价于 p = &str[0];

方式 1：指针偏移法

通过指针自增移动指向位置，直到遇到结束符'\0'停止。

while (*p != '\0')
{
    p++; // 指针向高地址偏移1个char大小
}

方式 2：下标法

通过数组下标逐个访问元素，本质是*(str+i)的语法糖。

int i = 0;
while (str[i] != '\0')
{
    i++;
}

二、指针函数与函数指针

这是一对极易混淆的概念，核心区分方法：看本质是函数还是指针。

1. 指针函数：返回指针的函数

• 本质：是一个函数，只是它的返回值是指针类型。
• 定义格式：返回值类型 *函数名(参数列表);

int *fun(int x, int y);  // 返回int*类型的函数
char *fun(void);         // 返回char*类型的函数

核心禁忌：绝对不能返回局部变量的地址

局部变量存储在栈区，函数调用结束后，栈帧会被销毁，局部变量的空间会被系统回收。此时返回的地址就变成了野指针，后续访问会触发未定义行为，甚至导致程序崩溃。

合法的返回场景

• 返回全局变量、静态局部变量的地址（生命周期贯穿程序全程）
• 返回堆空间（malloc 申请）的地址
• 指针函数返回的指针，可以直接作为另一个函数的实参使用

2. 函数指针：指向函数的指针

• 本质：是一个指针变量，它指向一个函数，存储的是函数的入口地址。
• 定义格式：返回值类型 (*指针变量名)(参数类型列表);

// 定义一个函数指针p，指向返回值为int、参数为两个int的函数
int (*p)(int, int);

易错提醒：括号不能省略！如果写成int *p(int, int);，就变成了「返回 int * 的指针函数」，而不是函数指针。*和变量名用括号包裹，才表示这是一个指针。

三、const 修饰的指针

const关键字的核心含义是只读，被它修饰的内容不可被修改。根据const修饰的对象不同，指针分为三类，共 5 种写法，是笔试必考内容。

1. 修饰指向的内容：指针可变，内容不可改

const int *p;   // 写法1
int const *p;   // 写法2，与写法1完全等价

• 修饰对象：*p，即指针指向的内存空间的内容
• 特点：
  • 指针变量p本身可以修改（可以改变指针的指向）
  • 不能通过*p修改指向空间里的值
• 适用场景：只读数据传递，防止函数内部意外修改外部数据

2. 修饰指针本身：指针不可变，内容可改

int *const p;

• 修饰对象：p，即指针变量本身
• 特点：
  • 指针变量p不可修改（指向不能变），定义时必须初始化
  • 可以通过*p修改指向空间里的值
• 适用场景：指针指向固定，不允许被篡改

3. 双重 const：指针和内容都不可改

const int *const p;   // 写法1
int const *const p;   // 写法2，与写法1完全等价

• 修饰对象：同时修饰p和*p
• 特点：
  • 指针的指向不能修改，指向的内容也不能修改
  • 定义时必须初始化
• 适用场景：完全只读的场景，安全性最高

快速判断口诀

看const在*的左边还是右边：

• const在*左边 → 修饰指向的内容，内容只读
• const在*右边 → 修饰指针本身，指针只读
• 两边都有const → 都只读

总结

1. 字符数组传参同样退化为首元素指针，借助'\0'结束符可实现下标、指针两种遍历方式。
2. 指针函数本质是函数，返回指针；函数指针本质是指针，指向函数，核心看*和括号的位置。
3. 指针函数严禁返回局部变量的地址，避免野指针问题。
4. const 指针核心看修饰对象：修饰*p则内容不可改，修饰p则指向不可改，双重 const 则都不可改。