在哪些情况下根本没有构造函数，甚至没有默认构造函数？

Question

在这本书中，我目前正在阅读，我遇到了这个：

类不需要构造函数。如果对象不需要初始化，则不需要默认构造函数。

我从上面推断编译器在某些情况下不会为类/结构生成默认构造函数是否正确？如果是的话，那些情况是什么？我敢说 POD 可能就是其中之一。还有其他的吗？

编辑：我更改了标题，因为原始标题的含义是我询问何时未定义默认构造函数，而不是询问类何时根本没有构造函数。

Answer 1

类不需要构造函数。如果对象不需要初始化，则不需要默认构造函数。

我认为作者正在谈论这种情况：

some_type some_function () {
   POD_type this_is_intentionally_uninitialized;
   ...
}

在某些情况下，不会调用构造函数，句号。一旦您编写了构造函数，您就没有 POD 类，因此现在将调用构造函数。

让一个包含随机、未初始化数据的对象运行是好是坏完全是另一个问题。

Answer 2

始终声明默认构造函数。但它并不总是被定义。仅当使用它时，编译器（或您）才会定义它。示例：

struct A { std::string str; };
// not yet defined

struct B : A { };
// not yet defined

B b; 
// Now B::B and A::A are defined

请注意，这会产生直接的实际后果

struct A { private: A(); };
struct B : A { };
// valid, as B::B is not yet defined

B b; 
// now invalid, because B::B is defined and tries to call a 
// private base class constructor

Answer 3

如果您始终使用带参数的构造函数创建类的对象，则不需要默认构造函数。

编译器为每个类生成默认构造函数，但如果您为该类定义自己的构造函数，则编译器不会自行生成默认构造函数。只要您通过提供的构造函数创建此类的对象，该类就不需要并且具有默认构造函数。

class Myclass
{
    int m_i;
    public:
        Myclass(int i)
        {
            m_i = i;
        }

};

int main()
{
    Myclass obj1(10); // #1, uses overloaded constructor
    Myclass obj2; //#2, Will generate compiler error of no matching constructor
    return 0;
}

在上面的例子中，考虑一下书中的引用：

类不需要构造函数。如果对象不需要初始化，则不需要默认构造函数。

在上面的例子中，只要 Myclass 的对象是在 using #1 中创建的，该类就不需要并且有一个默认的构造函数。

如果Myclass的对象是以需要默认构造函数的方式创建的，则需要为该类定义默认构造函数，即：#2。

Answer 4

简而言之 - （在 CPP 的背景下）
如果没有定义构造函数，则编译器没有默认构造函数。
仅当需要时才由编译器定义。

在某些情况下，它是由编译器完成的。其中一些是 -

1. 当我们有一个类以基类对象作为成员（并且未定义派生类构造函数）时。在这种情况下，会创建派生类的默认构造函数，因为其构造函数的 prolog 需要调用基类构造函数。

2. 我们有一个容器对象。下面的代码解释了这一点。

   腿部类
   {
   构造函数(); // ctor代表构造函数
   };
   类猫
   {
   腿 腿；
   民众：
   猫（）{}
   };
   

3. 对于虚函数，将虚表指针设置为正确的 V 表是在构造函数中完成的。也出于这个原因，编译器将定义默认构造函数。

Answer 5

在我看来，这句话意味着您不必总是编写自己的默认构造函数，因为某些类可能不需要默认初始化。

例如，如果您的类包含多个提供自己的默认构造函数的类字段，则无需编写任何默认构造函数，因为默认情况下无论如何都会调用成员的构造函数。

在极端相反的情况下，您可能想要编写 POD 的 struct 或 class，并依赖程序员手动正确初始化其字段；在这种情况下，您可能不会编写默认构造函数，因此编译器将编写自己的构造函数，将这些字段保留为默认的未初始化值（实际上，它将是一个无操作，并且可能会被优化掉）。

Answer 6

如果您没有提供任何构造函数，编译器只会声明并定义自动生成的默认构造函数。

然而，使用不可实例化的父类，可以防止任何类型的构造函数停止工作。通过添加带有虚拟参数的虚拟构造函数，可以仅终止自动生成的默认构造函数，但代价是更多的繁文缛节。

Answer 7

你的问题存在一定的歧义。您会看到，编译器对构造函数采取的隐式操作涉及声明它们和定义它们。如果某个构造函数被声明但没有定义，你认为它存在还是不存在？

不管怎样，没有办法创建一个没有为其声明构造函数的类。例如，复制构造函数总是被声明的。没有办法抑制它。如果你不自己声明，编译器会帮你声明。

至于默认构造函数 - 可以抑制其隐式声明。如果您自己声明任何构造函数（即显式），编译器将不会隐式声明默认构造函数。但在这种情况下，您的类当然会有一个构造函数：您自己声明的构造函数。 （另外，正如我上面所说，复制构造函数总是被声明的）。

至于隐式定义构造函数......仅当您使用它们时，它们才会由编译器定义。当然，只有在可能的情况下才定义它们。 （如果您使用隐式构造函数，并且事实证明它无法定义，那么您的程序根本无法编译）。

因此，再次强调，当涉及到声明的构造函数时，不可能有一个类根本没有构造函数。任何类都至少有一个为其声明的构造函数。

如果您对定义的构造函数特别感兴趣，那么确实可以有一个没有定义构造函数的类。这是给你的一个例子

struct S {
  S(const S&);
};

就是这样。该类有一个构造函数声明它，但它没有定义:)

Answer 8

如果声明了另一个构造函数，则不会为类定义默认构造函数。

对于 POD 类型（从琐碎和标准布局的意义上来说，这些术语是在 C++11 中定义的），编译器是否生成构造函数是一个有争议的问题，因为编译器生成的构造函数是琐碎的。有关详细信息，请查看什么是聚合和 POD 以及它们有何特别之处/为何如此特别？

Answer 9

some_type some_function () {
POD_type this_is_intentionally_uninitialized;
...
}