Boost C++ 库

…世界上最受推崇和设计精良的 C++ 库项目之一。 Herb SutterAndrei AlexandrescuC++ 编码标准

2009年6月审查向导状态报告

新闻

Futures:接受 Williams 变体;拒绝 Gaskill 变体

Boost 1.38 发布
新库:修订库

Boost.Range 扩展已接受

多项式库被拒绝

Boost 1.39 发布

约束值审查 - 审查结果待定

库问题

2007 年 8 月接受的时间序列库尚未提交到 SVN。Eric Niebler 和 John Phillips 正在努力进行审查期间提出的更改。

浮点实用程序库尚未提交到 SVN。它计划与 Boost.Math 库集成。

2008 年 1 月有条件接受的 Switch 库尚未提交进行小型审查和完全接受。

2008 年 9 月有条件接受的 Phoenix 库尚未提交进行小型审查和完全接受。基于 Proto 元编程库的 Phoenix 重写工作刚刚开始。

Sebastian Redl 已从 Marcin Kalicinski 接管属性树库的维护工作。该库已检入 svn 主干,但 Sebastian 正在分支中对其进行主要维护。他计划在 1.41 或 1.40 版本中发布。

一般公告

与往常一样,我们需要经验丰富的审查经理。审查队列一直在大幅增长,但志愿者很少,因此请尽可能管理审查,如果不能,请确保关注审查时间表并参与其中。请查看需要经理的库列表并查看其描述。一般来说,审查经理是活跃的 Boost 参与者或库贡献者。如果您能担任其中任何一个库的审查经理,请分别发送电子邮件给 Ron Garcia 或 John Phillips,“garcia at osl dot iu dot edu”和“phillips at mps dot ohio-state dot edu”。

我们也缺乏审查人员。虽然我们都理解时间压力和完成付费工作的必要性,但 Boost 的优势在于您提交的详细和知情的审查。最近的一项工作正在努力确保至少五个人承诺在审查期开始前提交审查作为先决条件。考虑为此自愿报名,甚至尽早抽出时间创建审查。没有规定说您只能在审查期间处理审查。

此报告的链接将发布到 www.boost.org。如果您希望我们在发布之前对本报告进行任何修改或补充,请发送电子邮件给 Ron 或 John。

如果您是库作者,并且计划在未来 3-6 个月内提交库进行审查,请向 Ron 或 John 发送您库的简短描述,我们将将其添加到下面的“正在构建的库”中。我们知道有很多库即将完成,但我们很难跟踪所有这些库。请随时告知我们您的进度。

审查队列

  • 词法分析器
  • 移位指针
  • 日志记录
  • 日志
  • 加入
  • Pimpl
  • 线程池
  • 字节序
  • 元状态机
  • 转换
  • 排序
  • GIL.IO
  • 自动缓冲区
  • 字符串转换

词法分析器

作者Ben Hanson
审查经理Eric Niebler
下载Boost 存储库
描述一个可编程的词法分析器生成器,灵感来自“flex”。与 flex 一样,它通过使用正则表达式进行编程,并将状态机输出为利用等价类进行压缩的多个 DFA。

移位指针

作者Phil Bouchard
审查经理需要
下载Boost 存储库
描述智能指针通常针对特定资源(内存使用、CPU 周期、用户友好性等)进行优化,具体取决于用户需要充分利用什么。这种智能指针的主要目的是同时分配引用计数器(或所有者)和对象本身,从而简化动态内存管理,从而加快速度并在内存映射上降低成本。

日志记录

作者John Torjo
审查经理Gennadiy Rozental
下载http://torjo.com/log2/
描述正确使用日志记录是一个非常强大的工具。除了辅助调试/测试外,它还可以显示应用程序的使用方式。Boost 日志记录库允许这样做,支持大量场景,从非常简单(将所有内容转储到一个目标)到非常复杂(多个日志,一些启用/一些禁用,级别等)。它具有非常简单灵活的接口、高效的消息过滤、线程安全、格式化程序和目标、简单的日志操作、根据应用程序的需要查找最佳的日志记录器/过滤器类,您可以定义自己的宏等等!

