Boost C++ 库

...世界上最受尊敬和设计最精良的 C++ 库项目之一。 Herb SutterAndrei Alexandrescu, C++ 编码标准

文本和HTML中的特性模型图

作者:Beman Dawes

简介

在他们的开创性著作《Generative Programming》中,Czarnecki 和 Eisenecker (C&E) 描述了如何构建特性模型 [C&E 4.4],该模型由特性图以及语义、原理和其他属性组成。然后,特性模型用于驱动设计周期,最终导致手动或自动组装配置。

特性模型提供了一种语言来描述库的可变性,这在 boost.org 讨论中经常是一个问题。“语言塑造我们的思维方式,并决定我们可以思考什么”的沃夫假说似乎适用。在讨论库可变性问题时,我们一直因缺乏良好的语言而受到阻碍。有了特性模型,我们现在有了一种语言来进行对话。

C&E 提出的图形化特性图不适合 boost.org 依赖的电子邮件讨论形式。特性图的层次结构可以用简单的基于文本的特性图语言来表示。特性模型还可以利用 HTML 中固有的超链接。

语法

特性图语言的语法以扩展巴科斯-诺尔范式表示;::= 表示产生式,[...] 表示选项,{...} 表示零个或多个实例,| 表示备选项。

feature-model       ::= concept-name details { feature }

feature             ::= feature-name [details]

details             ::= "(" feature-list ")"      // required features
                      | "[" feature-list "]"      // optional features

feature-list        ::= element { "|" element }   // one only
                      | element { "+" element }   // one or more
                      | element { "," element }   // all
                                                  // [a+b] equivalent to [a,b]

element             ::= feature
                      | details
concept-name        ::= name

feature-name        ::= name

通常的词法约定适用。名称不区分大小写,由前导字母组成,后跟字母、数字、下划线或连字符,不允许空格。

每个名称的至少一个实例应超链接到相应的特性描述

虽然该语法旨在用于人与人之间的书面交流,但它也可能很容易地被机器解析,供自动化工具使用。

描述性信息与每个概念或特性相关联。根据 [C&E 4.4.2],这包括

  • 语义描述。
  • 原理。
  • 利益相关者和客户端程序。
  • 示例系统。
  • 约束和默认依赖规则。
  • 可用站点、绑定站点和绑定模式。
  • 开放/封闭属性。

什么是特性?

特性 [C&E 4.9.1] 是“用户或客户端程序可能想要控制的关于概念的任何事物。因此,在特性建模期间,我们不仅记录功能特性……还记录实现特性……各种优化、替代实现技术等等。”

示例

special-container ( organization,
                    performance,
                    interface  )         // all required

organization [ ordered + indexed ]       // zero or more (4 configurations)

indexed [ hash-function ]                // zero or one  (2 configurations)

performance ( fast | small | balanced )  // exactly one  (3 configurations)

interface ( STL-style + cursor-style )   // one or more  (3 configurations)

应该有 some-container, organization, ordered, indexed, hash-function, performance, fast, small, balanced, interface, STL-style, and cursor-style 的特性描述。

可能的配置数量为 (2 + 2*2) * 3 * 3 = 54,假设没有约束。

存在等效的表示形式。例如

special-container ( organization[ ordered+indexed[ hash-function ]],
                    performance( fast|small|balanced ),
                    interface( STL-style+cursor-style ) )

参考文献

Krzysztof Czarnecki 和 Ulrich W. Eisenecker, Generative Programming, Addison-Wesley, 2000, ISBN 0-201-30977-7