指针类型转换的合法性场景：为何部分转换操作无效？

先拆解你的测试代码问题 #

第一段代码：无指针类型转换，仅值的解释变更 #

int *x;
int y = 35;
x = &y;
printf("%c\n", *x);

这里x本身就是int*，没有做指针类型转换，只是把int类型的*x当作char输出。35对应的ASCII字符是#，如果你的输出是#，那是正常的——本质是对同一块内存的值做了不同类型的解读，和指针转换无关。

第二段代码：存在未定义行为 #

char *x;
int y = 35;
x = &y; // 隐式将int*转为char*
printf("%c\n", *x);

这段代码的问题在于char*指向了int类型的对象：多数系统中int占4字节，char占1字节，*x只会读取y的第一个字节（小端系统里就是35的低8位，对应ASCII#，所以可能输出符合预期），但这属于未定义行为——C标准不保证跨类型指向的操作结果，只是刚好在你的系统上表现正常。

第四段代码：内存布局完全不兼容 #

int *x;
int y = 5;
x = &y;
printf("%f\n", *(float*)x);

把int*强制转为float*后解引用，核心问题是int和float的内存编码规则完全不同：整数5的二进制是00000000 00000000 00000000 00000101，但这个二进制序列作为float解读时，是一个极小的非规格化数，printf按%f输出会显示为0.000000——这不是指针转换无效，而是你把完全不兼容的内存数据当成另一种类型解读，结果毫无意义，同样属于未定义行为。

第三段代码：合法的类型转换场景 #

void* vp = malloc(100); 

char* cp = (char*)vp;          
for (; *cp != '\0'; cp++) {
    printf("%c", *cp);
}

// 假设numbers是int数组
size_t numbytes = (sizeof(numbers) / sizeof(numbers[0])) * sizeof(int);
memcpy(vp, numbers, numbytes); 
int* ip = (int*)vp;         
for (; *ip != -1; ip++) {
    printf("%d, ", *ip);
}

这段代码能正常运行的关键：

1. malloc返回的void*是无类型通用指针，C标准明确允许它与任何对象指针（char*、int*等）互转；
2. char*的特殊权限：标准允许用char*访问任何对象的原始字节，用来做遍历、字节检查是合法的；
3. 后续用memcpy把int数组的字节拷贝到vp指向的内存，此时这块内存的内容完全符合int类型的布局，再转成int*解引用，完全符合预期。

指针类型转换的核心规则 #

允许安全转换的场景 #

• void*与其他对象指针互转：这是标准明确支持的通用指针用法；
• 兼容类型的权限转换：比如int*转const int*，仅限制修改权限，完全安全；
• char*/unsigned char*与其他指针互转：标准允许用这两种指针访问任何对象的原始字节，适合内存拷贝、字节级操作；
• 指针与足够宽的整数类型互转：比如uintptr_t（来自<stdint.h>），转成整数再转回来，能保证指针值不变。

绝对禁止的随意转换 #

• 不同对象类型指针互转后直接解引用：比如int*转float*再读值，或char*指向int后当作char数组操作（仅单字节访问例外），属于未定义行为；
• 函数指针与对象指针互转：C标准完全不允许这种转换，必然是未定义行为；
• 对齐不兼容的转换：比如把char*（对齐要求1）转成int*（对齐要求4），若原地址不是4字节对齐，解引用可能触发硬件异常（如部分ARM架构）。

指针的“类型”到底起什么作用？ #

指针类型主要管控两个核心行为：

1. 解引用的内存解读：比如int*解引用会读取sizeof(int)字节，并按整数规则解读；float*则按浮点数规则解读——类型决定了读取长度和数据解析方式；
2. 指针运算的步长：比如int* p执行p++时，地址会增加sizeof(int)字节；char* p执行p++仅增加1字节——类型决定了指针加减的偏移量。

指针指向值后能不能转换类型？ #

可以转换，但转换后不能直接解引用，除非满足以下条件之一：

• 转换后的指针类型与原对象的实际类型完全一致；
• 用char*/unsigned char*访问原始字节；
• 先转成void*，再转回原类型（保证类型匹配）。

合法示例：

int a = 10;
void* vp = &a;
int* ip = (int*)vp; // 转回原类型，解引用合法
printf("%d", *ip); // 输出10

非法示例：

int a = 10;
float* fp = (float*)&a;
printf("%f", *fp); // 未定义行为，结果无意义

内容的提问来源于stack exchange，提问作者Mariatto