std::lock_guard と std::scoped_lock: タスクに適したロックの選択

C 17 の導入により、std::lock_guard と std::scoped_lock ::scoped_lock クラスは既存の std::lock_guard と並行して登場し、その違いとそれぞれをいつ使用するかについての疑問を引き起こしました。

std::scoped_lock は std::lock_guard と類似点を共有していますが、いくつかの重要な違いがあります。

std::lock_guard を使用する場合:

• スコープの全期間にわたって 1 つのミューテックスをロックする場合は、std::lock_guard を使用します。
• その簡潔な構文により、std::scoped_lock.

• 例:

  {
    std::lock_guard lock(my_mutex);
    // Code protected by lock
  }

いつ使用するか std::scoped_lock:

• 複数のミューテックスが関係する相互排他が必要な場合は std::scoped_lock を使用します(特定のカウントまたは可変個引数テンプレート パラメーター パックのいずれか)。

• 例:

  std::scoped_lock lock(mutex1, mutex2);
  // Code protected by lock

追加の考慮事項:

• 安全性: どちらのクラスもスレッドを提供しますが、安全なロック。std::lock_guard の API は、ミューテックスを 1 つだけロックする必要があるシナリオでは若干安全です。
• 互換性: std::lock_guard は古い C バージョンと完全に互換性があり、下位互換性を提供します。 .
• Default Constructor: std::lock_guard はゼロ引数を取るコンストラクターをサポートしませんが、std::scoped_lock は空のパラメーター パックを許可します。

結論:

std::lock_guard と std::scoped_lock のどちらを選択するかは、コードの特定のロック要件によって異なります。それらの類似点と相違点を理解することで、開発者は適切なロック クラスを活用して、安全かつ効率的なマルチスレッドを確保できます。