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 沙箱库

该库提供

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

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

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

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

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

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

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

• 从 submit 函数返回任务对象。如果任务是协作的（意味着它的代码中有一些中断点 ->this_thread::interruption_point() ).

Pawel Kieliszczyk

需要

Boost 沙箱库

该库旨在实现快速且忠实的多项式操作。它提供

• 主要算术运算符（+、-、* 使用 FFT、/、%），
• GCD，
• 不同的评估方法（霍纳方案、补偿霍纳算法、通过预处理），
• 导数和积分，
• 插值，
• 各种多项式形式之间的转换（用于创建切比雪夫、厄米特、拉盖尔和勒让德形式的特殊函数）。

Matus Chochlik

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

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

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

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

我希望在接下来的几个月内准备好审查。

Joachim Faulhaber

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

区间容器允许与 interval_sets 相交以处理分段。例如，您可能希望将区间容器与月份网格相交，然后遍历这些月份。

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

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 允许定义仅由线程调用一次的设置/清理函数：在线程函数之前设置，在线程退出时清理。
• 线程特定共享指针：这是 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，添加了线程设置/清理装饰器、线程特定共享指针、线程保持活动机制和线程元组。