默认构造函数，为什么我的类似乎有三个？当编译器将类视为结构时？

Question

我一直认为，只有两个默认构造函数：没有参数的构造函数和复制构造函数。

但今天我写的是这样的：

首先我想确保在 C++ 中以 c 样式初始化结构仍然有效..

struct Foo{
    int a;
    bool b;
    char* c;
    double d;
};
//..
Foo arr[2]={{0, true, "a", 3.14}, {1, false, "z", 42.0}};

好的，这行得通。但接下来，我决定检查一下将struct 更改为class 后会发生什么。

class Bar{
 public:
    int a;
    bool b;
    char* c;
    double d;
};

//..

Bar arr[2]={{0, true, "a", 3.14}, {1, false, "z", 42.0}};//works
Bar bar;                                                 //works
Bar bar2=arr[1];                                         //works
//Bar bar3(2, false, "so", 7.0);                         //of course doesn't work
//first, second, third ways works... 

只要class Bar 没有任何私有/受保护字段（但它可以包含方法），它就可以编译。所以，只要编译器可以创建只使用结构简单特征的类，就可以编译。

• 第一个问题：我说的对吗？

• 第二个问题：它是编译器（在这种情况下为 gcc）的特性还是这正是标准所说的？

[编辑]：

代码//Bar bar3(2, false, "so", 7.0); //of course doesn't work 在这里不是问题；）

---

PS。我仍在学习英语，但有时我会犯愚蠢的错误。我正在尽我所能，用英语写问题和答案，但是如果你能编辑我的帖子以防出现任何错误，我会非常高兴。我保证，你的努力不会白费。

Answer 1

我决定检查将结构更改为类后会发生什么。

struct 和class 之间的唯一区别是成员的默认可见性和默认继承模式。 struct D : B { ... 等价于class D : public B { public: ...。

Answer 2

“//Bar bar3(2, false, "so", 7.0);" 看起来很正常不起作用，因为您没有使用该签名定义构造函数。为了让它工作，你需要在你的类中定义一个带有该签名的构造函数。除非您自己声明，否则编译器只会为您生成默认构造函数和默认复制构造函数。

Answer 3

虽然你称它为 C 风格的初始化，但它的正式名称是初始化列表。只有聚合可以使用初始化列表进行初始化（参见标准中的 8.5）。

聚合是一个数组或一个类

• 没有用户声明的构造函数，
• 没有私有或受保护的非静态数据成员，
• 没有基类，
• 并且没有虚函数。

这些是您的实际限制。这意味着您可以将初始化列表与非 POD 聚合一起使用：

struct Aggregate
{
   std::string s;
};

Aggregate ag = { "hello" };

Answer 4

使用//Bar bar3(2, false, "so", 7.0); ，您正在调用一个不存在的 ctor。

Answer 5

Bar 满足 POD 类型要求，这意味着它可以像 C 结构体一样被初始化。作为一个类或结构对此没有影响。

Answer 6

我一直认为，只有 两个默认构造函数：构造函数 没有参数，并复制 构造函数。

1.是的 - 你是对的。

2.

它是编译器的（在这种情况下是 gcc） 功能

您在说什么“功能”？只需重载你的构造函数就有一个方法 Bar::Bar(int,bool,char*,double) 你一帆风顺

Answer 7

众所周知，C++ 中的任何类都存在默认构造函数和默认复制构造函数，无论它们是否显式声明。我认为当您使用以下语法时会发生什么：

Bar arr[2]={{0, true, "a", 3.14}, {1, false, "z", 42.0}}; 

是编译器推断出对象的类型然后调用每个对象的默认构造函数，然后分配每个字段符合其在类定义中的位置。编译器无法调用默认的拷贝构造函数，因为在创建新对象时没有直接传递相同类型的对象，也就是说，在以下情况下应该调用拷贝构造函数：

Bar a;     //default constructor is called
Bar b(a);  //default copy constructor is called
Bar c = a; //default copy constructor is called

您应该做的是将默认构造函数添加到 Bar 类，然后进行调试以了解实际发生的情况...