作者:

Gabriel Dos Reis
Texas A&M University
gdr@cs.tamu.edu

Bjarne Stroustrup
Texas A&M University
and AT&T Labs — Research
bs@cs.tamu.edu

摘要

C++ 模版是成功设计当前的主流库和系统的关键. 在不同的领域里, 从传统的普通目标的编程到有严格安全要求的关键嵌入式系统软件, 模版都是基本的编程技术. 当前, 对模版的增强工作集中在 concepts (模版的类型系统) 的概念上, 它能够极大地改进错误诊断和增进表达能力, 比如基于 concepts 的重载 (overload) 和函数模版的部分特化. 这篇文章特别展示了 C++ 模版在分离编译的相关方面的问题. 我们考虑的问题是怎样以一种精确的但又足够简单, 对普通程序员有用的方式来表达 concepts. 其中, 我们展现了一些当前的 C++ 标准规范的弱点, 并建议一个更精确和完整的规范. 我们也提出了一种系统性的方法, 来将我们建议的 concepts 定义, 它是基于使用模式的而非函数签名的, 转换成约束集. 这些约束集能够方便地作为编译器进行 concepts 检查的基础.

Categories and Subject Descriptors D.3.3 [Programming
Languages]: Language Constructs and Features; F.3.3 [Logic
and Meanings of Programs]: Studies of Program Constructs

General Terms Languages, Design, Performance

Keywords C++ Templates, C++ Concepts, Type Systems,
Separate Compilation, Generic Programming