日志

作者Andrey Semashev
审查经理需要
下载Boost 存储库
描述该库旨在帮助向应用程序添加日志记录功能。它为许多广泛使用的功能提供开箱即用的支持,例如基于属性的格式化和过滤、将日志发送到 syslog 服务器或 Windows 事件日志,或简单地将日志存储到文件中。它还为从设置文件初始化库提供基本支持。该库也可用于更广泛的任务,并实现收集和处理统计信息或通知用户应用程序事件。

加入

作者Yigong Liu
审查经理需要
下载http://channel.sourceforge.net/
描述Join 是一个基于连接演算的异步、基于消息的 C++ 并发库。它既适用于多线程应用程序,也适用于异步、基于事件的应用程序的编排。它遵循 Comega 的设计和实现,并使用 Boost 工具构建。它提供了一个高级并发 API,包括异步方法、同步方法和弦,弦是定义同步、异步和并发的“连接模式”。

Pimpl

作者Vladimir Batov
审查经理需要
下载
描述Pimpl idiom 是一种简单而强大的技术,可以通过分离接口和实现以及隐藏实现来最大程度地减少耦合。该库为 Pimpl idiom 提供了一种方便且灵活且通用的部署技术。它看似完整且应用广泛,但最小化、简单且易于使用。

线程池

作者

Oliver Kowalke

审查经理

需要

下载

Boost 存储库

描述
该库提供
  • 线程创建策略:确定工作线程的管理方式
    • 池中固定数量的线程
    • 按需创建工作线程(取决于上下文)
    • 让工作线程在一定空闲时间后超时
  • 通道策略:管理对排队任务的访问
    • 带高水位和低水位标记的绑定通道,用于排队任务
    • 带无限数量排队任务的无界通道
    • 生产者和消费者线程之间的同步交接
  • 排队策略:确定如何从通道中删除任务
    • FIFO
    • LIFO
    • 优先级队列(分配给任务的属性)
    • 智能插入和提取(例如,用最新的任务删除具有特定属性的最旧任务)
  • 任务可以链接,并且还支持任务的延迟提交(感谢 Braddock 的 future 库)。

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

字节序

作者

Beman Dawes

审查经理

需要

下载

http://mysite.verizon.net/beman/endian-0.10.zip

描述

头文件 boost/integer/endian.hpp 提供类似整数的字节持有者二进制类型,并对字节顺序、值类型、大小和对齐方式进行显式控制。类型定义为常见配置提供了易于使用的名称。

这些类型为整数数据提供可移植的字节持有者,独立于特定的计算机架构。用例几乎总是涉及 I/O,无论是通过文件还是网络连接。虽然数据可移植性是主要动机,但这些整数字节持有者也可用于减少内存使用、文件大小或网络活动,因为它们提供了其他方式无法获得的二进制整数大小。

元状态机

作者

Christophe Henry

审查经理

需要

下载

Boost 存储库

描述

Msm 是一个框架,使您能够以简单、描述性和易于使用的方式构建有限状态机。从 UML 状态机图生成工作程序所需的努力最少。这项工作受到 David Abrahams 和 Aleksey Gurtovoy 在“C++ 模板元编程”一书中描述的状态机的启发,并添加了 UML 设计师对 UML 状态机框架的大部分期望。

  • 进入和退出方法
  • 保护条件
  • 子状态机(在 UML 中也称为复合状态)
  • 历史
  • 终止伪状态
  • 延迟事件
  • 正交区域
  • 显式进入子状态机状态
  • 分叉
  • 进入/退出伪状态
  • 冲突转换

转换

作者

Vicente Botet

审查经理

需要

下载

Boost 存储库

描述

不相关类型之间的通用显式转换。

