C++中為什么永遠不要使用原始指針或引用傳遞所有權

本篇內容主要講解“C++中為什么永遠不要使用原始指針或引用傳遞所有權”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“C++中為什么永遠不要使用原始指針或引用傳遞所有權”吧!

Reason（原因）

如果一個對象是屬于調用者還是被調用者存在任何疑問的話，就可能發生泄漏或過早銷毀。

Example（示例）

Consider:（考慮）

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

應該由誰刪除返回的X? 當compute返回一個參照的時候，這個問題會很難判斷。考慮返回一個值（如果結果很大則使用移動語法）

譯者注：移動語法指的是C++11開始引入的右值引用和std::move。

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

其他選項：使用“智能指針”傳遞所有權，例如unique_ptr(用于獨占所有權）和shared_prt(用于共享所有權）。然而這種做法和直接返回對象本身相比稍微欠缺一點優雅和效率，因此應該只在需要參照語義時才需要智能指針。

其他選項：有時因為ABI兼容性的要求或者需要避免資源泄漏而無法修改舊代碼。在這種情況下，使用準則支持庫提供的owner形式來標記控制所有權的指針。

譯者注：ABI，由操作系統提供的應用程序二進制接口（Application Binary Interface）

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

這樣可以告訴分析工具res是所有者。也就是說，它的值必須被刪除或者轉移給其他的所有者，就像這里通過return返回結果時所做的一樣。

在實現資源句柄的時候，owner也會以相似的方式被使用。

Note（注意）

所有通過原始指針（或迭代器）傳遞的對象都被假設由調用者所有，因此它的生命周期也由調用者管理。換一個角度：相對而言，和指針傳遞API相比，所有權轉移API相當少，因此（大家）默認的情況是沒有所有權轉移。

Enforcement（實施建議）

• (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>.

  （簡單）在刪除原始指針而不是owner<T>時報警。建議使用標準庫中的資源句柄或者owner<T>
  

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

  （簡單）如果任何代碼路徑上的owner指針的重置或刪除操作發生失敗，報警。
  

• (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.

  （簡單）如果new或者返回owner的函數調用的結果被分配給原始指針或者非owner引用，報警。

到此，相信大家對“C++中為什么永遠不要使用原始指針或引用傳遞所有權”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！