【发布时间】:2010-11-29 01:08:29
【问题描述】:
我读到了虚拟构造函数用于实现一些设计模式,但不了解虚拟构造函数的任何需求。那么什么是虚拟构造函数,为什么我们真的需要它们呢?
【问题讨论】:
标签: oop constructor virtual
我读到了虚拟构造函数用于实现一些设计模式,但不了解虚拟构造函数的任何需求。那么什么是虚拟构造函数,为什么我们真的需要它们呢?
【问题讨论】:
标签: oop constructor virtual
在大多数编程语言中,afaik,你找不到虚拟构造函数。在构造对象后,在运行时评估虚拟成员的哪些覆盖,但在大多数语言中,您需要在构造实例时知道实际的类。因此,虚拟构造函数在这些语言中没有意义。
在.NET中,你可以通过反射获得类似的解决方案,即你可以通过代表你要构造的对象的Type类的实例来构造一个对象。并且通过泛型支持,您还可以实现类似的东西,但它不是虚拟构造函数。
我使用过的唯一具有真正虚拟构造函数的编程语言是 Delphi。在 Delphi 中,有一个特定的“元类类型”,即表示元类的特定编程结构(而在 .NET 中,元类 Type 类只是普通类的一个实例)。因此,如果您有一个名为 TMyClass 的类 - Deplhi 命名约定 ;)
TMyClass : Class ...
你可以这样声明元类
TMyMetaClass : class of TMyClass
现在,您可以声明一个TMyMetaClass 类型的变量,
MyMetaClassVariable : TMyMetaClass
...
// Assign the meta class to refer to our concrete class
MyMetaClassVariable := TMyClass;
并且可以通过这个变量构造一个新的实例
MyClassInstance := MyMetaClassVariable.Create();
现在,MyMetaClassVariable 可以引用 TMyClass 或其专业化的任何类。如果构造函数被声明为虚拟的,那么变量将使用该特定类的实例来构造。
同样的,你可以在Delphi中声明虚静态方法,并通过元类的实例调用它们。
那么另一个问题呢?为什么我们需要它们?好吧,在 Delphi 中,它们解决了与 .NET 中的 Type 类相同的一些问题,允许您在设计时构造不知道类名的对象。
例如,当您设计一个表单并放入一堆控件时,这些数据必须由设计器进行序列化和反序列化。当表单被反序列化时,实际上是读取元类型,并通过调用元类型上的虚拟构造函数来构造正确的实例(无论是TextBox、ComboBox 等)。
【讨论】:
TMyClass = class,即=而不是:。