Anthony Williams

Tom Brinkman

该库提出了一种返回缓冲区，它在一个（子）线程中获取一个值（或异常），并在另一个（控制）线程中提供该值。此缓冲区主要提供两个接口

• 一个将值分配为类 promise 的接口，以及
• 一个等待、查询和从缓冲区检索值（或异常）的接口，作为类 unique_future 和 shared_future。虽然 unique_future 提供移动语义，其中值（或异常）只能检索一次，但 shared_future 提供复制语义，其中值可以任意多次检索。

使用 promise 和 future 的典型过程如下所示

• 控制线程创建一个 promise，
• 控制线程从 promise 获取关联的 future，
• 控制线程启动子线程，
• 子线程调用实际函数并将返回值分配给 promise，
• 控制线程等待 future 变为就绪，
• 控制线程从 future 检索值。

还提出了一个 packaged_task，它包装一个可调用对象并提供另一个可调用对象，该对象可以在其自己的线程中启动，并将返回值（或异常）分配给可以通过 future 类之一访问的返回缓冲区。

使用 packaged_task 的典型过程如下所示

• 控制线程使用可调用对象创建一个 packaged_task，
• 控制线程从 packaged_task 获取关联的 future，
• 控制线程启动子线程，该子线程调用 packaged_task，
• packaged_task 调用可调用函数并分配返回值，
• 控制线程等待 future 变为就绪，
• 控制线程从 future 检索值。

Robert Kawulak

Jeff Garland

http://rk.go.pl/f/constrained_value.zip

Boost Constrained Value 库包含类模板，这些模板对于创建受约束的对象很有用。一个简单的示例是表示一天中一小时的对象，对于该对象，只有范围 [0, 23] 中的整数是有效值

bounded_int<int, 0, 23>::type hour;
hour = 20; // OK
hour = 26; // exception!

在分配无效值的情况下，行为可以自定义。例如，与上面的示例中抛出异常不同，可以调整值以满足约束

wrapping_int<int, 0, 255>::type buffer_index;
buffer_index = 257; // OK: wraps the value to fit in the range
assert( buffer_index == 1 );

该库不仅关注上面示例中的有界对象——实际上，可以通过使用谓词来施加任何约束

// constraint (a predicate)
struct is_odd {
   bool operator () (int i) const
   { return (i % 2) != 0; }
};

// and the usage is as simple as:
constrained<int, is_odd> odd_int = 1;
odd_int += 2; // OK
++odd_int; // exception!

该库采用基于策略的设计，以便在定义约束和在分配无效值的情况下定义行为时具有灵活性。策略可以在编译时配置以获得最大效率，或者如果需要这种动态功能，则可以在运行时更改。

Oliver Kowalke

需要

Boost 沙盒库

该库提供

• 线程创建策略：确定工作线程的管理

  • 池中固定数量的线程
  • 按需创建工作线程（取决于上下文）
  • 让工作线程在一定的空闲时间后超时

• 通道策略：管理对排队任务的访问

  • 具有高低水位线的有界通道，用于排队任务
  • 具有无限数量排队任务的无界通道
  • 生产者和消费者线程之间的 rendezvous 同步交接

• 排队策略：确定如何从通道中移除任务

  • FIFO
  • LIFO
  • 优先级队列（分配给任务的属性）
  • 智能插入和提取（例如，用最新的任务移除具有特定属性的最旧任务）

• 任务可以链接，并且也支持任务的延迟提交（感谢 Braddocks future 库）。

• 从提交函数返回一个任务对象。如果任务本身是协作的，则可以中断它（意味着它的代码中存在一些中断点 ->this_thread::interruption_point() ).

Pawel Kieliszczyk

需要

Boost 沙盒库

该库的编写目的是为了实现快速且忠实的 polynomial 操作。它提供

• 主要算术运算符 (+, -, * 使用 FFT, /, %)
• gcd,
• 不同的求值方法（Horner 方案、补偿 Horner 算法、通过预处理），
• 导数和积分，
• 插值，
• 各种 polynomial 形式之间的转换（用于创建 Chebyshev、Hermite、Laguerre 和 Legendre 形式的特殊函数）。

Matus Chochlik

Mirror 库的目标是在编译时和运行时为常见的 C++ 构造（如命名空间、类型、typedef 类型、类及其基类和成员属性、实例等）提供有用的元数据，并为其内省提供通用接口。

