指针的声明与初始化：类型匹配的重要性

指针这东西，说白了就是个地址。但地址本身也是有类型的。我见过太多新手，甚至工作两三年的同事，在这上面栽跟头。

你可能会问：「地址不就是一个数字吗？怎么还有类型？」

嗯，这个问题问到点子上了。让我从最基础的地方说起。

指针类型到底在表达什么？

指针变量存储的是内存地址。但编译器需要知道：这个地址指向的数据，占几个字节？怎么解释？

举个例子：

int a = 42;
int *p = &a;   // p 是 int* 类型
char *q = &a;  // q 是 char* 类型 —— 编译器会警告

p 和 q 存储的地址值是一样的。但当你解引用时：

• *p 会读取 4 个字节（假设 int 占 4 字节），按有符号整数解释
• *q 只读取 1 个字节，按字符解释

结果完全不同。我在项目中遇到过这样的 bug：有人把 float 数组的地址赋给了 int 指针，然后做运算。数据全乱了，查了两天才找到原因。

类型不匹配的典型场景

我个人习惯把常见错误分成三类，你对照看看：

错误类型	代码示例	后果
不同类型直接赋值	int *p = &float_var;	解引用时数据解释错误
指针运算越界	int *p = (int*)char_array;	访问了不该访问的内存
函数指针类型不匹配	void (*fp)() = &func_with_params;	调用时栈帧混乱，可能崩溃

我曾经在嵌入式项目里犯过第二个错误。一个 char 数组存了通信协议的数据，我图省事直接强转成 int* 去解析。结果因为对齐问题，在 ARM 芯片上直接触发硬件异常。

正确的初始化方式

我建议你记住这个原则：指针的类型，必须和它指向的数据类型一致。

int   a = 10;
int  *p = &a;   // 正确

char  b = 'A';
char *q = &b;   // 正确

// 如果非要转换，用显式强转
void *v = &a;   // void* 可以接收任何地址
int  *r = (int*)v;  // 但转回来时类型要匹配

这里有个细节：void* 是通用指针。但它不能直接解引用，必须转回具体类型。说白了，void* 就是个「地址搬运工」，不负责解释数据。

避坑指南

我曾经在代码审查时看到这样的写法：

int arr[10];
int *p = arr;  // 正确，数组名退化为指针

// 但下面这个就有问题
int *q = &arr;  // &arr 的类型是 int(*)[10]，不是 int*

&arr 取的是整个数组的地址，类型是「指向包含10个int的数组的指针」。虽然地址值一样，但 q+1 会跳过整个数组（40字节），而不是一个 int（4字节）。

const 修饰符的匹配

const 也是个容易忽略的点：

const int c = 100;
int *p = &c;  // 错误！丢弃了 const 限定符
const int *q = &c;  // 正确

为什么？因为如果允许 int* 指向 const int，那就可以通过 *p = 200 修改常量，破坏了 const 的语义。编译器会拦着你的。

反过来呢？

int a = 50;
const int *r = &a;  // 正确，把权限收窄了

这没问题。把可变数据的地址交给一个「只读指针」，只是限制了通过这个指针的修改权限，数据本身还是可变的。

小结一下

指针的类型匹配，说白了就两件事：

1. 数据解释方式要一致 —— 别把 int 当 char 读
2. 指针运算步长要正确 —— 别一步跨太大

我每次写指针声明时，都会默念一遍：「这个指针指向什么类型？运算时步长是多少？」养成习惯后，这类 bug 基本就能避免了。

可可精品资料库