爲什麼鎖不鎖？

Question

我這個最小的代碼：

#include <mutex> 
#include <iostream> 

std::mutex themutex; 

void f1() 
{ 
    std::cout << "1" << std::endl; 
    std::lock_guard<std::mutex> local_mutex(themutex); 
    std::cout << "2" << std::endl; 
} 

void f2() 
{ 
    std::cout << "3" << std::endl; 
    std::lock_guard<std::mutex> local_mutex(themutex); 
    std::cout << "4" << std::endl; 
    f1(); 
    std::cout << "5" << std::endl; 
} 

int main(void) 
{ 
    f2(); 
    return 0; 
} 

我編譯和

g++ -std=c++11 test_mutex.cc -o test_mutex && ./test_mutex 

運行，我得到這個輸出：

3 
4 
1 
2 
5 

爲什麼？

我希望程序在打印「1」後鎖定，永不返回。

Answer 1

從30.4.1（ 「互斥要求」）：

m.lock()應良好形成並且具有以下語義表達：

需要：如果m是std::mutex型的或std::timed_mutex，調用線程不擁有互斥鎖。

您違反了要求，所以您不能指望標準保證的任何行爲。