显式默认构造函数有什么作用？

Question

考虑以下几点：

template <class T>
struct myclass
{
    using value_type = T;
    constexpr myclass() = default;
    constexpr myclass(const myclass& other) = default;
    constexpr myclass(const myclass&& other) = default;
    T value;
};

• 这些函数对于哪些构造函数是等价的？
• myclass<int> x; 是否初始化0 处的整数？
• 对于myclass<std::vector<int>> x;，默认的移动构造函数是做什么的？是否调用向量的移动构造函数？

Answer 1

它们不等同于任何函数体。三种情况之间存在细微但显着的差异：= default，允许隐式生成，以及最近的等效函数体。

以下链接有更详细的解释：

• Defaulted default constructor and destructor
• Defaulted move constructor

我找不到关于复制构造函数的好链接；但是，其他两个链接中提到的类似考虑也将适用。

---

myclass<int> x; 未将 value 设置为 0。

默认的移动构造函数（如果你将其设为非常量引用）会移动每个可移动成员（尽管我认为有一种特殊情况，如果存在不可移动的基类，就会发生奇怪的事情......）