c++ - 空指针如何改变它的值？

Question

我用的是这样的:

struct Node
{
    char name[50];
    Node *left,*right;
};

int main()
{
    char cmd[10];
    Node* p=NULL;

    scanf("%s",&cmd);

    if (p == NULL)
    {
        // do something

        // THIS NEVER GETS EXECUTED
        // WHYYYYY????
        //THIS IS STRANGE
    }
}

基本上，指针 p 在我读入 cmd 变量后改变了它的值。我试图注释掉 scanf 代码，然后一切正常。很奇怪。

Answer 1

你有一个缓冲区溢出。

内存是这样的:

+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
|  |  |  |  |  |  |  |  |  |  |  |  |  |  |
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
 ^                             ^
 cmd[10]                       p 

如果scanf读取超过10个字节，就会溢出到p。任何非零值都将无法通过 NULL 检查，即使它不是有效指针也是如此。