0

0

C++中的五法则(Rule of Five)是什么?(如何支持现代移动语义)

冰火之心

冰火之心

发布时间:2026-02-12 17:24:11

|

805人浏览过

|

来源于php中文网

原创

必须手动定义~myclass()当类持有裸指针、文件描述符或socket句柄等需显式释放的资源时,否则将导致内存泄漏或句柄耗尽;且一旦定义析构函数,就应整体审视五法则。

c++中的五法则(rule of five)是什么?(如何支持现代移动语义)

什么时候必须手动定义 ~MyClass()

当你类里持有裸指针、文件描述符、socket 句柄等需要显式释放的资源时,编译器自动生成的析构函数不会帮你关文件或 delete 内存,这时必须自己写 ~MyClass()。不写,大概率内存泄漏或句柄耗尽;写了但没配齐其他四法则,移动后原对象可能二次析构——比如 delete 同一块内存两次。

常见错误现象:double free or corruption、程序在 std::vector::push_back() 时崩溃、移动后访问野指针。

  • 典型场景:封装 char* 缓冲区、FILE*int fd
  • 只要析构函数不是空的(即做了资源清理),五法则就该被整体审视
  • 如果用 std::unique_ptrstd::shared_ptr 替代裸指针,析构函数可省,五法则自动退化为“零法则”

std::move() 不会触发移动构造,为什么?

因为移动构造函数本身没被声明或被隐式删除了。编译器只在“没有用户声明的拷贝/移动操作,且所有成员都可移动”时,才自动生成移动构造函数。一旦你写了拷贝构造、拷贝赋值、析构函数中的任意一个,移动操作就不再自动生成(C++11/14 行为)。

使用场景:想把临时对象高效转移进容器,结果发现还是调了拷贝构造,性能掉一截。

立即学习C++免费学习笔记(深入)”;

Baklib
Baklib

在线创建产品手册、知识库、帮助文档

下载
  • 检查是否误删了 MyClass(MyClass&&) 声明,或加了 = delete
  • 若声明了 MyClass(const MyClass&) 但没声明 MyClass(MyClass&&)std::move(x) 的结果类型虽是右值引用,却找不到匹配的构造函数,退而求其次调用拷贝构造
  • C++17 后部分场景有强制拷贝消除(RVO/NRVO),但不能依赖它替代正确的移动语义

移动赋值运算符里为什么要检查自赋值?

要,但仅当你的移动赋值不是“先清理再接管”模式时才真需要。标准写法 if (this != &other) { /* ... */ } 在移动语义中其实是冗余甚至有害的——移动操作本就预期源对象进入有效但未指定状态,自赋值本身合法且无害(比如 std::vector 的移动赋值允许自赋值)。

容易踩的坑:有人照搬拷贝赋值的自检逻辑,在移动赋值里清空 this 成员后再 move other,结果 this == &other 时把自己清空又试图从空状态 move,直接 UB。

  • 正确做法:移动赋值应无条件接管资源,然后把 other 置为安全空状态(如指针设为 nullptr
  • 自赋值检查只在“清理动作不可逆”时有意义(例如先 delete ptrptr = other.ptr),但这种写法本身已违背移动语义初衷
  • 更安全的惯用法:std::swap(*this, other); —— swap 天然支持自赋值,且简洁

为什么 default 关键字不能乱用?

因为 = default 生成的函数未必符合你的资源管理逻辑。比如你写了自定义析构函数,又对移动构造写 MyClass(MyClass&&) = default;,编译器会按成员逐个移动——但如果某个成员是 std::unique_ptr,它可移动;另一个是裸指针,它不可移动(默认行为是拷贝),此时 = default 会静默失败或调用拷贝,导致意外行为。

性能影响:= default 在类含不可移动成员时,可能让移动操作退化为深拷贝,且编译器不报错。

  • 只有当所有成员都满足移动语义要求时,= default 才真正“免费”且安全
  • 若类中有裸指针或 FILE*,别偷懒,老老实实写移动构造和移动赋值,把资源指针置 nullptr
  • static_assert(std::is_move_constructible_v<myclass>)</myclass> 在编译期验证,比运行时出错更早发现问题

移动语义不是加几个 && 就完事的。最常被忽略的是:移动后源对象的状态必须明确且安全,哪怕只是 ptr = nullptr 这一行。否则,析构函数里再碰一次那个指针,就是终点。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1550

2023.10.24

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

236

2024.02.23

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

127

2025.10.17

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

806

2023.08.22

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

542

2023.09.20

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

708

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

559

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

193

2025.08.29

c语言 数据类型
c语言 数据类型

本专题整合了c语言数据类型相关内容,阅读专题下面的文章了解更多详细内容。

1

2026.02.12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 9.3万人学习

C 教程
C 教程

共75课时 | 4.7万人学习

C++教程
C++教程

共115课时 | 17.4万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号