C++能否定义构造函数为virtual来创建多态的对象?
答案是不行!C++是一门静态类型的语言(RTTI的目的与这里的动态创建对象不同),多态地创建对象没有什么意义。编译器必须知道类的确切类型,才能创建对象。
换言之,对象的类型是什么,是在C++编译期间就已经决定了的。如果用户将构造函数定义为virtual, 则编译器会报错。
实际上,除了inline,其它所有关键字都不能用来声明构造函数。
在下面的演示例子中,我们需要创建一个继承类,基于一些输入条件。换句话说,对象的创建和对象的类型是紧密地耦合一起,这样强制地实现扩展。而virtual构造函数的目的是解耦对象创建与对象类型。
如何在运行时创建特定类型的对象?参考下面例子:
#include <iostream>
using namespace std;
class Base
{
public:
Base() { }
virtual ~Base() { } // 确保能够调用实际操作对象的析构函数
virtual void DisplayAction() = 0; // 做为一个接口
};
class Derived1 : public Base
{
public:
Derived1() { cout << "Derived1 created" << endl; }
~Derived1() { cout << "Derived1 destroyed" << endl; }
void DisplayAction() { cout << "Action from Derived1" << endl; }
};
class Derived2 : public Base
{
public:
Derived2() { cout << "Derived2 created" << endl; }
~Derived2() { cout << "Derived2 destroyed" << endl; }
void DisplayAction() { cout << "Action from Derived2" << endl; }
};
class User
{
public:
// 创建Drived1
User() : pBase(NULL) {
// 如果需要Derived2,如何处理?常规方式是添加if-else。参考下一个例子。
pBase = new Derived1();
}
~User() {