C++?內(nèi)存避坑指南之移動(dòng)語(yǔ)義和智能指針解決"深拷貝"與"內(nèi)存泄漏"的過(guò)程
1. 函數(shù)傳參
在 Java 中,當(dāng)我們把一個(gè)「對(duì)象」傳給函數(shù)時(shí),其實(shí)不需要思考太多:傳過(guò)去的是引用的拷貝,函數(shù)里修改的對(duì)象的內(nèi)容也會(huì)反應(yīng)到外面。
但在 C++ 中情況可能不太一樣,一般來(lái)說(shuō)我們有三個(gè)選擇:
1.1. 值傳遞 (Pass-by-Value):默認(rèn)的「深拷貝」
這是 C++ 和 Java 最大的直覺(jué)沖突點(diǎn)。在 C++ 中,如果沒(méi)有任何修飾符,編譯器會(huì)把整個(gè)對(duì)象完整地克隆一份。 我們看下面的例子:
#include <vector>
#include <iostream>
// 這里會(huì)觸發(fā) std::vector 的拷貝構(gòu)造函數(shù)
void modify(std::vector<int> v) {
v.push_back(999);
std::cout << "modify內(nèi)vector的長(zhǎng)度為: " << v.size() << std::endl;
// 函數(shù)結(jié)束,局部變量 v 被銷毀,999 也隨之消失
// 外部的 list 毫發(fā)無(wú)損
}
int main() {
// 假設(shè)這是一個(gè)包含 100 萬(wàn)個(gè)元素的列表
std::vector<int> bigList(1000000, 1);
// 調(diào)用時(shí)發(fā)生 Deep Copy,性能開(kāi)銷極大
modify(bigList);
std::cout << "main函數(shù)內(nèi)vector的長(zhǎng)度為: " << bigList.size() << std::endl;
return 0;
}運(yùn)行結(jié)果為:
modify內(nèi)vector的長(zhǎng)度為: 1000001
main函數(shù)內(nèi)vector的長(zhǎng)度為: 1000000
對(duì)比一下Java代碼:
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
public class Main {
// Java 總是按值傳遞,但對(duì)于對(duì)象,傳遞的是“引用的值”
public static void modify(List<Integer> v) {
v.add(999);
System.out.println("modify內(nèi)List的長(zhǎng)度為: " + v.size());
}
public static void main(String[] args) {
// 創(chuàng)建包含 100 萬(wàn)個(gè)元素的列表
List<Integer> bigList = new ArrayList<>(Collections.nCopies(1000000, 1));
// 這里傳遞的是引用,沒(méi)有深拷貝,性能開(kāi)銷極小
modify(bigList);
// 注意:這里的長(zhǎng)度會(huì)變成 1000001
System.out.println("main中List的長(zhǎng)度為: " + bigList.size());
}
}運(yùn)行結(jié)果為:
modify內(nèi)List的長(zhǎng)度為: 1000001
main中List的長(zhǎng)度為: 1000001
由此我們可以得出以下的結(jié)論:
- Java:函數(shù)調(diào)用時(shí)傳遞的是引用值。Java 永遠(yuǎn)不會(huì)隱式地把整個(gè)堆上的大對(duì)象復(fù)制一遍。
- C++:是“值語(yǔ)義”。函數(shù)里的
v是bigList的完全獨(dú)立副本。你在副本上做的任何修改,都不會(huì)影響本體。
1.2. C++的引用傳遞 (Pass-by-Reference):&
為了既能修改外部對(duì)象,又避免昂貴的拷貝,C++ 提供了 引用(Reference)。
在類型后面加一個(gè) &,變量就變成了外部對(duì)象的別名(Alias)。我們看下面的代碼:
#include <vector>
#include <iostream>
// 引用傳遞
void modify(std::vector<int>& v) {
v.push_back(999);
// 直接操作內(nèi)存中的同一份數(shù)據(jù)
std::cout << "modify內(nèi)vector的長(zhǎng)度為: " << v.size() << std::endl;
}
int main() {
std::vector<int> bigList(1000000, 1);
modify(bigList);
std::cout << "main函數(shù)內(nèi)vector的長(zhǎng)度為: " << bigList.size() << std::endl;
return 0;
}運(yùn)行結(jié)果為:
modify內(nèi)vector的長(zhǎng)度為: 1000001
main函數(shù)內(nèi)vector的長(zhǎng)度為: 1000001
特點(diǎn):
- 零拷貝:無(wú)論 List 有多大,這里只傳遞一個(gè)綁定的關(guān)系(底層通常是指針實(shí)現(xiàn))。
- 非空保證:引用必須綁定到一個(gè)存在的對(duì)象上,不存在
null引用。這比 Java 安全。 - 語(yǔ)法透明:在函數(shù)內(nèi)部,你不需要像指針那樣解引用,像操作普通變量一樣操作它即可。
1.3. 指針傳遞 (Pass-by-Pointer):經(jīng)典的“地址”傳遞*
這其實(shí)是最接近 Java 底層實(shí)現(xiàn)的方式。如果需要傳遞大對(duì)象,或者對(duì)象可能是空的(nullptr),我們就傳遞它的內(nèi)存地址。
#include <vector>
#include <iostream>
// 指針傳遞
void modify(std::vector<int>* v) {
// 判斷是否為空,防止 Crash
if (v != nullptr) {
// 語(yǔ)法變化:用 '->' 來(lái)訪問(wèn)成員
v->push_back(999);
std::cout << "modify內(nèi)vector的長(zhǎng)度為: " << v->size() << std::endl;
}
}
int main() {
std::vector<int> bigList(1000000, 1);
// 調(diào)用變化:必須顯式取出地址 (&) 傳進(jìn)去
modify(&bigList);
std::cout << "main函數(shù)內(nèi)vector的長(zhǎng)度為: " << bigList.size() << std::endl;
return 0;
}運(yùn)行結(jié)果為:
modify內(nèi)vector的長(zhǎng)度為: 1000001
main函數(shù)內(nèi)vector的長(zhǎng)度為: 1000001
- 對(duì)比 Java:Java 的引用其實(shí)就是“受限的指針”。
- Java:
modify(list)隱式傳遞了地址。 - C++:
modify(&list)顯式傳遞了地址。 - 使用場(chǎng)景:通常用于兼容 C 語(yǔ)言接口,或者當(dāng)參數(shù)是“可選的”(可以傳
nullptr表示忽略)時(shí)。
1.4. 三種方式對(duì)比總結(jié)

