c++ - 通用迭代器/指针初始化

Question

我有一个 C++ 类 Finder在容器中存储一个位置以及一些额外的数据。此类容器的类型为 std::string还有char *或 MyString .比如说，这个类看起来像这样(Iterator<TContainer>::Type 是一个特征/元函数，它返回给定容器的迭代器类型):

template <typename TContainer>
class Finder
{
public:
  typedef typename Iterator<TContainer>::Type TIterator;
  TIterator iterator;

  // Initialization of iterator: How to do it generically?

  // Finder {}                       // problem with pointers!
  // Finder() : iterator(0) {}       // problem with iterators!
};

现在主要的问题是如何初始化迭代器，可以是指针也可以是迭代器。如果我只想支持我自己的容器，那么我可以简单地实现一个采用 nullptr_t 的构造函数。以下 the nullptr idiom .然而，由于我想支持指针，我自己的迭代器 和 STL 迭代器，我在这里有点跑题了。

我能想到的最好的事情就是写一个 getNil<>()功能，例如下面的代码。然而，现在至少出现了三个问题:

1. 这是实现我目标的最佳方式吗？

2. 如何判断一个类型是否为STL迭代器？我可能需要一些 #if s，并为要使用的每个编译器/STL 版本定制代码。

3. 是否有可能在 STL 中得到一个 nil 迭代器？是 x-y 的结果在std::vector<int> x, y; int x = x-y;有定义吗？

代码:

// Forward declaration.
template <typename T>
T getNil<T>();

template <typename TValue> TValue * getNil<TValue *>()
{ return NULL; }

template <typename TValue> TValue * const getNil<TValue * const>()
{ return NULL; }

template <> TValue * const getNil<MyIterator>()
{ return MyIterator(nullptr); }  // nullptr from above idiom

template <> TStlIterator
boost::enable_if<
    MagicallyDetermineIfIsStlIterator<TStlIterator>::value,
    TStlIterator>
getNil<TStlIterator>()
{ return MyIterator(nullptr); }  // nullptr from above idiom

Answer 1

Finder() : iterator() { }

应该可以解决问题。不为初始化列表中的成员提供参数将调用具有默认构造函数的类型的默认构造函数，并将零初始化 POD 类型，包括指针(如果类型没有默认构造函数，它将失败，但这似乎不太可能你的场景)。