后置条件：Boost 中的 this->get_id()==thread::id()

Question

在阅读 Boost documentation 的线程管理部分时，我在“默认构造函数”下看到以下内容：

后置条件：
this->get_id()==thread::id()

我知道this->get_id() 返回当前线程的ID，但是thread::id() 是做什么的呢？我似乎在文档中找不到thread::id()。

后置条件是什么意思？

我最初将 Postconditions 理解为返回值，但这种理解对于默认构造函数文档没有意义。

Answer 1

thread::id() 是使用默认构造函数构造的thread::id 类型的对象。默认构造的 id 对象不代表线程，所有默认构造的 id 对象比较相等。简而言之，thread 对象的默认构造函数会创建一个不代表执行线程的对象。