| 特性 | 值傳遞 (T) | 引用傳遞 (T&) | 指針傳遞 (T*) | Java (Object) |
|---|---|---|---|---|
| 內(nèi)存行為 | 深拷貝 (Deep Copy) | 零拷貝 (別名) | 零拷貝 (傳遞地址) | 淺拷貝 (復(fù)制引用) |
| 修改外部? | ? 不能 | ? 能 | ? 能 | ? 能 |
| 能否為 Null | ? 不涉及 | ? 不能 (必須綁定對(duì)象) | ? 能 (nullptr) | ? 能 |
| 語(yǔ)法復(fù)雜度 | 簡(jiǎn)單 | 簡(jiǎn)單 | 繁瑣 (*, &, ->) | 簡(jiǎn)單 |
| 適用場(chǎng)景 | int, bool 等小類型 | 首選方案 (非空對(duì)象) | 兼容 C | 默認(rèn)行為 |
2. 對(duì)象的生命周期:從手動(dòng)管理到 RAII 與移動(dòng)語(yǔ)義
在第一章我們看到:C++ 默認(rèn)的“值傳遞”會(huì)導(dǎo)致性能問(wèn)題(深拷貝),而“指針傳遞”雖然快,但會(huì)導(dǎo)致所有權(quán)模糊。
這一章我們深入探討如何既解決安全問(wèn)題(內(nèi)存泄漏),又解決性能問(wèn)題(拷貝開(kāi)銷)。
2.1. 痛點(diǎn):裸指針帶來(lái)的“內(nèi)存泄漏”危機(jī)
當(dāng)我們傳遞一個(gè)指針(或者從函數(shù)返回一個(gè)指針)時(shí),編譯器只負(fù)責(zé)傳遞地址。這就帶來(lái)了一個(gè)靈魂拷問(wèn):誰(shuí)負(fù)責(zé) delete 這個(gè)對(duì)象?
看下面這個(gè)看似正常的例子:
#include <iostream>
class Enemy {
public:
Enemy() { std::cout << "Enemy Created" << std::endl; }
~Enemy() { std::cout << "Enemy Destroyed" << std::endl; }
void attack() { std::cout << "Enemy attacks!" << std::endl; }
};
// 工廠函數(shù):在堆上創(chuàng)建一個(gè)對(duì)象,并返回指針
Enemy* createEnemy() {
// 危險(xiǎn)的源頭:new 出來(lái)的內(nèi)存,必須有人 delete
return new Enemy();
}
void gameLogic() {
// 獲取指針
Enemy* boss = createEnemy();
boss->attack();
// 假設(shè)這里有一段復(fù)雜的邏輯
if (true) {
std::cout << "Player died, game over early." << std::endl;
// 致命問(wèn)題:函數(shù)直接返回了,但 boss 指向的內(nèi)存沒(méi)釋放!
return;
}
// 只有代碼走到這里,內(nèi)存才會(huì)被釋放
delete boss;
}后果:只要你在 delete 之前寫了一個(gè) return,或者拋出了一個(gè)異常(Exception),這塊內(nèi)存就永遠(yuǎn)丟了。Java 程序員可能對(duì)此毫無(wú)感覺(jué) (JVM有GC機(jī)制),但在長(zhǎng)時(shí)間運(yùn)行的C++服務(wù)器程序(如數(shù)據(jù)庫(kù))中,這會(huì)導(dǎo)致內(nèi)存耗盡(OOM)并崩潰。

2.2. 解決方案:GC vs. RAII
為了解決這個(gè)問(wèn)題,Java 和 C++ 是走了兩條完全不同的路。
2.2.1. Java 的做法:垃圾回收 (GC)
Java 認(rèn)為:程序員不應(yīng)該操心內(nèi)存釋放,交給虛擬機(jī)(JVM)。
- 機(jī)制:JVM 運(yùn)行后臺(tái)線程,定期掃描,發(fā)現(xiàn)沒(méi)人引用的對(duì)象就回收。
- 代價(jià):不確定性(你不知道它什么時(shí)候回收)和 STW (Stop The World)(GC 工作時(shí)可能會(huì)暫停程序)。
2.2.2. C++ 的做法:RAII (資源獲取即初始化)
C++ 認(rèn)為:性能和確定性第一。我不要后臺(tái)線程,我要利用“棧”的特性來(lái)自動(dòng)管理堆內(nèi)存。
RAII (Resource Acquisition Is Initialization) 的核心原理是將堆內(nèi)存綁定到棧對(duì)象上:
- 棧對(duì)象的鐵律:棧對(duì)象(局部變量)一旦離開(kāi)它的作用域(即大括號(hào)
{}結(jié)束),編譯器一定會(huì)自動(dòng)調(diào)用它的析構(gòu)函數(shù)(Destructor)。無(wú)論是因?yàn)檎?zhí)行完、還是中間return了、還是拋異常了,必死無(wú)疑。 - RAII 的策略:
- 構(gòu)造時(shí):在構(gòu)造函數(shù)里
new內(nèi)存。 - 析構(gòu)時(shí):在析構(gòu)函數(shù)里
delete內(nèi)存。
看下面的代碼:我們寫一個(gè)包裝類 EnemyWrapper:
#include <iostream>
class Enemy {
public:
Enemy() { std::cout << "Enemy Created" << std::endl; }
~Enemy() { std::cout << "Enemy Destroyed" << std::endl; }
void attack() { std::cout << "Enemy attacks!" << std::endl; }
};
// 工廠函數(shù):在堆上創(chuàng)建一個(gè)對(duì)象,并返回指針
Enemy* createEnemy() {
// 危險(xiǎn)的源頭:new 出來(lái)的內(nèi)存,必須有人 delete
return new Enemy();
}
class EnemyWrapper {
private:
// 持有原始指針
Enemy* ptr;
public:
// 【構(gòu)造函數(shù)】:獲取資源
EnemyWrapper() {
ptr = new Enemy();
}
// 【析構(gòu)函數(shù)】:釋放資源 (這是 RAII 的靈魂)
~EnemyWrapper() {
if (ptr != nullptr) {
delete ptr; // 只要 Wrapper 被銷毀,ptr 指向的內(nèi)存必被釋放
std::cout << "Wrapper triggered delete!" << std::endl;
}
}
// 模擬指針操作
void attack() { ptr->attack(); }
};
void gameLogicSafe() {
// 這是一個(gè)棧對(duì)象
EnemyWrapper boss;
boss.attack();
if (true) {
std::cout << "Game over early." << std::endl;
// 即使這里 return,棧變量 boss 也會(huì)彈出
return;
// 編譯器自動(dòng)插入代碼:call boss.~EnemyWrapper() -> delete ptr
}
}
int main() {
gameLogicSafe();
return 0;
}運(yùn)行結(jié)果:
Enemy Created
Enemy attacks!
Game over early.
Enemy Destroyed
Wrapper triggered delete!
結(jié)論:不管你怎么寫邏輯,內(nèi)存永遠(yuǎn)不會(huì)泄漏。

