近日，在Stack Overflow及多个开发者社区中，一个关于C语言的典型指针操作问题引发热议：当将一个char值赋给结构体中的char *成员时，若该结构体是通过函数参数传入的指针访问，而函数参数本身又是一个char *，并用字符数组调用——看似简单的逻辑，却暗藏严重的内存越界与未定义行为风险。这一案例再次提醒广大C语言程序员：指针的正确使用，永远是C编程中最容易犯错也最难调试的环节。
问题还原：看似正常的代码为何崩溃？
假设有如下结构体定义：
typedef struct {
char *name;
int id;
} Person;
开发者希望编写一个函数，接收一个字符数组（如"Alice"）作为参数，并将该字符串的指针存入结构体中的name成员。常见的错误写法是：
void set_name(Person *p, char *str) {
p->name = str; // 直接赋值指针
}
调用方式：
Person alice;
set_name(&alice, "Alice");
printf("%s\n", alice.name); // 输出正常，但隐患巨大
这段代码在多数环境下能正常输出，但隐藏的陷阱在于：p->name仅仅复制了指针str的值，而str指向的可能是栈上的一块临时内存（如果传入的是局部数组）或只读数据区（如字符串字面量）。当函数返回后，若原内存被回收或修改，alice.name就成了悬空指针。
更为极端的错误是，将单个字符（如'A'）直接赋给p->name：
void set_name(Person *p, char ch) {
p->name = &ch; // 取局部变量的地址
}
或试图通过*p->name = ch直接写入——这等同于解引用未初始化的指针，几乎必然导致段错误。
核心症结：指针与数组的退化、生命周期、内存所有权
问题的根源在于C语言对数组参数的处理机制。当把字符数组（如char name[20]）作为实参传递给char *str形参时，数组会退化为指向其首个元素的指针。这意味着函数内部无法得知原数组的长度和生命周期。
此外，如果p->name被声明为char *，它只是一个指针，并不拥有内存。直接赋值仅仅复制了地址，而赋值右侧的字符串如果来自字面量（存储在只读数据段），后续若试图修改p->name的内容（如p->name[0] = 'B'）将引发运行时错误。如果来自栈上的字符数组，则该数组在函数返回后失效。
正确实践：为字符串分配独立内存
业界公认的解决方案是：在结构体初始化时，为char *成员动态分配足够的内存，并将字符串内容复制过去，而不是简单复制指针。
void set_name(Person *p, const char *str) {
p->name = malloc(strlen(str) + 1);
if (p->name != NULL) {
strcpy(p->name, str);
}
}
同时，在结构体销毁时，必须用free(p->name)释放内存，防止泄漏。若使用固定大小的字符数组（如char name[32]）而非指针，可避免手动管理内存，但需注意数组大小限制。
专家点评：警惕“指针即地址”的思维惯性
资深嵌入式开发者李工指出：“许多初学者误以为char *就是字符串本身，实际上它只是一个地址。结构体中的指针成员在赋值时，必须考虑三件事：内存所有权归谁、生命周期有多长、是否需要深拷贝。”他建议，对于现代C++或追求安全的项目，可优先使用std::string（C++）或封装好的字符串库（如GLib的GString）。但在纯C环境中，坚持“谁分配谁释放”的原则，并善用静态分析工具（如Valgrind、AddressSanitizer）来检测内存错误，是降低风险的必经之路。
结语
从单个字符赋值到整个字符串管理，C语言的指针操作始终是“成也简捷，败也简捷”。本次热议的案例看似微小，却折射出许多开发者对数组退化、内存生命周期、指针语义的模糊认知。在追求代码效率的同时，扎实掌握底层原理，才是避免“悬空指针”的终极法宝。