使用 VS2012 RC 时，如果在 main() 退出后调用 std::thread::join() 则会挂起

如果在 Ubuntu 12.04 上使用 Clang 3.2 或 GCC 4.7 编译，以下示例会成功运行（即不会挂起），但如果使用 VS11 Beta 或 VS2012 RC 编译，则会挂起。

#include <iostream>
#include <string>
#include <thread>
#include "boost/thread/thread.hpp"

void SleepFor(int ms) {
  std::this_thread::sleep_for(std::chrono::milliseconds(ms));
}

template<typename T>
class ThreadTest {
 public:
  ThreadTest() : thread_([] { SleepFor(10); }) {}
  ~ThreadTest() {
    std::cout << "About to join\t" << id() << '\n';
    thread_.join();
    std::cout << "Joined\t\t" << id() << '\n';
  }
 private:
  std::string id() const { return typeid(decltype(thread_)).name(); }
  T thread_;
};

int main() {
  static ThreadTest<std::thread> std_test;
  static ThreadTest<boost::thread> boost_test;
//  SleepFor(100);
}

问题似乎是std::thread::join()如果在之后调用它则永远不会返回main已退出。它被阻止在WaitForSingleObject in _Thrd_join在cthread.c 中定义。

取消注释SleepFor(100);在......的最后main允许程序正确退出，就像制作一样std_test非静态。使用boost::thread也回避了这个问题。

所以我想知道我是否在这里调用了未定义的行为（对我来说似乎不太可能），或者我是否应该针对 VS2012 提交错误？

追踪 Fraser 在他的连接错误中的示例代码（https://connect.microsoft.com/VisualStudio/feedback/details/747145 https://web.archive.org/web/20150501080609/https://connect.microsoft.com/VisualStudio/feedback/details/747145） VS2012 RTM 似乎显示了一个相当简单的死锁案例。这可能不是特定于std::thread- 可能_beginthreadex遭受同样的命运。

我在调试器中看到的内容如下：

在主线程上，main()函数完成后，进程清理代码已获取一个名为_EXIT_LOCK1，称为析构函数ThreadTest，并且正在等待（无限期地）第二个线程退出（通过调用join()).

第二个线程的匿名函数已完成，并在线程清理代码中等待获取_EXIT_LOCK1关键部分。不幸的是，由于时间安排（第二个线程的匿名函数的生命周期超过了第二个线程的匿名函数的生命周期）main()函数）主线程已经拥有该临界区。

僵局。

任何可以延长寿命的东西main()这样第二个线程就可以获取_EXIT_LOCK1在主线程之前避免死锁情况。这就是为什么取消注释 sleep inmain()导致干净关闭。

或者，如果您从ThreadTest局部变量，析构函数调用被移到末尾main()函数（而不是在进程清理代码中）然后阻塞，直到第二个线程退出 - 避免死锁情况。

或者你可以添加一个函数ThreadTest那个叫join()并在末尾调用该函数main()- 再次避免了僵局的情况。