模板参数名命名惯例

 
模板参数名命名惯例

以下模板参数名命名惯例来自于stlsoft，详细说明于《Extended STL》。

模板参数一般是一个或者两个大写字母，
例如T（type/value-type）、S（sequence/string）、
C（container/character）、VP（value policy type）等等。

这样做有两个原因。

首先，全大写字母的单词可能被宏定义。
相反，宏定义一般不会仅有一个或两个字符。
所以模板参数和宏定义没有命名冲突。

（我们不应该自定义特别短的宏。
如果一个库定义了一两个字符的短宏，
一般来说，它绝不会是一个可靠的库。）

第二，我们将在类中定义成员类型，其名字必须不同于模板参数名。

以下代码中，成员类型和模板参数同名，无法通过编译：

template <typename iterator>
struct thing
{
    typedef iterator iterator; // Compile error
};

必须如下代码更改：

template <typename I>
struct thing
{
    typedef I iterator;
};

在定义模板类时，有一个惯例，
即一开始就以上面短小的模板参数名为基础，
定义各个成员类型。


查看StlPort代码：

template <class _Key, class _Tp, ...>
class map
{
  typedef map<_Key, _Tp, _Compare, _Alloc> _Self;
public:
  typedef _Key                  key_type;
  typedef _Tp                   data_type;
  typedef _Tp                   mapped_type;
  typedef pair<const _Key, _Tp> value_type;
  typedef _Compare              key_compare;

  ...
}

其模板参数命名的原则是一致的：较短，然后立即定义较长的类型名。
用前导下划线防止命名冲突。

（转载请注明来源于金庆的专栏）