C++為什么不要拿著鎖調(diào)用未知代碼

本篇內(nèi)容主要講解“C++為什么不要拿著鎖調(diào)用未知代碼”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實(shí)用性強(qiáng)。下面就讓小編來帶大家學(xué)習(xí)“C++為什么不要拿著鎖調(diào)用未知代碼”吧!

CP.22:永遠(yuǎn)不要拿著鎖調(diào)用未知代碼（例如callback）

Reason（原因）

If you don't know what a piece of code does, you are risking deadlock.

如果你不知道一段代碼會做什么，就會面臨死鎖的風(fēng)險。

Example（實(shí)例）

void do_this(Foo* p)
{
    lock_guard<mutex> lck {my_mutex};
    // ... do something ...
    p->act(my_data);
    // ...
}

如果你不知道Foo::act會做什么（可能這是一個虛函數(shù)，會調(diào)用某個派生類的成員），它也可能（遞歸）調(diào)用do_this并引發(fā)my_mutex發(fā)生死鎖。它也可能對另外的mutex加鎖并無法在合理的時間內(nèi)返回，從而導(dǎo)致所有調(diào)用do_this的代碼發(fā)生延遲。

Example（示例）

調(diào)用未知代碼引起問題的常見例子是調(diào)用的函數(shù)試圖重新訪問一個處于鎖定狀態(tài)的對象。這樣的問題通常可以通過使用可重入的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()可能調(diào)用針對*this的操作，我們必須保證調(diào)用之前的對象不變式能夠維持。

Enforcement（實(shí)施建議）

• Flag calling a virtual function with a non-recursive mutex held

• 標(biāo)記調(diào)用一個持有不可重入mutex的虛函數(shù)的情況。
  

• Flag calling a callback with a non-recursive mutex held

• 標(biāo)記調(diào)用一個持有不可重入mutex的回調(diào)函數(shù)的情況。
  

到此，相信大家對“C++為什么不要拿著鎖調(diào)用未知代碼”有了更深的了解，不妨來實(shí)際操作一番吧！這里是億速云網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！