C＋＋特性约束检查（上）.pdfVIP

o～oc[ ～长 C++特性约束检查 (上) 本文讨论了一种允许用户定义任意代码特性集，并保证在编译时被调用函数满足调用者所有代码特性 要求的机制。 ■文 ／ScottMeyers译 ／罗小平 概述 代码特性的创建 函数功能的实现，常常依赖于所调用代码的行为特征 代码特性可通过空声明体的结构标记定义，这和在标 (“特性”)。例如，在线程安全的代码中调用的其他代码， 准C++库中用结构描述STL遍历器类别是类似的 【注仃】。 必须是线程安全的，才能继续保有其线程安全特性；同样， 用于描述代码特性的结构可称为特性类 (featureclasses)， 异常安全的代码调用的其他代码，也应该是异常安全的。 类似于用结构描述类型特征的特征类 (traitsclasses)注【9、 本文将讨论这样一种技术：能够任意组合用户在函数层面 171。下面是特性类的一些例子： 上 自定义的代码特性，并在编译时检测出代码中是否存在 违反这些特性所具有约束的行为。这项技术可应用于成员 struct ThreadSafe {}， structExceptionSafe ” j 函数 (包括虚函数和非虚函数)、非成员函数以及函数模板， struct Portable { 但不包括操作符。 在C++的const成员函数中，只能调用同对象的其他 和STL的遍历器类别一样，这些结构仅仅是一种标识， const成员函数——唯一的例外是在调用栈剥离了this的 并没有实际的语法含义。比如这里的 “ThreadSafe”和 常量性 (constness)的情况。我们可将const成员函数的 “Portable”，完全 由程序员定义，我们常常通过其字面意思 常量性看作一种代码特性，将不允许const成员函数调用非 理解它所描述的代码特性和约束要求。 const成员函数看作一种约束。显然，这种约束不允许依赖 多个特性的组合，可用编译时的特性类集合 (如类型 于某种特性的代码调用不具有同样特性的其他代码。 集合)来表述。在Boost中，利用MPL(Metaprogramming 上述const特性约束是由C++编译器强制执行的，而 Library，元编程库)可 以很方便 的创建这种集合。MPL 其他很多常用代码特性的约束并不会被 自动检测。例如： 提供 了类似STL中的容器、遍历器和编译时信息 (如类 ·线程安全的代码，应该只允许调用其他线程安全的 型)算法。例如，可像下面这样创建编译时vector式容器 代码。否则不能保证结果的线程安全。 TESafe，它包含类型ThreadSafe和ExceptionSafe： ·异常安全的代码应该只能调用其他异常安全的代码， 否则也不能保证结果的异常安全。 typedefboos￡：：mpl：：vectorTihreadSafe， Except主0nSare TESafe ·在可移植的代码中调用的其他代码也应该是可移植 的，不然最终的代码也不能保证可移植。 一 般而言，应该用set类型定义代码特性容器。MPL 如果能够任意指定代码特性，并可在编译时自动检查 提供了set容器，但在Boost1．34．(是 目前最新版本，此版 对应约束的执行情况就方便了。本文就将讨论如何在C++ 本改进了搜索算法)中，mpl：：set的实现存在缺陷，导致不 中