Boost.Conversion 提供
  • 一个通用的convert_to函数,用户可以对其进行专门化以在不相关类型之间进行显式转换。
  • 一个通用的assign_to函数,用户可以对其进行专门化以在不相关类型之间进行显式赋值。
  • 在以下类型之间进行转换std::complex显式可转换类型。
  • 在以下类型之间进行转换std::pair显式可转换类型。
  • 在以下类型之间进行转换boost::optional显式可转换类型。
  • 在以下类型之间进行转换boost::rational显式可转换类型。
  • 在以下类型之间进行转换boost::interval显式可转换类型。
  • 在以下类型之间进行转换boost::chrono::time_pointboost::ptime.
  • 在以下类型之间进行转换boost::chrono::durationboost::time_duration.

排序

作者

Steven Ross

审查经理

需要

下载

Boost 存储库

描述

一组 3 个基于模板的混合基数/比较排序算法,与 std::sort 相比,它们提供了更优越的最坏情况和平均情况性能:integer_sort,它对支持右移(默认为 >>)和比较(默认为 <)运算符的固定大小的数据类型进行排序。float_sort,它通过安全地将标准浮点数转换为整数来对它们进行排序。string_sort,它对可变长度的数据类型进行排序,并且针对 8 位字符字符串进行了优化。

所有 3 种算法都具有 O(n(k/s + s)) 运行时间,其中 k 是数据类型中的位数,s 是一个常数,并且内存开销有限(对于实际输入,以 kB 为单位)。在测试中,integer_sort 的速度从快 35% 到快 8 倍不等,具体取决于处理器、编译器优化和数据分布。float_sort 在 x86 处理器上的速度大约是 std::sort 的 7 倍。string_sort 的速度大约是 std::sort 的 2 倍。

GIL.IO

作者Christian Henning
审查经理需要
下载GIL Google 代码存储库
描述I/O 扩展用于boost::gil它允许读取和写入各种图像格式(tiff、jpeg、png 等)。此审查还将包括 Toolbox 扩展,该扩展向 gil 添加了一些常见功能,例如新的颜色空间、算法等。

自动缓冲区

作者Thorsten Ottosen
审查经理Robert Stewart
下载这里
描述Boost.AutoBuffer 为高效的动态本地缓冲区提供了一个容器。此外,该容器可用作 std::vector 的替代方案,提供更大的灵活性和有时更好的性能。

字符串转换

作者

Vladimir Batov

审查经理

需要

下载

Boost 存储库

描述

该库在字符串到类型和类型到字符串转换方面采用了 boost::lexical_cast 的方法,建立在过去的 boost::lexical_cast 经验之上,并将该转换功能进一步发展,以额外提供:* 抛出和非抛出转换失败行为;* 支持在转换失败时返回的默认值;* 两种类型的转换失败检查——基本检查和更好/安全检查;* 基于标准 I/O 流和标准(或用户定义)的 I/O 流基于操纵器(如 std::hex、std::scientific 等)的格式化支持;* 本地化支持;* 支持符合 boost::range 的基于 char 和 wchar_t 的字符串容器;* 对目标类型没有默认构造的要求;* 一致的框架,用于统一合并任何类型到类型的转换。

它是一个必不可少的工具,其应用广泛使用配置文件或必须处理/准备大量数据,例如在 XML 等中。

正在开发的库

请告知您目前正在开发的任何打算提交审查的库。

镜像

作者

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 既具有分解行为(在时间维度上),也具有累积行为(在关联值上)。

StlConstantTimeSize

作者Vicente J. Botet Escriba
下载Boost 存储库
描述Boost.StlConstantTimeSize 定义了一个 stl 容器列表的包装器,允许用户选择 size 函数的复杂度:线性时间、常数时间或准常数时间。在未来的版本中,库可以包含一个类似的包装器到 slist。

InterThreads

作者

Vicente J. Botet Escriba

下载

Boost 存储库

描述

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,添加了线程设置/清理装饰器、线程特定共享指针、线程保持活动机制和线程元组。

通道

作者

