cpp笔试-virtual函数类继承问题

0x00笔试题

class a
{
public:
	virtual void test()
	{
		cout << "a func" << endl;
	}
};

class b :public a
{
public:
	void func()
	{
		test();
	}

	virtual void test()
	{
		cout << "b func" << endl;
	}
};
 

class c :public b
{
public:
	virtual void test()
	{
		cout << "c func" << endl;
	}
};

int  main()
{
	c func;

	((b*)(&func))->func();

	((b)func).func();

	return 0;
}

0x01解析

((b*)(&func))->func()

   这个看过设计模式就知道有一个原则叫做里氏替换原则（里氏替换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。 里氏替换原则中说，任何基类可以出现的地方，子类一定可以出现。 LSP是继承复用的基石，只有当衍生类可以替换掉基类，软件单位的功能不受到影响时，基类才能真正被复用，而衍生类也能够在基类的基础上增加新的行为）所以这个结果输出是：cout << "c func" << endl;

((b)func).func();

   每个派生类对象包含一个基类部分，强转派生类(由大转小)将丢失派生类的特性 所以这个结果输出是：cout << "b func" << endl;