隐式定义与显式声明默认/拷贝构造函数的区别及选择疑问

咱们来把这个问题拆成几个部分说清楚，毕竟C++里构造函数的这些细节确实容易搞混。

一、隐式定义 vs 显式=default的构造函数 #

首先得明确编译器生成隐式构造函数的规则：

• 默认构造函数：只有当你没有显式声明任何构造函数（包括默认、拷贝、移动构造等）时，编译器才会自动生成。比如你例子里的第二个road结构体，因为声明了移动构造函数，编译器不会再生成隐式的默认构造和拷贝构造。
• 拷贝构造函数：当你没有显式声明拷贝构造、移动构造、拷贝赋值、移动赋值、析构函数时，编译器才会生成隐式拷贝构造。

而显式写=default，相当于主动告诉编译器：“帮我生成这个构造函数的默认版本，哪怕我已经有其他构造函数了”。比如你第一个例子里的road结构体，虽然声明了移动构造，但因为显式写了road() = default;和road(const road&) = default;，编译器还是会生成符合规则的默认构造和拷贝构造。

简单说，=default是在你需要默认版本，但编译器因为规则不会自动生成的时候，手动“召回”编译器的默认实现；而隐式定义是编译器在满足条件时自动给你加上的。

二、=default版本 vs 手动实现的构造函数 #

默认构造函数的差异 #

你写的road::road(){}是一个空的自定义默认构造，和=default版本看起来效果差不多，但有两个关键区别：

1. 值初始化行为不同：如果用road r{};（值初始化），调用=default的默认构造时，编译器会对成员做值初始化（比如内置类型会被初始化为0）；但调用手动空构造时，因为是自定义构造函数，编译器只会执行构造函数内的代码（也就是啥都不做），成员依然是默认初始化（内置类型会是未定义值）。
2. 编译器优化潜力不同：=default版本编译器可以识别为“符合默认规则”，如果所有成员都是trivial类型（比如内置类型），会生成trivial默认构造，这时候可以做很多底层优化；而手动写的空构造会被视为自定义构造，编译器可能无法触发这类优化。

拷贝构造函数的差异 #

你手动实现的拷贝构造road::road(const road & c_road):id(c_road.id), type(c_road.type), nodes(c_road.nodes){}，看起来和=default版本效果一致，但：

1. 不会漏成员：如果后续给road新增成员，=default的拷贝构造会自动包含新成员的拷贝；但手动实现的版本很容易忘记更新，导致新成员被默认初始化而非拷贝，埋下bug。
2. 优化空间不同：=default的拷贝构造如果满足条件（成员都是trivial拷贝），会被编译器识别为trivial拷贝构造，这时候可以直接用memcpy完成拷贝，速度比手动调用成员拷贝快很多；而手动实现的拷贝构造哪怕代码和默认一致，编译器也可能不会把它当成trivial构造，无法做这个优化。

三、要不要显式声明=default？ #

分两种情况：

• 必须用=default的场景：当你已经声明了其他构造函数（比如移动构造），但还需要默认构造或拷贝构造时，必须显式写=default——因为这时候编译器不会自动生成隐式版本了。比如你例子里的第二个road结构体，如果你想写road r;创建对象，就必须加road() = default;，否则编译报错。
• 可选但推荐的场景：哪怕编译器会自动生成隐式构造函数，显式写=default也是很好的自我文档化——告诉后续读代码的人：“我就是要用默认版本，不是忘了写构造函数”，避免后续有人加了其他构造函数导致隐式版本消失，引发意外问题。

如果没有其他构造函数，隐式生成和=default的行为完全一致，选哪种都可以，但显式写更清晰。

四、速度与安全性差异 #

速度 #

• =default和隐式生成的构造函数，编译器能做的优化更多：比如trivial构造可以用内存复制代替逐个成员构造，速度明显更快；
• 手动实现的构造函数，哪怕逻辑和默认一致，也可能被编译器视为自定义逻辑，无法触发这些底层优化，性能会差一些。

安全性 #

• =default版本绝对不会漏初始化成员，完全遵循C++规则；
• 手动实现很容易犯错误：比如漏写成员拷贝、忘记初始化内置类型，导致未定义行为；另外，如果类里有指针成员（比如动态分配内存），手动写拷贝构造很容易写出浅拷贝，导致双重释放的bug，而隐式/=default的拷贝构造如果是trivial的话，也会有同样问题，但至少是规则内的行为，而手动写错就是人为bug。

另外，C++11及以后的规则：如果类有自定义析构函数，隐式拷贝构造会被删除，避免浅拷贝问题；但手动实现拷贝构造会绕过这个规则，容易出问题。

五、常见错误写法 #

1. 手动空构造漏初始化内置类型：

struct road{
    int length;
    road(){} // length未初始化，使用时会出现未定义行为
};

如果用road() = default;，虽然默认初始化时length也是未定义，但至少符合规则，若想值初始化可以用road r{};。

2. 手动拷贝构造漏写成员：

struct road{
    std::string id;
    std::string type;
    road(const road& other):id(other.id){} // 漏了type，type会被默认初始化，不是拷贝，逻辑错误
};

=default会自动处理所有成员，不会出现这种问题。

3. 没必要的手动实现：明明默认版本完全够用，却非要手动写构造函数，既浪费时间，又容易引入错误，还阻止编译器优化。

4. 错误使用=delete代替=default：比如想保留默认构造却写成road() = delete;，导致无法创建对象，或者反过来想禁用构造却写了=default。

内容的提问来源于stack exchange，提问作者Konstantinoscs