本篇內容主要講解“C++為什么不要拿著鎖調用未知代碼”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“C++為什么不要拿著鎖調用未知代碼”吧!
CP.22:永遠不要拿著鎖調用未知代碼（例如callback）
If you don't know what a piece of code does, you are risking deadlock.
如果你不知道一段代碼會做什么，就會面臨死鎖的風險。
Example（實例）
void do_this(Foo* p)
{
lock_guard<mutex> lck {my_mutex};
// ... do something ...
p->act(my_data);
// ...
}
如果你不知道Foo::act會做什么（可能這是一個虛函數，會調用某個派生類的成員），它也可能（遞歸）調用do_this并引發my_mutex發生死鎖。它也可能對另外的mutex加鎖并無法在合理的時間內返回，從而導致所有調用do_this的代碼發生延遲。
Example（示例）
調用未知代碼引起問題的常見例子是調用的函數試圖重新訪問一個處于鎖定狀態的對象。這樣的問題通?？梢酝ㄟ^使用可重入的recursive_mutex解決。例如：
recursive_mutex my_mutex;
template<typename Action>
void do_something(Action f)
{
unique_lock<recursive_mutex> lck {my_mutex};
// ... do something ...
f(this); // f will do something to *this
// ...
}
If, as it is likely, f() invokes operations on *this, we must make sure that the object's invariant holds before the call.
如果，由于f()可能調用針對*this的操作，我們必須保證調用之前的對象不變式能夠維持。
Enforcement（實施建議）
Flag calling a virtual function with a non-recursive mutex held
標記調用一個持有不可重入mutex的虛函數的情況。
Flag calling a callback with a non-recursive mutex held
標記調用一個持有不可重入mutex的回調函數的情況。
到此，相信大家對“C++為什么不要拿著鎖調用未知代碼”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
