c++ - 如果不使用虚函数，使用基类指针指向派生类的任何目的

Question

我正在查看一些关于使用指向派生类对象的基类指针的好处的 SO 帖子(在下面列出)。但在大多数情况下，虚函数是使用基类指针的最终目的。我在其中一些帖子中添加了评论，但我想由于这些帖子是旧的，所以没有收到回复。现在我的问题是，如果我们不使用虚函数概念，在其他情况下使用基类指针是否有任何目的？

在下面的代码中，

pEmp->computeTotalSalary

调用基类函数，因为缺少虚函数。这是预期的行为。

#include <iostream>
using namespace std;
class Employee
{
public:

    void computeTotalSalary ()
    {
        cout<<"Computing Employee Salary in Base Class:"<<endl;
    }
};

class TeachingStaff : public Employee
{
public:
    // Override the function

    void computeTotalSalary ()
    {
        cout<<"Computing Teacher's Salary in Sub class: "<<endl;
    }
};

int main()
{
    TeachingStaff *pTeacher = new TeachingStaff() ;
    pTeacher->computeTotalSalary();
    Employee *pEmp;
    pEmp = pTeacher;
    pEmp->computeTotalSalary();
    pTeacher->Employee::computeTotalSalary();
}

链接:1. Why use base class pointers for derived classes

1. A Base Class pointer can point to a derived class object. Why is the vice-versa not true?

2. assigning derived class pointer to base class pointer in C++

Answer 1

使用基类指针或引用允许您编写接受基类的所有派生类的函数，这样您就可以在它们上调用通用的非虚函数。否则，您将不得不为不同的派生类多次编写相同的函数，或者使用模板。

#include <iostream>

class base_t {
public:
    void non_virtual() const { std::cout << "Hello, World!\n"; }
};

class derived_1_t : public base_t { };
class derived_2_t : public base_t { };

void do_something(const base_t& obj) {
    obj.non_virtual();
}

int main() {
    derived_1_t var1;
    derived_2_t var2;
    do_something(var1);
    do_something(var2);
}