17.7 - 调用继承函数和重写

"Key Takeaway"

• 基于派生类调用函数时，编译器沿着继承链向上查找并使用找到的第一个

默认情况下，派生类继承基类中定义的所有行为。在这一课中，我们将更详细地研究如何选择成员函数，以及如何利用它来改变派生类中的行为。

调用基类函数

当使用派生类对象调用成员函数时，编译器首先查看该成员是否存在于派生类中。如果没有，它开始沿着继承链向上查找，并检查成员是否已经在任何父类中定义。它使用它找到的第一个。

考虑下面的程序：

#include <iostream>
 
class Base
{
protected:
    int m_value {};
 
public:
    Base(int value)
        : m_value { value }
    {
    }
 
    void identify() const { std::cout << "I am a Base\n"; }
};
 
class Derived: public Base
{
public:
    Derived(int value)
        : Base { value }
    {
    }
};
int main()
{
    Base base { 5 };
    base.identify();
 
    Derived derived { 7 };
    derived.identify();
 
    return 0;
}

打印结果：

I am a Base
I am a Base

当调用 derived.identify() 时，编译器会查看 identify() 函数是否被定义在 Derived 类中。实际上没有。所以编译器会继续查看该类的父类（本例中的Base）。Base类定义了 identify() 函数，所以它会使用该函数。换言之，由于Derived::identify()不存在，所以实际调用的是 Base::identify() 。

这意味着，如果基类提供的函数满足需要，我们可以使用基类的函数。

重定义行为（函数）

不过，如果我们在派生类中定义了 Derived::identify()，则会调用这个版本的函数。

也就是，我们可以在派生类中重定义通过重新定义函数来使派生类具有不同的行为。

在上面的例子中，如果 derived.identify() 打印 “I am a Derived” 的话才更合理。所以，让我们在派生类中修改函数identify()，使其能够在我们调用 derived.identify() 时打印正确的内容。

要修改基类中定义的函数在派生类中的工作方式，只需重新定义派生类中的函数。

#include <iostream>
 
class Derived: public Base
{
public:
    Derived(int value)
        : Base { value }
    {
    }
 
    int getValue() const { return m_value; }
 
    // 在此处修改函数
    void identify() const { std::cout << "I am a Derived\n"; }
};

类似的例子，但是调用了 Derived::identify() ：

int main()
{
    Base base { 5 };
    base.identify();
 
    Derived derived { 7 };
    derived.identify();
 
    return 0;
}

I am a Base
I am a Derived

注意，当在派生类中重新定义函数时，派生函数不会继承基类中同名函数的访问说明符。它使用派生类中定义它的任何访问说明符。因此，在基类中定义为private的函数可以在派生类中重新定义为public，反之亦然！

#include <iostream>
 
class Base
{
private:
	void print() const
	{
		std::cout << "Base";
	}
};
 
class Derived : public Base
{
public:
	void print() const
	{
		std::cout << "Derived ";
	}
};
 
 
int main()
{
	Derived derived;
	derived.print(); // calls derived::print(), which is public
	return 0;
}

添加功能

有时，我们不想完全替换基类的成员函数，而是想向它添加额外的功能。在上面的例子中，注意Derived::identify()完全替换了Base::identify()！这可能并不是我们想要的。可以让派生函数调用同名函数的基本版本(以便重用代码)，然后向其添加额外的功能。

要让派生函数调用同名的基函数，只需执行一个普通函数调用，但在函数前面加上[scope-resolution-operator|作用域解析运算符]。下面的示例重新定义了 Derived::identify()，它首先调用Base::identify()，然后执行自己的附加操作。

#include <iostream>
 
class Derived: public Base
{
public:
    Derived(int value)
        : Base { value }
    {
    }
 
    int getValue() const  { return m_value; }
 
    void identify() const
    {
        Base::identify(); // call Base::identify() first
        std::cout << "I am a Derived\n"; // then identify ourselves
    }
};

考虑下面的例子：

int main()
{
    Base base { 5 };
    base.identify();
 
    Derived derived { 7 };
    derived.identify();
 
    return 0;
}

输出结果：

I am a Base
I am a Base
I am a Derived

当 derived.identify() 执行s时，它被解析为 Derived::identify()。但是它做的第一件事是调用 Base::identify()，进而打印 “I am a Base”。当 Base::identify() 返回时，Derived::identify() 会继续执行并打印 “I am a Derived”。

很简单吧。

为什么我们需要使用作用域解析运算符呢？如果像下面这样定义 Derived::identify() 会怎样呢？

#include <iostream>
 
class Derived: public Base
{
public:
    Derived(int value)
        : Base { value }
    {
    }
 
    int getValue() const { return m_value; }
 
    void identify() const
    {
        identify(); // Note: no scope resolution!
        cout << "I am a Derived";
    }
};

不使用作用域解析限定符而调用identify() 的话，默认情况会调用当前类中的 identify() ，这样调用的就是 Derived::identify()，于是 Derived::identify() 会自己调用自己，导致死循环！

在尝试调用基类中的友元函数时，比如操作符<<，可能会遇到一点麻烦。因为基类的友函数实际上不是基类的一部分，所以使用范围解析限定符不起作用。我们需要一种方法使我们的派生类临时看起来像基类，以便可以调用函数的正确版本。

幸运的是，这很容易做到，只需使用 static_cast 进行转换即可。请看下面这个例子：

#include <iostream>
 
class Base
{
private:
	int m_value {};
 
public:
	Base(int value)
		: m_value{ value }
	{
	}
 
	friend std::ostream& operator<< (std::ostream& out, const Base& b)
	{
		out << "In Base\n";
		out << b.m_value << '\n';
		return out;
	}
};
 
class Derived : public Base
{
public:
	Derived(int value)
		: Base{ value }
	{
	}
 
	friend std::ostream& operator<< (std::ostream& out, const Derived& d)
	{
		out << "In Derived\n";
		// static_cast Derived to a Base object, so we call the right version of operator<<
		out << static_cast<const Base&>(d);
		return out;
	}
};
 
int main()
{
	Derived derived { 7 };
 
	std::cout << derived << '\n';
 
	return 0;
}

因为Derived ”是一个“ Base，所以我们可以使用 static_cast 将 Derived 转换为 Base，然后就可以调用Base的<<操作符了。

打印结果如下：

In Derived
In Base
7