Yigong Liu

下载

http://channel.sourceforge.net

描述

Channel 是一个 C++ 模板库,用于为分布式消息传递和事件分派提供命名空间。消息发送方和接收方绑定到命名空间中的名称;绑定和匹配规则决定哪些发送方将绑定到哪些接收方(绑定集);然后消息传递可以在绑定的发送方和接收方之间发生。

命名空间的类型是 Channel 的模板参数。各种命名空间(线性/层次/关联)可用于不同的应用程序。例如,可以使用整数 ID 在线性命名空间中发送消息,可以使用字符串路径名称 ID(例如“/sports/basketball”)在层次命名空间中发送消息,可以使用正则表达式模式或 Linda 元组空间样式元组在关联命名空间中发送消息。

Dispatcher 是 Channel 的另一个可配置模板参数;它从发送方分派消息/事件到绑定的接收方。分派器的设计可以在多个维度上有所不同:消息如何移动:推或拉;回调如何执行:同步或异步。示例分派器包括:同步广播分派器、具有 choice_arbiter 和 join_arbiters 的异步分派器。

命名空间和分派器是正交的;它们可以自由混合和匹配。命名空间和名称绑定为发送方和接收方创建绑定集,而分派器是在绑定集上定义的算法。

可以连接分布式通道以允许透明的分布式消息传递。过滤器和转换器用于控制命名空间更改。

位字段

作者Vicente Botet
下载
描述

我已经在 Emile Cormier 的许可下调整了 Bitfield 库,我想将其添加到正在开发的库列表中。该库非常稳定,但在将其添加到正式审查计划列表之前,我想添加一些与 Boost.Endian 的测试。

Boost.Bitfield 包括
  • 一个通用的位字段特征类,提供通用的 getter 和 setter 方法。

  • 一个 BOOST_BITFIELD_DCL 宏,使位字段特征和位字段 getter 和 setter 函数的定义更容易

    struct X {
        typedef boost::ubig_32 storage_type;
        storage_type d0;
        typedef unsigned int value_type;
        BOOST_BITFIELD_DCL(storage_type, d0, unsigned int, d00, 0, 10);
        BOOST_BITFIELD_DCL(storage_type, d0, unsigned int, d01, 11, 31);
    };
    

同步

作者Vicente Botet
下载Boost 存储库: Boost 沙盒: Html 文档仅包含在存储库中
描述Synchro 提供
  • 基于可锁定(互斥体)概念和锁(保护)概念的 Boost.Thread 和 Boost.Interprocess 同步机制的统一用法。

    • 可锁定特征和锁生成器,
    • 可锁定的通用自由函数,如:locktry_lock 等。
    • Boost.Thread 和 Boost.Interprocess 锁模型的锁适配器,
    • 使用相应的单线程程序模型对其进行补充:null_mutexnull_condition 类,
    • 锁定族,
    • semaphorebinary_semaphore
    • condition_lockable 锁,将锁及其关联条件放在一起。
  • 一种连贯的基于异常的定时锁方法,用于函数和构造函数,

  • 丰富的锁调色板,如

    • strict_lockernested_strict_locker
    • condition_locker,
    • reverse_lockernested_reverse_locker
    • locking_ptron_derreference_locking_ptr
    • externally_locked,
  • array_unique_locker 用于多个可锁定对象。

  • 多个可锁定对象的通用自由函数 locktry_locklock_untillock_fortry_lock_untiltry_lock_forunlock

  • Boost.Thread 和 Boost.Interprocess 可锁定模型的锁适配器,

  • lock_untillock_fortry_lock_untiltry_lock_for

  • 一个多态的可锁定层次结构。

  • 用于处理更复杂同步问题的更高级别的抽象,包括

    • monitor 用于保证对对象的独占访问。
  • 一种用于处理对象之间直接通信的会合机制 concurrent_components 通过 ports 使用基于 Beta 语言并发库设计的接受同步协议。

  • 类似语言的同步块宏