2.3. RAII 的新問(wèn)題
現(xiàn)在 RAII 解決了內(nèi)存泄漏問(wèn)題。但是,當(dāng)我們想把這個(gè)對(duì)象傳遞出去(比如從函數(shù)返回)時(shí),就又有問(wèn)題了:
2.3.1. 方案 A:直接傳內(nèi)部指針(破壞封裝,回到解放前)
如果把 RAII 對(duì)象里的指針拿出來(lái)傳遞,那就不再受 RAII 保護(hù)了。我們看下面的代碼:
Enemy* getBoss() {
// 棧對(duì)象
EnemyWrapper wrapper;
// 極其危險(xiǎn)!
return wrapper.ptr;
} // 函數(shù)結(jié)束 -> wrapper 析構(gòu) -> wrapper.ptr 被 delete
void main() {
Enemy* p = getBoss();
// 崩潰!p 指向的內(nèi)存已經(jīng)被 wrapper 刪掉了(懸空指針)
p->attack();
}結(jié)論:絕對(duì)不能把 RAII 管理的裸指針泄露出去,否則 RAII 就白做了。
2.3.2. 方案 B:拷貝 RAII 對(duì)象(安全但極慢)
既然不能傳裸指針,那我們只能傳 EnemyWrapper 這個(gè)對(duì)象本身。在 C++11 之前,這意味著深拷貝。我們看下面的代碼:
#include <iostream>
// 模擬一個(gè)“昂貴”的資源
class Enemy {
public:
Enemy() { std::cout << " [堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)" << std::endl; }
~Enemy() { std::cout << " [堆資源] Enemy 被 delete 掉了" << std::endl; }
};
// RAII 包裝類
class EnemyWrapper {
private:
Enemy* ptr;
public:
// 【構(gòu)造函數(shù)】:獲取資源
EnemyWrapper() {
std::cout << "[Wrapper] 普通構(gòu)造" << std::endl;
ptr = new Enemy();
}
// 【析構(gòu)函數(shù)】:釋放資源
~EnemyWrapper() {
if (ptr != nullptr) {
delete ptr;
std::cout << "[Wrapper] 析構(gòu),釋放資源" << std::endl;
}
}
// ==========================================
// 【拷貝構(gòu)造函數(shù)】(Deep Copy) -> 性能瓶頸在這里!
// ==========================================
// 當(dāng)我們需要復(fù)制這個(gè)對(duì)象時(shí)(比如函數(shù)返回),必須調(diào)用這個(gè)函數(shù)
EnemyWrapper(const EnemyWrapper& other) {
std::cout << "[Wrapper] ?? 觸發(fā)深拷貝!必須分配新內(nèi)存..." << std::endl;
// 笨重的深拷貝:
// A. 必須 new 一個(gè)新的 Enemy (不能共用指針,否則會(huì) double free)
ptr = new Enemy();
// B. (如果有數(shù)據(jù)) 還要把 other.ptr 里的數(shù)據(jù)復(fù)制過(guò)來(lái)
// *ptr = *(other.ptr);
}
};
// 觸發(fā)拷貝的函數(shù)
EnemyWrapper createBoss() {
std::cout << "--- 進(jìn)入函數(shù) ---" << std::endl;
// Step 1: temp 創(chuàng)建,new Enemy (地址 A)
EnemyWrapper temp;
std::cout << "--- 準(zhǔn)備返回 ---" << std::endl;
// Step 2: return 時(shí),因?yàn)橐獋髦到o外面,必須【拷貝】temp
// 這意味著:調(diào)用拷貝構(gòu)造函數(shù) -> new Enemy (地址 B) -> 復(fù)制數(shù)據(jù)
return temp;
// Step 3: 函數(shù)結(jié)束,temp 離開(kāi)作用域,delete A
// (結(jié)果:我們?yōu)榱说玫?B,申請(qǐng)了 A,復(fù)制給 B,然后刪了 A。A 只是個(gè)中間商。)
}
int main() {
std::cout << "=== 演示開(kāi)始 ===" << std::endl;
EnemyWrapper boss = createBoss();
std::cout << "=== 演示結(jié)束 ===" << std::endl;
return 0;
}注意,運(yùn)行上面的代碼需要關(guān)閉RVO(返回值優(yōu)化),需要在編譯命令上加-fno-elide-constructors參數(shù),例如:g++ example.cpp -fno-elide-constructors -o example。
所謂的RVO正現(xiàn)代 C++ 編譯器最“聰明”的地方之一,本來(lái)按照 C++ 的語(yǔ)法規(guī)則:
createBoss里創(chuàng)建temp。return時(shí),應(yīng)該把temp拷貝 給main里的boss。- 銷毀
temp。
但是編譯器覺(jué)得這樣太蠢了,所以它“作弊”了:
它根本沒(méi)有在 createBoss 里創(chuàng)建 temp,而是直接在 main 函數(shù)里 boss 的內(nèi)存地址上執(zhí)行了構(gòu)造函數(shù)。
結(jié)果就是:0 次拷貝,0 次移動(dòng),直接構(gòu)造。
雖然編譯器能優(yōu)化 return,但也存很多在編譯器無(wú)法優(yōu)化的場(chǎng)景(比如 vector.push_back 或者復(fù)雜的賦值)。
上述例子禁用優(yōu)化之后的運(yùn)行結(jié)果為:
=== 演示開(kāi)始 ===
--- 進(jìn)入函數(shù) ---
[Wrapper] 普通構(gòu)造
[堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)
--- 準(zhǔn)備返回 ---
[Wrapper] ?? 觸發(fā)深拷貝!必須分配新內(nèi)存...
[堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)
[堆資源] Enemy 被 delete 掉了
[Wrapper] 析構(gòu),釋放資源
=== 演示結(jié)束 ===
[堆資源] Enemy 被 delete 掉了
[Wrapper] 析構(gòu),釋放資源
這里的痛點(diǎn):
我們陷入了死循環(huán):
- 想快?用指針 -> 不安全(內(nèi)存泄漏或懸空指針)。
- 想安全?用 RAII -> 慢(必須深拷貝,因?yàn)椴荒茏寖蓚€(gè) RAII 對(duì)象同時(shí)擁有同一個(gè)指針,否則會(huì) double free)。
我們需要一種機(jī)制:既能保留 RAII 的殼子(安全),又能像指針一樣只傳遞地址(快)。

2.4. 什么是右值 (Rvalue)?
為了打破這個(gè)僵局,C++11 引入了 右值引用 (&&)。但首先,我們要搞清楚什么是“右值”。
作為開(kāi)發(fā)者,不需要背誦復(fù)雜的定義,只需要掌握一個(gè)黃金法則:
能對(duì)它取地址 (
&) 的,就是左值 (Lvalue)。
不能對(duì)它取地址的,就是右值 (Rvalue)。
2.4.1. 誰(shuí)是左值?誰(shuí)是右值?
我們通過(guò)幾行簡(jiǎn)單的代碼來(lái)分辨:
int a = 10;
a是左值:- 為什么? 因?yàn)槟憧梢詫?
&a,能拿到它的內(nèi)存地址。它在棧上有一個(gè)固定的家。 - 生命周期:持久,直到大括號(hào)
}結(jié)束。 10是右值:- 為什么? 它是字面量。你試著寫
int* p = &10;,編譯器會(huì)直接報(bào)錯(cuò)。它沒(méi)有地址,它只是代碼里的一個(gè)數(shù)字。
2.4.2. 隱藏的右值(臨時(shí)對(duì)象)
對(duì)于對(duì)象來(lái)說(shuō),右值往往是一個(gè)“無(wú)名無(wú)姓的幽靈對(duì)象”。這是最容易被忽視的場(chǎng)景。
EnemyWrapper getBoss() {
// 返回一個(gè)新創(chuàng)建的對(duì)象
return EnemyWrapper();
}
void main() {
EnemyWrapper boss = getBoss();
}問(wèn)題:getBoss() 執(zhí)行完的那一瞬間,發(fā)生了什么?
- 函數(shù)內(nèi)部創(chuàng)建了一個(gè)
EnemyWrapper對(duì)象。 - 函數(shù)返回時(shí),這個(gè)對(duì)象被扔了出來(lái)。
- 在它被賦值給變量
boss之前,它漂浮在虛空中。
這個(gè)漂浮在虛空中的對(duì)象,就是 右值。
- 特征:它存在,占用了內(nèi)存,但沒(méi)有名字。
- 命運(yùn):它馬上就要死了。一旦賦值語(yǔ)句結(jié)束,這個(gè)臨時(shí)對(duì)象就會(huì)析構(gòu)。
2.4.3.std::move()到底做了什么?
你經(jīng)常會(huì)看到 std::move(x)。很多人誤以為它會(huì)移動(dòng)數(shù)據(jù),其實(shí)它什么都沒(méi)移動(dòng)。它的作用只有一個(gè):身份欺詐。
// a 是左值,活得好好的 EnemyWrapper a; // 強(qiáng)行把 a 標(biāo)記為右值 EnemyWrapper b = std::move(a);
a本來(lái)是左值。std::move(a)相當(dāng)于給a貼了個(gè)條子:“這輛車我不想要了,當(dāng)廢品處理”。- 于是,
a被強(qiáng)制轉(zhuǎn)換成了 右值。 b看到這個(gè)條子,就會(huì)認(rèn)為a是個(gè)將死之物,從而直接“偷走”它的資源。

