C语言中传递不同类型指针的风险及返回值转换问题

指针传递场景的内存覆盖风险 #

对于第一个代码片段：

void f(long unsigned int *a) {
  *a = 10;
}

void main(void) {
  unsigned int b;
  f(&b);
  return;
}

你的判断完全正确。将unsigned int*类型的&b隐式转换为long unsigned int*后，函数f会把目标地址当作64位内存空间来赋值。由于b仅占用32位内存，赋值操作会额外覆盖b之后相邻的32位内存区域——这部分内存可能属于其他变量、栈帧元数据或程序关键数据，直接触发未定义行为，可能导致变量值被破坏、程序崩溃甚至安全漏洞。

返回值赋值场景的安全性 #

对于第二个代码片段：

long unsigned int f(void) {
  return 10;
}

void main(void) {
  unsigned int b;
  b = f();
  return;
}

你的理解也正确。当long unsigned int类型的返回值赋值给unsigned int变量时，编译器会执行隐式类型转换：将64位数值截断为32位（由于10的二进制表示完全落在32位范围内，最终结果就是10）。这个过程仅读取返回值的低32位，不会涉及额外内存写入，因此不存在内存覆盖风险。

返回值方案的局限性 #

正如你所说，这种返回值转换的方案存在明显弊端：如果函数需要返回的核心结果是另一个值，而10只是计算产生的附加信息，单返回值的模式无法同时传递两个结果。此时可以采用以下替代方案：

• 定义包含核心结果和附加信息的结构体，让函数返回该结构体实例
• 额外传入一个类型匹配的指针参数，用于接收附加信息（注意必须保证指针指向的变量类型与函数期望的类型一致，避免重蹈第一个场景的覆辙）

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