为什么未初始化的指针在 C++ 程序中起作用？ [复制]

Question

请检查下面的代码：

class Human
{ 
public:
    void chat(Human h)
    {
        cout << "human";
    }

    void chat(ComputerScientist c)
    {
        cout << "computer";
    }
};

class ComputerScientist : public Human
{
};

//Main function below
int main()
{
    Human* p, p1;
    //Uninitialized pointer above;

    p->chat(p1); //It shows perfectly the result without ANY error!
}

但是，如果我在派生类 ComputerScientist 中创建一个覆盖人类函数的函数，事情就会变得棘手。

class Human
{
public:
    virtual void chat(Human* h)
    {
        cout << "about the weather";
    }

    virtual void chat(ComputerScientist* c)
    {
        cout << "about their own computer illiteracy";
    }
};

class ComputerScientist : public Human
{
public:
    virtual void chat(Human* h)
    {
        cout << " about computer games";
    }

    virtual void chat(ComputerScientist* c)
    {
        cout << " about others’ computer     illiteracy";
    }
};

而且我使用相同的 main 函数，它似乎是空指针行中的分段错误。但为什么呢？

第二个例子中的两个地方发生了变化：

1. 我通过将其设为虚拟来使用覆盖函数。
2. 函数将指针作为参数。

Answer 1

您编写的代码表现出未定义的行为。遇到未定义行为的代码可能：

• 分段错误
• 向屏幕输出奇怪的字符。
• 因优化级别和编译器而异
• 完全按照您的意愿工作。

Answer 2

在第一种情况下，您的类是一个 POD（普通旧数据），并且您的聊天函数不会取消引用/访问任何成员变量 - 因此它似乎可以正常工作（尽管这是一种不好的做法 - 由于未定义的行为）。在virtual functions each object has vtable 的情况下，它需要一个有效的指针才能工作——因此会导致错误。

以下是您如何使您的第一个案例错误：

class Human 
{ 
    private:
        int n;
    public:

    void chat(Human h) 
    {
        cout << "human #" << n << endl;
    }

    void chat(ComputerScientist c) 
    {
        cout << "computer";
    }
};

class ComputerScientist:public Human{};

int main()
{
    Human* p,p1;
    //Uninitialized pointer above;
    p->chat(p1);//It shows perfectly the result without ANY error!

    return 0;
}