2.5. 終極方案:移動(dòng)語(yǔ)義 (Move Semantics)
既然我們能識(shí)別出右值(將死之物),我們就可以利用這一點(diǎn)來(lái)優(yōu)化 RAII。
我們?cè)?EnemyWrapper 里加一個(gè)特殊的構(gòu)造函數(shù)——移動(dòng)構(gòu)造函數(shù)。它專門接收右值引用 (&&)。
移動(dòng)的本質(zhì)就是:合法的竊取。
#include <iostream>
// 模擬一個(gè)“昂貴”的資源
class Enemy {
public:
Enemy() { std::cout << " [堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)" << std::endl; }
~Enemy() { std::cout << " [堆資源] Enemy 被 delete 掉了" << std::endl; }
};
// RAII 包裝類
class EnemyWrapper {
private:
Enemy* ptr;
public:
// 【構(gòu)造函數(shù)】:獲取資源
EnemyWrapper() {
std::cout << "[Wrapper] 普通構(gòu)造" << std::endl;
ptr = new Enemy();
}
// 【析構(gòu)函數(shù)】:釋放資源
~EnemyWrapper() {
if (ptr != nullptr) {
delete ptr;
std::cout << "[Wrapper] 析構(gòu),釋放資源" << std::endl;
}
}
// ==========================================
// 【拷貝構(gòu)造函數(shù)】(Deep Copy) -> 性能瓶頸在這里!
// ==========================================
// 當(dāng)我們需要復(fù)制這個(gè)對(duì)象時(shí)(比如函數(shù)返回),必須調(diào)用這個(gè)函數(shù)
EnemyWrapper(const EnemyWrapper& other) {
std::cout << "[Wrapper] ?? 觸發(fā)深拷貝!必須分配新內(nèi)存..." << std::endl;
// 笨重的深拷貝:
// A. 必須 new 一個(gè)新的 Enemy (不能共用指針,否則會(huì) double free)
ptr = new Enemy();
// B. (如果有數(shù)據(jù)) 還要把 other.ptr 里的數(shù)據(jù)復(fù)制過(guò)來(lái)
// *ptr = *(other.ptr);
}
// 【移動(dòng)構(gòu)造】(Move) - C++11 的新方案
// 參數(shù)是 &&,表示對(duì)方是“將死之物”
EnemyWrapper(EnemyWrapper&& other) noexcept {
// 1. 偷梁換柱:把對(duì)方的指針拿過(guò)來(lái)
this->ptr = other.ptr;
// 2. 毀滅證據(jù):把對(duì)方的指針設(shè)為 nullptr
// 這一步至關(guān)重要!
// 當(dāng) other 析構(gòu)時(shí),它會(huì) delete nullptr (什么也不做)
// 從而避免了資源被誤刪
other.ptr = nullptr;
std::cout << "Move: Ownership transferred!" << std::endl;
}
};
// 觸發(fā)移動(dòng)構(gòu)造函數(shù)
EnemyWrapper createBoss() {
// 這一行代碼做了兩件事:
// 1. 在【棧】上分配了 EnemyWrapper 這個(gè)殼子的內(nèi)存(非??欤恍枰?new)
// 2. 自動(dòng)調(diào)用了它的構(gòu)造函數(shù)
EnemyWrapper temp;
// temp 是局部變量,返回時(shí)被視為右值
return temp;
}
int main() {
// 1. createBoss 返回臨時(shí)對(duì)象(右值)
// 2. 觸發(fā)【移動(dòng)構(gòu)造函數(shù)】
// 3. main 里的 boss 直接接管了 temp 里的指針
// 4. temp 變成空殼被銷毀
EnemyWrapper boss = createBoss();
// 結(jié)果:
// - 沒(méi)有發(fā)生 Deep Copy (省了 new/copy)
// - 沒(méi)有傳遞裸指針 (全程都在 RAII 包裝下,非常安全)
}運(yùn)行結(jié)果:
[Wrapper] 普通構(gòu)造
[堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)
Move: Ownership transferred!
[堆資源] Enemy 被 delete 掉了
[Wrapper] 析構(gòu),釋放資源
可以看到,現(xiàn)在沒(méi)有深拷貝操作了。但看到這里,可能大家還有有幾個(gè)問(wèn)題:
2.5.1 問(wèn)題 1:為什么不能在拷貝構(gòu)造函數(shù)中“掠奪”資源?
你可能會(huì)想:“能不能別搞什么移動(dòng)構(gòu)造函數(shù)了,直接改寫拷貝構(gòu)造函數(shù),把 const 去掉,然后在里面偷指針?”
答案是:語(yǔ)法上行得通,但在邏輯上是“災(zāi)難”。
2.5.1.1. 理由 A:契約精神 (語(yǔ)義混淆)
在編程世界里,“拷貝 (Copy)”這個(gè)詞是有明確定義的:制作副本,原件不受影響。
如果我寫 b = a;,按照人類的直覺(jué),a 應(yīng)該還在那里,完好無(wú)損。
如果你在拷貝函數(shù)里搞“掠奪”,就會(huì)出現(xiàn)這種恐怖場(chǎng)景:
// 假設(shè)這是“魔改版”的拷貝構(gòu)造函數(shù) (沒(méi)有 const)
EnemyWrapper(EnemyWrapper& other) {
this->ptr = other.ptr;
other.ptr = nullptr; // 偷偷把原件毀了!
}
void logicalDisaster() {
EnemyWrapper a; // a 有資源
// 我只想做一個(gè)備份
EnemyWrapper b = a;
// 災(zāi)難發(fā)生:a 變成空殼了!
// 后面的代碼如果繼續(xù)用 a,程序直接崩潰。
a.attack(); // Crash!
}結(jié)論:如果拷貝會(huì)破壞原件,那就不能叫“拷貝”,那叫“搶劫”。程序員無(wú)法通過(guò)代碼一眼看出 b = a 到底安全不安全。為了區(qū)分“復(fù)制”和“轉(zhuǎn)移”,我們需要兩個(gè)不同的函數(shù)。
2.5.1.2. 理由 B:語(yǔ)法限制 (Const Correctness)
標(biāo)準(zhǔn)的拷貝構(gòu)造函數(shù)簽名是 const EnemyWrapper& other。
- 那個(gè)
const是鐵律。它向調(diào)用者保證:“你放心傳給我,我絕不動(dòng)你的一根毫毛”。 - 因?yàn)橛?
const,編譯器禁止你寫other.ptr = nullptr;。 - 如果你強(qiáng)行去掉
const,它就無(wú)法接受臨時(shí)對(duì)象(因?yàn)榕R時(shí)對(duì)象通常綁定到 const 引用),導(dǎo)致通用性大打折扣。
2.5.2 問(wèn)題 2:編譯器是如何區(qū)分調(diào)用“拷貝”還是“移動(dòng)”的?
這是一個(gè)非常精彩的“函數(shù)重載決議” (Overload Resolution) 過(guò)程。
編譯器并不是通過(guò)“猜”你的意圖來(lái)決定的,它是通過(guò)參數(shù)類型匹配來(lái)決定的。
2.5.2.1. 兩個(gè)函數(shù)的簽名對(duì)比
- 拷貝構(gòu)造:
EnemyWrapper(const EnemyWrapper&)-> 接收 左值 (和右值,作為備胎)。 - 移動(dòng)構(gòu)造:
EnemyWrapper(EnemyWrapper&&)-> 專門接收 右值。
2.5.2.2.createBoss里的決策過(guò)程
當(dāng)你在 return temp; 時(shí)(假設(shè) RVO 被禁用,必須發(fā)生傳遞):
- 判定
temp的狀態(tài):
雖然temp在函數(shù)里定義時(shí)是個(gè)左值,但因?yàn)樗R上要被 return 了,即將銷毀,C++ 編譯器會(huì)自動(dòng)把它視為 xvalue (將亡值),也就是一種右值。 - 開(kāi)始匹配構(gòu)造函數(shù):
編譯器看著main函數(shù)里正在等待接收的boss對(duì)象,問(wèn):“我手里有一個(gè)右值,我該調(diào)用哪個(gè)構(gòu)造函數(shù)來(lái)初始化boss?”
- 選手 A (拷貝):我要
const &??梢越邮沼抑祮??可以(const 引用能接萬(wàn)物),但只是“兼容”。 - 選手 B (移動(dòng)):我要
&&??梢越邮沼抑祮??完美匹配!
- 擇優(yōu)錄取:
編譯器發(fā)現(xiàn)選手 B 是精確匹配 (Exact Match),所以毫不猶豫地選擇了移動(dòng)構(gòu)造函數(shù)。
2.5.2.3. 只有拷貝構(gòu)造函數(shù)時(shí)會(huì)怎樣?
如果你沒(méi)寫移動(dòng)構(gòu)造函數(shù)(C++98 的情況):
- 編譯器手里拿著右值,發(fā)現(xiàn)沒(méi)有
&&的構(gòu)造函數(shù)。 - 它會(huì)退而求其次,發(fā)現(xiàn)
const &(拷貝構(gòu)造)也能接收右值。 - 于是含淚調(diào)用了拷貝構(gòu)造函數(shù)(深拷貝)。
2.5.3. 總結(jié)
| 場(chǎng)景 | 傳遞給構(gòu)造函數(shù)的參數(shù) | 優(yōu)先匹配 | 備選匹配 | 結(jié)果 |
|---|---|---|---|---|
EnemyWrapper b = a; | 左值 (a 還要接著用) | (const T&) 拷貝 | 無(wú) | 深拷貝 |
return temp; | 右值 (temp 馬上死) | (T&&) 移動(dòng) | (const T&) 拷貝 | 移動(dòng) (偷) |
b = std::move(a); | 右值 (強(qiáng)轉(zhuǎn)的) | (T&&) 移動(dòng) | (const T&) 拷貝 | 移動(dòng) (偷) |
一句話總結(jié):編譯器看“參數(shù)類型”。如果是“將死之物(右值)”,優(yōu)先匹配 && 版(移動(dòng));如果是“普通對(duì)象(左值)”,只能匹配 const & 版(拷貝)。

