RAII：循环中声明的向量中的互斥体是否在下一次迭代中全部解锁？

Question

假设我有以下问题：

// ... necessary includes

class X {
    struct wrapper{ std::mutex mut{}; }
    std::array<wrapper, 20> wrappers{};

    void Y() 
    {
        for (auto i{0u}; i < 10; ++i)
        {
            std::vector<std::unique_lock<std::mutex>> locks_arr{};
            for (auto& wrapp : wrappers)
            {
                locks.emplace_back(std::unique_lock{wrapp.mut});
            }

            // are the mutexes in locks_arr unlocked here by RAII,
            // because locks_arr goes 'out of scope'?
            if (/* some condition */) continue; 
            
            // do some other long stuff
            // end of loop iteration; how about here? 
        }
    }
}

一个简单的问题，在代码本身中阐明。 locks_arr 中的互斥锁是否会在循环的下一次迭代中解锁，或者是否明确需要在 if 语句块中一一解锁所有互斥锁，在外部 for 循环的末尾？

Answer 1

回答我自己的问题——是的，这就是 RAII 的工作原理。该向量在 for 循环体内声明；它在每次迭代中都会被销毁并重新创建。 continue 还会导致循环其余部分的执行被短路。

当向量被破坏时，它包含的每个对象也会被破坏。因此，unique_lock 的析构函数被调用，这会解锁互斥锁。