指针判定为非NULL但使用%p格式符输出显示(nil)的原因咨询

嘿，这个问题确实挺让人挠头的！我之前排查过类似的诡异问题，给你梳理几个最可能的触发原因：

• 指针在检查后被意外篡改：你先判定res非NULL，但从检查到执行printf("%p", res)的这段时间里，有没有操作不小心修改了res本身的内存？比如res是栈上变量的话，要是旁边的数组、变量发生内存越界写入，刚好把res的存储位置改成了NULL。举个例子，要是你在检查后有个循环写超了数组范围，而数组和res在栈上相邻，就会把res直接冲成NULL。

• 编译器优化的“乌龙操作”：有时候编译器的优化逻辑会超出预期——它可能觉得在NULL检查和printf之间，res的值没被修改，就直接复用了之前的判断结果，但实际上有编译器没察觉到的内存操作（比如通过其他指针间接修改了res的地址）。这种情况你可以试试给res加上volatile关键字，强制编译器每次都实际读取它的真实值，看看输出会不会恢复正常。

• malloc相关的错误处理漏洞：看你贴的代码里写了一半的mal，应该是没写完的malloc吧？如果实际代码里malloc成功后，你确实做了非NULL检查，但后续的某个操作（比如调用了其他函数）偷偷把res重新赋值成了NULL，或者你的检查逻辑本身有问题——比如把if (res != NULL)写在了malloc之前？那时候res初始是NULL，检查不通过，但malloc成功后你又没再做验证，后续误判了它的状态。

• 无效地址的特殊显示（极端情况）：还有一种非常少见的情况：res指向的是一个无效的非NULL地址，但你的系统的printf对这类地址做了特殊处理，错误输出了(nil)。不过这种情况概率极低，大部分系统会直接输出对应的十六进制无效地址。

对了，你可以在res != NULL的判断分支里，立刻加一行printf打印res，然后再执行后面的代码——如果这时候输出是正常的非NULL地址，后面才变成(nil)，那百分百是中间的操作把res给篡改了！

内容来源于stack exchange