2.6. 避坑指南:return時(shí)千萬(wàn)別用move
那在 createBoss 函數(shù)里,需要寫 return std::move(temp); 嗎?
答案是:不要!
EnemyWrapper createBoss() {
EnemyWrapper temp;
// 正確寫法:編譯器會(huì)自動(dòng)優(yōu)化 (RVO)
// 編譯器會(huì)直接在外部變量的內(nèi)存地址上構(gòu)造 temp,連“移動(dòng)”都不需要做!
// 成本 = 0
return temp;
// 錯(cuò)誤寫法:畫蛇添足
// return std::move(temp);
// 這會(huì)強(qiáng)行打斷編譯器的 RVO 優(yōu)化,強(qiáng)制執(zhí)行一次“移動(dòng)構(gòu)造”。
// 成本 > 0 (雖然也很低,但是屬于“負(fù)優(yōu)化”)
}那 std::move 到底用在哪里?
用在你需要顯式轉(zhuǎn)移一個(gè)左值的所有權(quán)時(shí):
int main() {
// 1. RVO 自動(dòng)優(yōu)化,這里沒(méi)有拷貝,也沒(méi)有移動(dòng)
EnemyWrapper boss1 = createBoss();
// 2. 假設(shè)你想把 boss1 轉(zhuǎn)給 boss2
// EnemyWrapper boss2 = boss1; // 編譯報(bào)錯(cuò)(假設(shè)禁用了拷貝)或深拷貝(慢)
// 3. 這里必須用 std::move!
// 因?yàn)?boss1 是個(gè)活著的左值,編譯器不敢自動(dòng)動(dòng)它。
// 你必須手動(dòng)簽署“放棄所有權(quán)書”。
EnemyWrapper boss2 = std::move(boss1);
// 此刻:boss2 拿到了指針,boss1 變成了空殼。
}2.7. 移動(dòng)語(yǔ)義的本質(zhì):所有權(quán)轉(zhuǎn)移 (Ownership Transfer)
很多從 Java/Python 轉(zhuǎn)過(guò)來(lái)的開(kāi)發(fā)者,在理解“移動(dòng)”時(shí)容易陷入誤區(qū),認(rèn)為數(shù)據(jù)真的在內(nèi)存里“搬家”了。
移動(dòng)語(yǔ)義的本質(zhì),并不是移動(dòng)數(shù)據(jù),而是“所有權(quán)的交接”。
2.7.1. 核心思想:唯一責(zé)任制 (Sole Ownership)
在 Java 中,對(duì)象的所有權(quán)是共享的(Shared)。
- 你有一個(gè)
List,傳給函數(shù) A,傳給函數(shù) B,大家都拿著引用的副本。 - 誰(shuí)負(fù)責(zé)銷毀它?誰(shuí)都不負(fù)責(zé)。GC 負(fù)責(zé)。
- 這種模式很省心,但在資源敏感(如文件句柄、網(wǎng)絡(luò)連接、互斥鎖)或高性能場(chǎng)景下,會(huì)導(dǎo)致資源釋放的不可控。
在現(xiàn)代 C++(RAII + Move)中,我們強(qiáng)調(diào)獨(dú)占所有權(quán)(Exclusive Ownership)。
- 原則:對(duì)于某一塊堆內(nèi)存資源,在任何時(shí)刻,只能有一個(gè)對(duì)象對(duì)它負(fù)責(zé)。
- 推論:既然只有一個(gè)主人,那么當(dāng)這個(gè)主人被銷毀時(shí),資源必須被銷毀。
2.7.2. 移動(dòng)的物理動(dòng)作:淺拷貝 + 抹除原主 (Shallow Copy + Nullify)
既然資源只能有一個(gè)主人,那么當(dāng)我們需要把資源傳給別人時(shí),就不能是“分享”(Copy),只能是“過(guò)戶”(Move)。
移動(dòng)語(yǔ)義在匯編層面的本質(zhì)只有兩步:
- 竊取指針(Shallow Copy):
- 新主人(
dest)把舊主人(src)手里的指針值(地址)復(fù)制過(guò)來(lái)。 - 此刻,兩個(gè)人都指向了同一個(gè)資源(危險(xiǎn)狀態(tài)?。?/li>
- 抹除舊主(Nullify):
- 最關(guān)鍵的一步:把舊主人(
src)手里的指針設(shè)為nullptr。 - 結(jié)果,舊主人失去了對(duì)資源的控制權(quán),變成了空殼。
2.7.3. 現(xiàn)實(shí)世界的類比
為了理解“拷貝”和“移動(dòng)”的區(qū)別,我們可以用 “房產(chǎn)證” 做比喻:
- 資源(Resource):房子(不動(dòng)產(chǎn),很貴,搬不動(dòng))。
- 指針(Pointer):房產(chǎn)證(一張紙,很輕)。
場(chǎng)景 A:深拷貝 (Deep Copy) —— C++98 的做法
- 操作:你想把房子給你的兒子。
- C++98:你必須在隔壁蓋一棟一模一樣的新房子(
new),然后把新房子的房產(chǎn)證給兒子。 - 代價(jià):極度浪費(fèi)錢和時(shí)間。
場(chǎng)景 B:移動(dòng)語(yǔ)義 (Move Semantics) —— C++11 的做法
- 操作:你想把房子給你的兒子。
- C++11:你把手里的房產(chǎn)證直接交給兒子,然后把你自己的名字從房管局注銷。
- 代價(jià):房子根本沒(méi)動(dòng),只是持有人變了。
2.7.4. 為什么說(shuō)這是“所有權(quán)”的體現(xiàn)?
回到我們之前的 EnemyWrapper 代碼:
EnemyWrapper(EnemyWrapper&& other) noexcept {
// 1. 接過(guò)房產(chǎn)證
this->ptr = other.ptr;
// 2. 原主注銷,從此這房子和你無(wú)關(guān)了
other.ptr = nullptr;
}這里體現(xiàn)了 C++ 最硬核的契約精神:
"我移動(dòng)了你,你就不再擁有它。后續(xù)的清理工作由我負(fù)責(zé),你只需安靜地離開(kāi)。"
這解決了 C++ 長(zhǎng)期以來(lái)的“雙重釋放” (Double Free) 問(wèn)題:因?yàn)樵髯兂闪?nullptr,它的析構(gòu)函數(shù) delete nullptr 不會(huì)產(chǎn)生任何副作用。
2.8. 總結(jié)
- 裸指針:雖快,但無(wú)法保證內(nèi)存一定會(huì)釋放(容易泄漏)。
- RAII:通過(guò)包裝類保證了內(nèi)存一定釋放,但在 C++98 中,為了保證安全(防止多次釋放),傳遞對(duì)象時(shí)必須進(jìn)行深拷貝,導(dǎo)致性能低下。
- 右值 (Rvalue):指那些沒(méi)有名字、即將銷毀的臨時(shí)對(duì)象(不能取地址)。
- 移動(dòng)語(yǔ)義 (Move):是完美的折中方案。它允許 RAII 對(duì)象在“交接班”時(shí),通過(guò)識(shí)別右值,直接把內(nèi)部的指針?biāo)袡?quán)轉(zhuǎn)移給對(duì)方,既保留了 RAII 的外殼(安全),又只傳遞了指針(高效)。
3. 智能指針與 Java GC
在前兩章節(jié)中,我們已經(jīng)掌握了 RAII(利用棧管理堆) 和 移動(dòng)語(yǔ)義(所有權(quán)轉(zhuǎn)移)。如果仔細(xì)觀察,會(huì)發(fā)現(xiàn)我們手寫的 EnemyWrapper 其實(shí)就是一個(gè)簡(jiǎn)陋的“智能指針”。
C++ 標(biāo)準(zhǔn)庫(kù)把這種模式標(biāo)準(zhǔn)化了,提供了三個(gè)現(xiàn)成的工具,統(tǒng)稱為 智能指針 (Smart Pointers)。它們徹底終結(jié)了手動(dòng)寫 delete 的歷史。
3.1. 什么是智能指針?
智能指針不是指針,它是一個(gè) C++ 類(Class)。
- 它在棧上(像個(gè)普通變量)。
- 它里面藏著一個(gè)裸指針(指向堆)。
- 它利用 RAII,在析構(gòu)函數(shù)里自動(dòng)
delete那個(gè)裸指針。 - 它重載了
*和->運(yùn)算符,讓你用起來(lái)感覺(jué)像個(gè)指針。
C++ 提供了三種智能指針,分別對(duì)應(yīng)三種所有權(quán)模式:
std::unique_ptr:你是我的唯一(獨(dú)占所有權(quán))。std::shared_ptr:我們共享它(共享所有權(quán))。std::weak_ptr:我就靜靜地看著你(弱引用,不增加計(jì)數(shù))。
3.2.std::unique_ptr(獨(dú)占)
這是 C++ 中最推薦、最常用的智能指針。90% 的場(chǎng)景都應(yīng)該用它。
3.2.1. 核心特性
- 獨(dú)占性:同一時(shí)間,只能有一個(gè)
unique_ptr指向那個(gè)對(duì)象。 - 不可拷貝:你不能復(fù)制它(否則會(huì)有兩個(gè)主人,這就是我們之前手動(dòng)禁用的拷貝構(gòu)造)。
- 可移動(dòng):你可以把所有權(quán)移交給別人(利用移動(dòng)語(yǔ)義)。
- 零開(kāi)銷:它的性能和裸指針完全一樣。它只是多了一層編譯期的檢查,運(yùn)行時(shí)沒(méi)有任何額外負(fù)擔(dān)。
3.2.2. 代碼示例
#include <iostream>
#include <memory> // 必須包含這個(gè)頭文件
// 模擬一個(gè)“昂貴”的資源
class Enemy {
public:
Enemy() { std::cout << " [堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)" << std::endl; }
~Enemy() { std::cout << " [堆資源] Enemy 被 delete 掉了" << std::endl; }
void attack() { std::cout << "Enemy attacks!" << std::endl; }
};
void uniqueDemo() {
// 1. 創(chuàng)建 (推薦用 make_unique,不要直接 new)
std::unique_ptr<Enemy> boss = std::make_unique<Enemy>();
boss->attack(); // 用起來(lái)像指針
// 2. 禁止拷貝!
// std::unique_ptr<Enemy> boss2 = boss; // ? 編譯報(bào)錯(cuò)!
// 3. 可以移動(dòng)!
// 這里的 move 就像我們?cè)?Part 2 學(xué)的那樣,把所有權(quán)轉(zhuǎn)給 p2
std::unique_ptr<Enemy> boss2 = std::move(boss);
// 此時(shí):
// boss 變成了 nullptr (空)
// boss2 擁有了對(duì)象
} // 函數(shù)結(jié)束 -> boss2 析構(gòu) -> 自動(dòng) delete Enemy
int main() {
uniqueDemo();
return 0;
}運(yùn)行結(jié)果如下:
[堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)
Enemy attacks!
[堆資源] Enemy 被 delete 掉了

