9

Все мы знаем, что неиспользуемые переменные могут быть выброшены компилятором, как например переменная i ниже:

int main() {
  int a = 10;
  int i = 15;

  std::cout << a << std::endl;

  return 0;
}

Меня же интересует может ли компилятор вызвать деструктор раньше, чем переменная покинет область видимость (к примеру после последнего его использования). Особенно интересует следующая ситуация:

int foo() {
  static std::mutex mutex;
  std::lock_guard<std::mutex>{mutex};
  ... some code ...

  return 0;
}

Тобишь: возможна ли, в данном случае, что мьютекс освободится раньше, чем произойдет выход из функции?

5
  • 1
    Нет, не может - mutex является частью стандартной библиотеки, а не синтаксической конструкцией языка 22 ноя 2019 в 12:50
  • 3
    @ТрипольскийПётр это понятно, что mutex - не часть языка, а часть stl (с 11-ого стандарта), но я не понимаю как это относится к вопросу 22 ноя 2019 в 13:32
  • 3
    @Трипольский Пётр, да, действительно без mutex а в языке ничго не изменится, но я тоже не вижу связь этого обстоятельства с вопросом. Но согласен с тем, что компилятор его никак не освободит 22 ноя 2019 в 13:57
  • в конкретно этом примере вы используете мьютекс, std::lock_guard вызывает методы lock() / unlock(), так что он точно не будет оптимизирован 22 ноя 2019 в 14:02
  • Нет - нарушение as is.
    – Harry
    22 ноя 2019 в 15:09

3 ответа 3

11

http://eel.is/c++draft/basic.stc.auto#3

"Если переменная с автоматическим классом памяти имеет инициализацию или деструктор с побочными эффектами, реализация не имеет права ни уничтожить ее раньше достижения конца ее блока, ни полностью убрать ее в процессе оптимизации, даже если переменная выглядит неиспользуемой; за исключением того, что копирование/перемещение объекта класса может быть устранено в соответствии с правилами [class.copy.elision]"

Разумеется, это правило Абстрактной С++ Машины, которое может быть обойдено в рамках правила "as if", но не в таких случаях. Реализация прекрасно знает, что взаимодействие с синхронизационным объектом может влиять на наблюдаемое поведение программы.

2
  • 1
    Да, все так, но в вопросе (точнее в коде) есть ещё один важный момент: lock_guard создаётся без имени. И как показал эксперимент с кастомным классом, деструктор в подобном случае вызывается сразу же после создания объекта. То бишь для данного случая (не касаясь as if rule) мьютекс будет освобождён до выхода из функции. Не знаете, что о таких ситуациях говорит стандарт? 25 ноя 2019 в 8:44
  • 1
    @AndrejLevkovitch, до конца stateent.
    – Qwertiy
    25 ноя 2019 в 8:47
10

Компилятор может убрать int a = 10; не потому, что к нему нет обращений в программе, а потому, что его наличие не влияет на поведение программы. Это называется the as-if rule.

Наличие lock_guard-а влияет на поведение программы, поэтому as-if rule не позволяет его убрать.

13
  • 1
    @Qwertiy♦: А почему бы и нет? Правило as-if опирается на правила sequencing. А правила sequencing сами по себе уже адаптированы для целей многопоточной среды. То есть основная сложность тут заключается именно в формулировке правил sequencing. А когда это уже сделано, то as-if сохраняется натуральным образом. 22 ноя 2019 в 18:09
  • 1
    Да, все так, но в вопросе (точнее в коде) есть ещё один важный момент: lock_guard создаётся без имени. И как показал эксперимент с кастомным классом, деструктор в подобном случае вызывается сразу же после создания объекта. То бишь для данного случая (не касаясь as if rule) мьютекс будет освобождён до выхода из функции. Не знаете, что о таких ситуациях говорит стандарт? 25 ноя 2019 в 8:43
  • 1
    @AndrejLevkovitch, до конца stateent.
    – Qwertiy
    25 ноя 2019 в 8:47
  • 1
    @AndrejLevkovitch Не обратил внимание. Раз без имени, то он считается временным объектом и удаляется, когда заканчивается вычисление выражения ("full expression"), где он был создан. 25 ноя 2019 в 8:50
  • 1
    @Qwertiy Здесь тоже совпадают, должна уничтожится после вызова doSmth(). 25 ноя 2019 в 10:00
6

Не может потому что в конструкторе и деструкторе есть побочные эффекты, которые компилятор трогать не имеет права.


Поскольку лок создаётся без имени, его областью видимости является текущий statement и он просуществует ровно до конца него. Скорее всего компилятор его всё равно выкинуть не может, но в данном случает при отсутствии каких-либо ещё действий в рамках statement'а это неважно.

3
  • Да, все так, но в вопросе (точнее в коде) есть ещё один важный момент: lock_guard создаётся без имени. И как показал эксперимент с кастомным классом, деструктор в подобном случае вызывается сразу же после создания объекта. То бишь для данного случая (не касаясь as if rule) мьютекс будет освобождён до выхода из функции. Не знаете, что о таких ситуациях говорит стандарт? 25 ноя 2019 в 8:44
  • Блин, не заметил. Знаю. До конца statement: ru.stackoverflow.com/a/731529/178988.
    – Qwertiy
    25 ноя 2019 в 8:47
  • Я обновил ответ.
    – Qwertiy
    25 ноя 2019 в 8:59

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.