std::lock_guard vs std::scoped_lock: выбор правильной блокировки для задачи

С появлением C 17 стандарт Класс ::scoped_lock появился наряду с существующим классом std::lock_guard, что подняло вопросы об их различиях и о том, когда использовать каждый из них.

Хотя std::scoped_lock имеет сходство с std::lock_guard, он имеет некоторые важные различия.

Когда использовать std::lock_guard:

• Используйте 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

Дополнительные соображения:

• Безопасность: Хотя оба класса предоставляют потоко- безопасная блокировка, API std::lock_guard немного безопаснее для сценариев, где требуется блокировка только одного мьютекса.
• Совместимость: std::lock_guard полностью совместим со старыми версиями C и обеспечивает обратную совместимость. .
• Конструктор по умолчанию: std::lock_guard не поддерживает конструкторы с нулевыми аргументами, а std::scoped_lock допускает пустой пакет параметров.

Вывод:

Выбор между std::lock_guard и std::scoped_lock зависит от конкретных требований к блокировке кода. Понимая их сходства и различия, разработчики могут использовать соответствующий класс блокировки для обеспечения безопасной и эффективной многопоточности.