3.3.std::shared_ptr(共享)
這貨看起來(lái)最像 Java 的引用。它允許多個(gè)指針指向同一個(gè)對(duì)象。
3.3.1. 核心特性
- 引用計(jì)數(shù) (Reference Counting):它內(nèi)部維護(hù)一個(gè)計(jì)數(shù)器。
- 每多一個(gè)人指向它,計(jì)數(shù) +1。
- 每有一個(gè)人銷毀或不再指向它,計(jì)數(shù) -1。
- 當(dāng)計(jì)數(shù)變成 0 時(shí),自動(dòng)
delete對(duì)象。 - 有開(kāi)銷:為了維護(hù)這個(gè)計(jì)數(shù)器(而且要保證多線程安全),它比
unique_ptr慢一點(diǎn)點(diǎn),內(nèi)存也多一點(diǎn)(因?yàn)橐嬗?jì)數(shù)器)。
3.3.2. 代碼示例
#include <iostream>
#include <memory> // 必須包含這個(gè)頭文件
// 模擬一個(gè)“昂貴”的資源
class Enemy {
public:
Enemy() { std::cout << " [堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)" << std::endl; }
~Enemy() { std::cout << " [堆資源] Enemy 被 delete 掉了" << std::endl; }
void attack() { std::cout << "Enemy attacks!" << std::endl; }
};
void sharedDemo() {
// 1. 創(chuàng)建 (引用計(jì)數(shù) = 1)
std::shared_ptr<Enemy> p1 = std::make_shared<Enemy>();
{
// 2. 拷貝 (引用計(jì)數(shù) = 2)
// 注意:這里是可以直接 "=" 賦值的,因?yàn)樗枪蚕淼?
std::shared_ptr<Enemy> p2 = p1;
p2->attack();
std::cout << "當(dāng)前引用數(shù): " << p1.use_count() << std::endl; // 輸出 2
}
// p2 離開(kāi)作用域,引用計(jì)數(shù) -1 (變回 1)。對(duì)象還活著!
p1->attack();
} // 函數(shù)結(jié)束,p1 離開(kāi),引用計(jì)數(shù) -1 (變成 0) -> delete Enemy
int main() {
sharedDemo();
return 0;
}運(yùn)行結(jié)果如下:
[堆資源] Enemy 被 new 出來(lái)了 (耗時(shí)操作...)
Enemy attacks!
當(dāng)前引用數(shù): 2
Enemy attacks!
[堆資源] Enemy 被 delete 掉了
3.4. C++ shared_ptr vs Java GC
這是面試和架構(gòu)設(shè)計(jì)中的核心考點(diǎn)。C++ 的 shared_ptr 和 Java 的引用看起來(lái)很像,但底層邏輯完全不同。
3.4.1. 機(jī)制對(duì)比:引用計(jì)數(shù) vs 可達(dá)性分析
| 特性 | C++ (shared_ptr) | Java (Garbage Collection) |
|---|---|---|
| 核心算法 | 引用計(jì)數(shù) (Reference Counting) | 可達(dá)性分析 (Tracing / Reachability) |
| 判定死亡 | 只要計(jì)數(shù)器歸零,立刻死亡。 | 從 GC Roots (如棧變量) 出發(fā),找不到的對(duì)象才算死。 |
| 釋放時(shí)機(jī) | 確定性 (Deterministic)。最后一個(gè)指針銷毀的那一瞬間,對(duì)象必死。 | 不確定性???GC 心情,可能幾秒后,可能內(nèi)存不夠時(shí)。 |
| 性能開(kāi)銷 | 平攤。每次賦值都有微小的原子操作開(kāi)銷。 | 集中。平時(shí)很快,但 GC 運(yùn)行時(shí)可能導(dǎo)致 "Stop The World" (卡頓)。 |
| 循環(huán)引用 | 無(wú)法處理。A 指向 B,B 指向 A,兩人計(jì)數(shù)都是 1,永遠(yuǎn)不歸零 -> 內(nèi)存泄漏。 | 完美處理。GC 發(fā)現(xiàn)這倆貨雖然互相指,但外面沒(méi)人指它們,直接一鍋端。 |
3.4.2. 場(chǎng)景演示:循環(huán)引用 (C++ 的阿喀琉斯之踵)
這是 C++ shared_ptr 最大的坑。
#include <iostream>
#include <memory>
// 前置聲明:因?yàn)?A 里面要用 B,B 里面要用 A,必須先告訴編譯器 B 是個(gè)類
class B;
class A {
public:
// A 持有 B 的強(qiáng)引用 (shared_ptr)
std::shared_ptr<B> ptrB;
A() { std::cout << "A Created (構(gòu)造)" << std::endl; }
~A() { std::cout << "A Destroyed (析構(gòu)) <--- 如果看到這句話,說(shuō)明沒(méi)泄露" << std::endl; }
};
class B {
public:
// B 持有 A 的強(qiáng)引用 (shared_ptr) -> 導(dǎo)致死鎖
std::shared_ptr<A> ptrA;
B() { std::cout << "B Created (構(gòu)造)" << std::endl; }
~B() { std::cout << "B Destroyed (析構(gòu)) <--- 如果看到這句話,說(shuō)明沒(méi)泄露" << std::endl; }
};
int main() {
std::cout << "=== 進(jìn)入作用域 ===" << std::endl;
{
// 1. 創(chuàng)建對(duì)象
// 此時(shí) A 的計(jì)數(shù) = 1 (只有變量 a 指向它)
// 此時(shí) B 的計(jì)數(shù) = 1 (只有變量 b 指向它)
std::shared_ptr<A> a = std::make_shared<A>();
std::shared_ptr<B> b = std::make_shared<B>();
std::cout << "1. 初始引用計(jì)數(shù):" << std::endl;
std::cout << " A counts: " << a.use_count() << std::endl;
std::cout << " B counts: " << b.use_count() << std::endl;
// 2. 建立循環(huán)引用 (互相鎖死)
std::cout << "2. 建立循環(huán)引用 (a->ptrB = b; b->ptrA = a;)" << std::endl;
a->ptrB = b; // B 的計(jì)數(shù) +1 -> 變成 2 (b 變量 + a.ptrB)
b->ptrA = a; // A 的計(jì)數(shù) +1 -> 變成 2 (a 變量 + b.ptrA)
std::cout << " A counts: " << a.use_count() << std::endl;
std::cout << " B counts: " << b.use_count() << std::endl;
std::cout << "--- 準(zhǔn)備離開(kāi)作用域 ---" << std::endl;
} // 3. 這里!離開(kāi)作用域!
// 正常邏輯:
// - 棧變量 a 銷毀 -> A 計(jì)數(shù)減 1 (2 -> 1) -> 不為 0,A 不死!
// - 棧變量 b 銷毀 -> B 計(jì)數(shù)減 1 (2 -> 1) -> 不為 0,B 不死!
// 結(jié)果:A 拿著 B,B 拿著 A,誰(shuí)也撒不開(kāi)手。堆內(nèi)存永遠(yuǎn)無(wú)法釋放。
std::cout << "=== 離開(kāi)作用域 (main 結(jié)束) ===" << std::endl;
std::cout << "警告:你沒(méi)有看到析構(gòu)函數(shù)的日志,說(shuō)明發(fā)生了內(nèi)存泄漏!" << std::endl;
return 0;
}運(yùn)行結(jié)果如下:
=== 進(jìn)入作用域 ===
A Created (構(gòu)造)
B Created (構(gòu)造)
1. 初始引用計(jì)數(shù):
A counts: 1
B counts: 1
2. 建立循環(huán)引用 (a->ptrB = b; b->ptrA = a;)
A counts: 2
B counts: 2
--- 準(zhǔn)備離開(kāi)作用域 ---
=== 離開(kāi)作用域 (main 結(jié)束) ===
警告:你沒(méi)有看到析構(gòu)函數(shù)的日志,說(shuō)明發(fā)生了內(nèi)存泄漏!
而Java 對(duì)此表示毫無(wú)壓力:Java GC 由于有GC Root,會(huì)發(fā)現(xiàn) A 和 B 這一坨東西和外界斷開(kāi)了聯(lián)系,直接把它倆都回收了。