Mirror 的设计考虑了分层原则，并力求尽可能减少侵入性。新的或现有的类不需要设计为直接支持 Mirror，并且在类的定义中不需要任何与 Mirror 相关的代码，只要遵循一些通用准则即可

Mirror 库当前实现的最重要功能包括

• 命名空间名称检查。
• 检查定义命名空间的整个作用域
• 类型名称查询，支持 typedef 类型名称和派生类型的类型名称，如指针、引用、cv 限定类型、数组、函数和模板名称。可以查询带有或不带有嵌套名称说明符的名称。
• 检查定义类型的范围
• 对类的基类进行统一和通用的检查。可以检查基类的特征，例如它们的类型、它们是否是虚拟继承的以及访问说明符（private、protected、public）。
• 对类的成员属性进行统一和通用的检查。在编译时，可以查询类的属性计数及其类型、存储类说明符（static、mutable）和一些其他特征。在运行时，可以统一查询成员属性的名称和/或值（当给定反射类的实例时），并顺序地对类的每个属性执行自定义 functor。
• 使用用户定义的访问器遍历类（或通常是类型）的结构，这些访问器可以选择在提供的类型实例上工作，或者仅在其结构上工作，而无需任何运行时数据。这些访问器由 Mirror 引导遍历类的结构，并可选择提供有关遍历中当前位置的上下文信息。

我希望在未来几个月内使其准备好进行评审。

Joachim Faulhaber

Interval Template Library (Itl) 提供区间和两种区间容器：Interval_sets 和 interval_maps。Interval_sets 和 maps 可以像元素集或元素映射一样使用。然而，当元素以连续的块（区间）出现时，它们在空间和时间上效率更高。这在许多问题域中显然是这种情况，尤其是在处理与日期和时间相关的问题的领域中。

区间容器允许与 interval_sets 相交以进行分段。例如，您可能希望将区间容器与月份网格相交，然后迭代这些月份。

最后，如果添加的区间与 interval_map 中存储的区间重叠，则 interval_maps 提供对关联值的聚合。此功能称为重叠聚合。通过示例显示

typedef set<string> guests;
interval_map<time, guests> party;
guests mary; mary.insert("Mary");
guests harry; harry.insert("Harry");
party += make_pair(interval<time>::rightopen(20:00, 22:00),mary);
party += make_pair(interval<time>::rightopen_(21:00, 23:00),harry);
// party now contains
[20:00, 21:00)->{"Mary"}
[21:00, 22:00)->{"Harry","Mary"} //guest sets aggregated on overlap
[22:00, 23:00)->{"Harry"}

从示例中可以看出，interval_map 既具有分解行为（在时间维度上），又具有累积行为（在关联值上）。

Vicente J. Botet Escriba

Boost.InterThreads 扩展了 Boost.Threads，添加了一些功能

• 线程装饰器：thread_decorator 允许定义 setup/cleanup 函数，这些函数将仅由线程调用一次：在线程函数之前 setup，在线程退出时 cleanup。
• 线程特定的共享指针：这是 thread_specific_ptr 的扩展，提供了从其他线程访问此线程特定上下文的功能。由于它是共享的，因此存储的指针是 shared_ptr 而不是原始指针。
• 线程保持活动机制：此机制允许检测未通过定期调用 keep_alive_point 来证明它们处于活动状态的线程。当线程被声明为死线程时，将调用用户提供的函数，默认情况下该函数将中止程序。
• 线程元组：定义一个线程组，其中线程数是静态已知的，并且线程是在构造时创建的。
• set_once：一个同步器，允许仅设置一次变量，并将变量值通知给正在等待它的任何对象。
• thread_tuple_once：boost::thread_tuple 的扩展，允许加入第一个完成的线程，为此使用 set_once 同步器。
• thread_group_once：boost::thread_group 的扩展，允许加入第一个完成的线程，为此使用 set_once 同步器。

(thread_decorator 和 thread_specific_shared_ptr) 基于 Roland Schwarz 编写的 threadalert 的原始实现。

Boost.InterThreads 扩展了 Boost.Threads，添加了线程 setup/cleanup 装饰器、线程特定的共享指针、线程保持活动机制和线程元组。