Order and point of calling destructor

后端 未结 4 798
盖世英雄少女心
盖世英雄少女心 2020-12-07 01:42

Lets say I have two local objects. When the function returns, is it guaranteed which one will go out of the scope first?

For example:

I have a class like thi

相关标签:
4条回答
  • 2020-12-07 02:26

    In that case is it important to be explicit rather than relying on destructors?
    No, it is not required.
    The order of destruction of objects in a scope is well defined.
    It is exact opposite of the order in which they were constructed.


    Also, can destruction be delayed by the compiler in any case?
    No.
    The compiler cannot and that is the purpose of RAII. It provides the mechanism to implicitly clean & deallocate resources without any explicit manual effort on part of the programmer.
    Your requirement of delaying the destruction is parallel to the very purpose of RAII, it calls for manual resource management.
    If you need manual resource management you can have pointers allocated on heap through newand the objects pointed by them would be valid unless and until, you explicitly deallocate them through delete call and the order in which you call them.
    Of-course, it is nor advisable nor encouraged to do so.

    0 讨论(0)
  • 2020-12-07 02:26

    The destruction happens in reverse order of construction: first m2 then m1.

    Compiler can never delay object's lifetime behind scope end (}).

    0 讨论(0)
  • 2020-12-07 02:27

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

    The destructors will be called in the reverse order of construction: m2 then m1.

    In that case is it important to be explicit rather than relying on destructors?

    The order of destruction is well-specified so that you can rely on it.

    Also, can destruction be delayed by the compiler in any case?

    No. If it did, that would break a lot of RAII-based code (your MutexLock class is a very good example of that).

    0 讨论(0)
  • 2020-12-07 02:48

    The object is always destroyed when it goes out of scope - this is not java. f Will get destroyed where you indicate and will never be destroyed at the end of func. in general the destructors are called in order reverse to the order of their construction.

    0 讨论(0)
提交回复
热议问题