3.5.std::weak_ptr(打破循環(huán)的救星)
為了解決上面的循環(huán)引用問(wèn)題,C++ 引入了 weak_ptr。
- 弱引用:它指向
shared_ptr管理的對(duì)象,但是不增加引用計(jì)數(shù)。 - 旁觀者:它只是看著對(duì)象,不能直接用。如果要用,必須先“升級(jí)”為
shared_ptr(并通過(guò)升級(jí)結(jié)果判斷對(duì)象是否已經(jīng)死了)。
修復(fù)上面的代碼:
我們只需要把 B 里面的指針改成 weak_ptr:
#include <iostream>
#include <memory>
class B; // 前置聲明
class A {
public:
// A 持有 B 的【強(qiáng)引用】(shared_ptr)
// 意味著:只要 A 活著,B 就不能死
std::shared_ptr<B> ptrB;
A() { std::cout << "A Created (構(gòu)造)" << std::endl; }
~A() { std::cout << "A Destroyed (析構(gòu))" << std::endl; }
};
class B {
public:
// 關(guān)鍵修改:B 持有 A 的【弱引用】(weak_ptr)
// 意味著:B 只是看著 A,但 B 不決定 A 的生死。
// weak_ptr 不會(huì)增加 shared_ptr 的引用計(jì)數(shù)!
std::weak_ptr<A> ptrA;
B() { std::cout << "B Created (構(gòu)造)" << std::endl; }
~B() { std::cout << "B Destroyed (析構(gòu))" << std::endl; }
};
int main() {
std::cout << "=== 進(jìn)入作用域 ===" << std::endl;
{
// 1. 創(chuàng)建對(duì)象
std::shared_ptr<A> a = std::make_shared<A>();
std::shared_ptr<B> b = std::make_shared<B>();
// 2. 建立引用
std::cout << "--- 建立連接 ---" << std::endl;
a->ptrB = b; // A 強(qiáng)引用 B。B 的計(jì)數(shù) = 2 (main里的b + A里的ptrB)
b->ptrA = a; // B 弱引用 A。A 的計(jì)數(shù) = 1 (只有main里的a) !!!
std::cout << "當(dāng)前引用計(jì)數(shù) (關(guān)鍵點(diǎn)):" << std::endl;
// A 的計(jì)數(shù)只有 1,因?yàn)?weak_ptr 不算數(shù)
std::cout << " A counts: " << a.use_count() << " (只有 main 持有它)" << std::endl;
// B 的計(jì)數(shù)是 2,因?yàn)?A 強(qiáng)引用著它
std::cout << " B counts: " << b.use_count() << " (main 和 A 都持有它)" << std::endl;
std::cout << "--- 準(zhǔn)備離開(kāi)作用域 ---" << std::endl;
}
// 3. 離開(kāi)作用域的過(guò)程:
// Step 1: 變量 'a' 銷毀。
// A 的引用計(jì)數(shù)從 1 變成 0。
// -> A 死了!打印 "A Destroyed"。
// -> A 析構(gòu)時(shí),會(huì)自動(dòng)銷毀它的成員 ptrB。
// Step 2: A 的成員 ptrB 被銷毀。
// B 的引用計(jì)數(shù)從 2 減為 1。
// Step 3: 變量 'b' 銷毀。
// B 的引用計(jì)數(shù)從 1 變成 0。
// -> B 死了!打印 "B Destroyed"。
std::cout << "=== 離開(kāi)作用域 (main 結(jié)束) ===" << std::endl;
return 0;
}運(yùn)行結(jié)果如下(可以看到清晰的析構(gòu)日志,證明沒(méi)有內(nèi)存泄漏:):
=== 進(jìn)入作用域 ===
A Created (構(gòu)造)
B Created (構(gòu)造)
--- 建立連接 ---
當(dāng)前引用計(jì)數(shù) (關(guān)鍵點(diǎn)):
A counts: 1 (只有 main 持有它)
B counts: 2 (main 和 A 都持有它)
--- 準(zhǔn)備離開(kāi)作用域 ---
A Destroyed (析構(gòu))
B Destroyed (析構(gòu))
=== 離開(kāi)作用域 (main 結(jié)束) ===

