4

我有一个在内部使用多个 STL 列表的小类

template<class T>
class MC_base {

  using OBJ_LIST  = std::list<T>;
  using OBJ_VAL   = typename OBJ_LIST::value_type;
  using OBJ_ITR   = typename OBJ_LIST::iterator;
  using OBJ_CITR  = typename OBJ_LIST::const_iterator;

  OBJ_LIST A,B,C;
  ...
};

使用这些using语句，如果我在类定义中编写一个迭代器，它看起来又好又干净：

OBJ_ITR begin() { return A.begin(); };
OBJ_ITR end()   { return A.end();   };
OBJ_CITR begin() const { return A.begin(); };
OBJ_CITR end()   const { return A.end();   };

再次在类定义中编写新函数很容易，因为我可以OBJ_XXXX在需要时简单地使用名称。此外，如果我稍后决定更改容器类型（比如说std::vector），我只需更改一行，只要我的新容器支持所有相同的操作，一切都应该是无缝的。

但是，当我想在类定义之外定义一个新的类函数时，这是有问题的

template<class T>
OBJ_ITR MC_base<T>::foo(OBJ_ITR x) { ... }

我不确定如何“带出” using 语句，以便它们与模板一起正常工作，而不是为每个过于冗长的函数定义它们。另外，我不想用我的 using 语句污染命名空间。

是否有正确使用using模板的方法？

4

2 回答 2

5

在课堂之外，您需要限定名称。您还需要使用typename关键字向编译器保证这些名称是每个专业化中的类型。

template<class T>
typename MC_base<T>::OBJ_ITR MC_base<T>::foo( typename MC_base<T>::OBJ_ITR x ) { ... }

9.3p2 要求

出现在类定义之外的成员函数定义应出现在包含类定义的命名空间范围内。

这可以防止对存在这些名称的定义使用更嵌套的范围。更不用说这些名称依赖于模板参数的问题了。

最好的解决方案可能是内联编写这些函数。这些是模板类的成员，因此无论如何都必须将它们包含在头文件中。

于 2013-09-03T14:43:00.510 回答
5

您可以使用尾随返回类型。类型在类的范围内查找，与参数类型一样，因此嵌套类型不需要限定。

template<class T>
auto MC_base<T>::foo(OBJ_ITR x) -> OBJ_ITR { ... }
于 2013-09-03T15:19:27.057 回答