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

Question

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

  

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

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

后置条件是什么意思？

我本来把后置条件理解为返回值，但是这种理解对于默认的构造函数文档没有意义。

Answer 1

T=linspace(a,b,m+1)是使用默认构造函数构造的thread::id类型的对象。默认构造的id对象不表示线程，并且所有默认构造的id对象比较相等。简短的形式是thread::id()对象的默认构造函数创建一个不代表执行线程的对象。