当接收到 null-but-not-0 和 0-but-not-null 指针时，如何测试我的代码的行为？

如何解决当接收到 null-but-not-0 和 0-but-not-null 指针时，如何测试我的代码的行为？

我想修改一段代码，使其能够在空指针的物理表示中不为 0 的系统上运行。到目前为止，我完全忽略了 null 和 0 之间的区别 - 直到今天，我还没有在任何在实践中具有这种区别的系统上工作 - 但仍然如此。

因此，我再次阅读了有关空值的 C 常见问题解答，特别是关于如何获得“实际零”指针的 5.19。好吧，我想在我正在编写的单元测试中执行此操作，但是 - 我担心其中一些“技巧”实际上会被合理的编译器优化掉。

例如，使用 memset() 和 `memcmp()：GCC 和 Clang see right through that，这样：

#include <stdio.h>
#include <string.h>

int foo(void* p)
{
    void* ref;
    memset(&ref,sizeof(ref));
    return (memcmp(&p,&ref,sizeof(p)) == 0 ) ? 123: 456000;
}

int bar(void* p)
{
    memset(&p,sizeof(p));
    return (p == 0) ? 123: 456000;
}

变成，说：

foo:                                    # @foo
        test    rdi,rdi
        mov     ecx,123
        mov     eax,456000
        cmove   eax,ecx
        ret
bar:                                    # @bar
        mov     eax,123
        ret

那么，除了在没有优化的情况下编译之外，我如何可靠地“强制清零”指针？

注意：感谢@Lundin 指出如果我使用 memset()，我可能也想使用 memcmp()）。

解决方法

memset 是正确的解决方案。而且由于您使用使用零作为空指针实现的编译器进行编译，因此可能很难阻止优化的发生。

不过你有一个错误。

• 对 if(p) 等指针的检查检查该指针是否为空指针。
• 比较 p == 0、p == (void*)0 或 p == NULL 检查该指针是否为空指针。

所以 p == 0 不会不检查内部表示是否为零。你必须使用类似的东西：

void* ref;
memset(&ref,sizeof ref);

if(memcmp(&p,&ref,sizeof p)==0)

对于使用零作为空指针表示的系统，这可能也不会带来任何革命性的结果。