3.6. 總結(jié)與最佳實(shí)踐
3.6.1. 對(duì)比總結(jié)
- C++ RAII / 智能指針:
- 優(yōu)點(diǎn):即時(shí)釋放(不用等 GC),資源利用率極高,無(wú) STW 卡頓。非常適合做實(shí)時(shí)系統(tǒng)、游戲引擎、高頻交易。
- 缺點(diǎn):有思維負(fù)擔(dān),需要手動(dòng)處理循環(huán)引用(
weak_ptr)。
- Java GC:
- 優(yōu)點(diǎn):開(kāi)發(fā)效率高,不用關(guān)心循環(huán)引用,只要不瞎搞很難內(nèi)存泄漏。
- 缺點(diǎn):釋放時(shí)機(jī)不可控,GC 運(yùn)行時(shí)有性能波動(dòng),內(nèi)存占用通常比 C++ 高。
關(guān)于開(kāi)銷的真相:
很多人認(rèn)為 C++ 一定比 Java 快,但在內(nèi)存分配上,Java 其實(shí)往往更快。Java 的new只是指針后移(Pointer Bump),極其廉價(jià);而 C++ 的malloc/new需要去空閑鏈表中尋找合適的內(nèi)存塊。
C++ 的優(yōu)勢(shì)在于運(yùn)行時(shí)期的平穩(wěn):它沒(méi)有 GC 那個(gè)不定時(shí)觸發(fā)的“大掃除”,因此非常適合對(duì)延遲 (Latency) 極度敏感的場(chǎng)景(如高頻交易、游戲引擎、實(shí)時(shí)控制系統(tǒng)),而 Java 更適合追求吞吐量 (Throughput) 的后端服務(wù)。
3.6.2. C++ 避坑指南
- **默認(rèn)首選
std::unique_ptr**。除非你真的需要多個(gè)人共享所有權(quán),否則別用shared_ptr。 - **絕不使用
new**。
- 用
std::make_unique<T>()代替new T()。 - 用
std::make_shared<T>()代替new T()。 - 這不僅代碼短,而且能防止某些極端情況下的內(nèi)存泄漏。
- 遇到循環(huán)引用,立刻想到把其中一邊換成
std::weak_ptr。
現(xiàn)在,我們已經(jīng)掌握了 C++ 內(nèi)存管理的核心:對(duì)象默認(rèn)在棧上,堆對(duì)象用 unique_ptr 管,共享對(duì)象用 shared_ptr 管,循環(huán)引用用 weak_ptr 破。
4. 結(jié)語(yǔ)
從 Java 的“全自動(dòng)駕駛”切換到 C++ 的“手動(dòng)擋”,最大的挑戰(zhàn)往往不在于語(yǔ)法,而在于思維模式的轉(zhuǎn)變。
C++ 將內(nèi)存的控制權(quán)完全交還給了程序員,這既是絕對(duì)的自由,也是沉重的責(zé)任。通過(guò)本文,我們看到 RAII 賦予了我們確定性的資源釋放能力,而移動(dòng)語(yǔ)義和智能指針則在“極致性能”與“內(nèi)存安全”之間架起了橋梁。
記住 C++ 現(xiàn)代開(kāi)發(fā)的黃金法則:默認(rèn)使用棧對(duì)象,堆內(nèi)存首選 unique_ptr,共享資源用 shared_ptr,循環(huán)引用靠 weak_ptr 打破。 掌握了這些,我們就真正駕馭了這門語(yǔ)言最鋒利的雙刃劍。
到此這篇關(guān)于C++ 內(nèi)存避坑指南之移動(dòng)語(yǔ)義和智能指針解決“深拷貝”與“內(nèi)存泄漏”的過(guò)程的文章就介紹到這了,更多相關(guān)C++ 深拷貝與內(nèi)存泄漏內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
C/C++ int數(shù)與多枚舉值互轉(zhuǎn)的實(shí)現(xiàn)
在C/C++在C/C++的開(kāi)發(fā)中經(jīng)常會(huì)遇到各種數(shù)據(jù)類型互轉(zhuǎn)的情況,本文主要介紹了C/C++ int數(shù)與多枚舉值互轉(zhuǎn)的實(shí)現(xiàn),具有一定的參考價(jià)值,感興趣的可以了解一下2021-08-08
C++從文本文件讀取數(shù)據(jù)到vector中的方法
這篇文章主要給大家介紹了利用C++如何從文本文件讀取數(shù)據(jù)到vector中,文章通過(guò)實(shí)例給出示例代碼,相信會(huì)對(duì)大家的理解和學(xué)習(xí)很有幫助,有需要的朋友們下面來(lái)一起看看吧。2016-10-10
Qt使用QCustomPlot的實(shí)現(xiàn)示例
QCustomPlot是一個(gè)基于Qt C++的圖形庫(kù),用于繪制和數(shù)據(jù)可視化,并為實(shí)時(shí)可視化應(yīng)用程序提供高性能服務(wù),本文主要介紹了Qt使用QCustomPlot的實(shí)現(xiàn)示例,感興趣的可以了解一下2024-01-01
C語(yǔ)言實(shí)現(xiàn)三子棋小游戲(vs2013多文件)
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言實(shí)現(xiàn)三子棋小游戲,文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2021-06-06
基于Qt開(kāi)發(fā)獲取CTP量化交易接口測(cè)試數(shù)據(jù)工具
這篇文章主要為大家詳細(xì)介紹了如何使用Qt軟件開(kāi)發(fā)K線股P相關(guān)軟件,先開(kāi)發(fā)一個(gè)通過(guò)CTP量化交易的sdk獲取相關(guān)推送數(shù)據(jù)的工具,需要的可以參考下2024-04-04
C++11中移動(dòng)構(gòu)造函數(shù)案例代碼
C++11 標(biāo)準(zhǔn)中為了滿足用戶使用左值初始化同類對(duì)象時(shí)也通過(guò)移動(dòng)構(gòu)造函數(shù)完成的需求,新引入了 std::move() 函數(shù),它可以將左值強(qiáng)制轉(zhuǎn)換成對(duì)應(yīng)的右值,由此便可以使用移動(dòng)構(gòu)造函數(shù),對(duì)C++11移動(dòng)構(gòu)造函數(shù)相關(guān)知識(shí)感興趣的朋友一起看看吧2023-01-01

