Порядок и точка вызова деструктора ⇐ C++

[Anonymous]

Предположим, у меня есть два локальных объекта. Когда функция возвращает управление, гарантируется ли, какой из них первым выйдет за пределы области видимости?

Например:

У меня есть такой класс:

class MutexLock
{
/* Automatic unlocking when MutexLock leaves a scope */
public:
MutexLock (Mutex &m) { M.lock(); }
~MutexLock(Mutex &m) { M.unlock(); }
};


Это очень распространенный прием, используемый для автоматического освобождения мьютекса при выходе из области видимости. Но что, если мне нужно два мьютекса в области видимости?

void *func(void *arg)
{
MutexLock m1;
MutexLock m2;

do_work();

} // m1 and m2 will get unlocked here. But in what order? m1 first or m2 first?


Это действительно не может привести к тупику. Но могут быть случаи, когда порядок освобождения ресурса может быть полезен пользователю. В этом случае важно ли быть явным, а не полагаться на деструкторы?

Кроме того, может ли в любом случае компилятор задержать уничтожение? Я имею в виду

func()

{

{
foo f();
} ---------> Can compiler choose to not destroy f here, rather do it at the time when func() is returning.
}


Подробнее здесь: https://stackoverflow.com/questions/105 ... destructor