构造函数不能是虚函数

A constructor cannot be virtual

本文关键字：函数 不能 构造函数      更新时间：2023-10-16

在网上的一个c++教程中，我发现了下面关于构造函数为什么不能是虚拟的描述

不能声明虚构造函数。我们应该详细说明类型，以便编译器可以分配指定类型的内存

这个描述正确吗?

我对这个短语特别困惑:so that the compiler can allocate memory for that specific type

正如Bjarne在他的c++风格和技术常见问题解答中所解释的:

虚调用是在给定部分信息的情况下完成工作的一种机制。特别是"虚拟的"。允许我们只知道接口而不知道对象的确切类型来调用函数。要创建对象，您需要完整的信息。特别是，您需要知道要创建的内容的确切类型。因此，调用构造函数

构造函数不能是虚函数，因为标准是这样规定的。

标准这么说是因为它没有意义。虚构造函数会做什么?

虚方法用于多态性…如果还没有对象，多态应该如何工作?

应该在编译时指定对象的确切类型，因此编译器可以为该特定类型分配内存。

我们应该在编译时指定确切的类型，因为我们想要该类型的对象…我发现他们的描述也很令人困惑。

同样，在段落中它没有说这是构造函数不能是虚函数的原因。它解释了为什么不应该从构造函数调用虚方法，但仅此而已。

构造函数如何能够是virtual ?virtual意味着调用该函数的结果由对象的动态类型决定。施工前，不反对这样做。

教程中的短语，构造函数是什么，也是假的。需要指定确切的类型，否则你声明的东西不会被视为构造函数，没有返回类型的函数是不允许的。

再补充一下，这里有一种虚拟构造函数设计模式，也称为工厂方法或工厂函数:

…它处理创建对象(产品)的问题，而不指定要创建的对象的确切类

这是正确的，尽管在我看来它没有抓住重点。

构造函数设置虚拟调度，即将正确的指针指向当前类的函数。如果构造函数可以是虚拟的，谁会事先设置虚拟构造函数呢?这将是一个可怕的鸡生蛋还是蛋生鸡的问题。

然而，有一种称为"虚拟构造函数"的习惯用法，在这种习惯用法中，类的静态成员返回带有合适类的基类指针: 
class A {
    static A* create();
    virtual ~A();
};
class B : public A { ... };
A* A::create() { return new B(); }
相关文章：