显式默认构造函数和成员变量的初始化

我对当一个 ctor 被明确默认时会发生什么感到有点困惑。

下面的两个代码示例是否等效？

有没有什么限制Y能够使用第一个选项吗？

class X
{
public:
    X() = default;

private:
    Y m_y;
};

class X
{
public:
    X() : m_y() {}

private:
    Y m_y;
};

差异可能有两个来源。

1. X() = default; is not 用户提供的. X() : m_y() {}是。前者可以是trivial;后者绝不是微不足道的。此外，如果X对象已初始化值。

2. 执行的初始化集X() = default;相当于X() {}, which 默认初始化 m_y. X() : m_y() {} 值初始化 m_y。取决于什么Y是的，这可以是不同的。例如，如果Y is int，那么默认初始化会将其保留为不确定值，而值初始化会将其设置为零。