C++中為什么永遠(yuǎn)不要使用原始指針或引用傳遞所有權(quán)

本篇內(nèi)容主要講解“C++中為什么永遠(yuǎn)不要使用原始指針或引用傳遞所有權(quán)”，感興趣的朋友不妨來(lái)看看。本文介紹的方法操作簡(jiǎn)單快捷，實(shí)用性強(qiáng)。下面就讓小編來(lái)帶大家學(xué)習(xí)“C++中為什么永遠(yuǎn)不要使用原始指針或引用傳遞所有權(quán)”吧!

Reason（原因）

如果一個(gè)對(duì)象是屬于調(diào)用者還是被調(diào)用者存在任何疑問(wèn)的話，就可能發(fā)生泄漏或過(guò)早銷毀。

Example（示例）

Consider:（考慮）

X* compute(args)    // don't{    X* res = new X{};    // ...    return res;}

應(yīng)該由誰(shuí)刪除返回的X? 當(dāng)compute返回一個(gè)參照的時(shí)候，這個(gè)問(wèn)題會(huì)很難判斷。考慮返回一個(gè)值（如果結(jié)果很大則使用移動(dòng)語(yǔ)法）

譯者注：移動(dòng)語(yǔ)法指的是C++11開(kāi)始引入的右值引用和std::move。

vector<double> compute(args)  // good{    vector<double> res(10000);    // ...    return res;}

其他選項(xiàng)：使用“智能指針”傳遞所有權(quán)，例如unique_ptr(用于獨(dú)占所有權(quán)）和shared_prt(用于共享所有權(quán)）。然而這種做法和直接返回對(duì)象本身相比稍微欠缺一點(diǎn)優(yōu)雅和效率，因此應(yīng)該只在需要參照語(yǔ)義時(shí)才需要智能指針。

其他選項(xiàng)：有時(shí)因?yàn)锳BI兼容性的要求或者需要避免資源泄漏而無(wú)法修改舊代碼。在這種情況下，使用準(zhǔn)則支持庫(kù)提供的owner形式來(lái)標(biāo)記控制所有權(quán)的指針。

譯者注：ABI，由操作系統(tǒng)提供的應(yīng)用程序二進(jìn)制接口（Application Binary Interface）

owner<X*> compute(args)    // It is now clear that ownership is transferred{    owner<X*> res = new X{};    // ...    return res;}

這樣可以告訴分析工具res是所有者。也就是說(shuō)，它的值必須被刪除或者轉(zhuǎn)移給其他的所有者，就像這里通過(guò)return返回結(jié)果時(shí)所做的一樣。

在實(shí)現(xiàn)資源句柄的時(shí)候，owner也會(huì)以相似的方式被使用。

Note（注意）

所有通過(guò)原始指針（或迭代器）傳遞的對(duì)象都被假設(shè)由調(diào)用者所有，因此它的生命周期也由調(diào)用者管理。換一個(gè)角度：相對(duì)而言，和指針傳遞API相比，所有權(quán)轉(zhuǎn)移API相當(dāng)少，因此（大家）默認(rèn)的情況是沒(méi)有所有權(quán)轉(zhuǎn)移。

Enforcement（實(shí)施建議）

• (Simple) Warn on delete of a raw pointer that is not an owner<T>. Suggest use of standard-library resource handle or use of owner<T>.

  （簡(jiǎn)單）在刪除原始指針而不是owner<T>時(shí)報(bào)警。建議使用標(biāo)準(zhǔn)庫(kù)中的資源句柄或者owner<T>
  

• (Simple) Warn on failure to either reset or explicitly delete an owner pointer on every code path.

  （簡(jiǎn)單）如果任何代碼路徑上的owner指針的重置或刪除操作發(fā)生失敗，報(bào)警。
  

• (Simple) Warn if the return value of new or a function call with an owner return value is assigned to a raw pointer or non-owner reference.

  （簡(jiǎn)單）如果new或者返回owner的函數(shù)調(diào)用的結(jié)果被分配給原始指針或者非owner引用，報(bào)警。

到此，相信大家對(duì)“C++中為什么永遠(yuǎn)不要使用原始指針或引用傳遞所有權(quán)”有了更深的了解，不妨來(lái)實(shí)際操作一番吧！這里是億速云網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！