Все мы знаем, что неиспользуемые переменные могут быть выброшены компилятором, как например переменная 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;
}
Тобишь: возможна ли, в данном случае, что мьютекс освободится раньше, чем произойдет выход из функции?