为什么在这个模板中使用 typedef 是必要的？

Question

当我在 Visual Studio 2005 中编译这段代码时：

  template <class T>
  class CFooVector : public std::vector<CFoo<T>>
  {
  public:
    void SetToFirst( typename std::vector<CFoo<T>>::iterator & iter );
  };

  template <class T>
  void CFooVector<T>::SetToFirst( typename std::vector<CFoo<T>>::iterator & iter )
  {
    iter = begin();
  }

我收到以下错误：

c:\home\code\scantest\stltest1\stltest1.cpp(33) : error C2244:     'CFooVector<T>::SetToFirst' : unable to match function definition to an existing declaration
    c:\home\code\scantest\stltest1\stltest1.cpp(26) : see declaration of 'CFooVector<T>::SetToFirst'
    definition
    'void CFooVector<T>::SetToFirst(std::vector<CFoo<T>>::iterator &)'
    existing declarations
    'void CFooVector<T>::SetToFirst(std::_Vector_iterator<_Ty,_Alloc::rebind<_Ty>::other> &)'

如果我将 typedef 添加到 CFooVector 模板，我可以让代码编译并工作：

  template <class T>
  class CFooVector : public std::vector<CFoo<T>>
  {
  public:
    typedef typename std::vector<CFoo<T>>::iterator FooVIter;
    void SetToFirst( FooVIter & iter );
  };

  template <class T>
  void CFooVector<T>::SetToFirst( FooVIter & iter )
  {
    iter = begin();
  }

我的问题是，为什么 typedef 在使用裸 'typename std::vector>::iterator' 声明不起作用时起作用？

Answer 1

这也可以编译并揭示 VC++ 混淆的根源——分配器类型。显然在类 VS 之外选择了不同的默认值。或者它可能无法识别它们是相同的。

在 VS2008（原样）和 VS2003（>> 之间有空格）上编译

template <class T>
class CFoo
{
public:
    T m_t;
};

template <class T>
class CFooVector : public std::vector<CFoo<T>>
{
public:
    void SetToFirst(typename std::vector<CFoo<T>, typename CFooVector::_Alloc>::iterator & iter);

};

template <class T>
void CFooVector<T>::SetToFirst( typename std::vector<CFoo<T>, typename CFooVector::_Alloc>::iterator & iter )
{
    iter = begin();
}

GCC 3.4 需要 this->begin() 和空间，但否则它可以在没有显式分配器类型的情况下编译代码...绝对看起来像 MS 编译器没有应有的智能...

Answer 2

问题不是关于 typedef 而是 typename。

每当编译器遇到依赖于模板的名称时（基本上，任何在模板之后使用:: 的东西，它都无法确定这是一个类型还是一个值（它可能是一个静态 int，例如)，所以它需要一个提示。

当您添加 typename 时，您指定依赖成员实际上是一个类型。

在您的 typedef 示例中，您在 typedef 声明中仍然有 typename，但是一旦声明了 typedef，它就不是依赖名称。它只是一个类型，所以 typename 在引用 typedef 时不是必需的。

基本上，编译器无法确定std::vector<CFoo<T>>::iterator 是一个类型。

但它知道FooVIter 是一个类型，因为它是一个typedef。 Typedef 始终是类型。

Answer 3

typename 是这里最重要的关键字。

需要注意的是：

>>

它们之间应该有一个空格，以免编译器误以为你正在使用

operator>>

如果没有你的整个代码，我不知道为什么使用 typename 后会出现问题。也许你在类定义之外的定义中不需要它？

另外，这样做可能会更好：

template <typename T>

而不是

template <class T>

顺便说一句，从 STL 类派生不是一个好主意，除非你非常非常小心。

STL 类没有虚拟析构函数。

Answer 4

对我来说似乎可以正常工作如果我进行了以下更改 -

template <class T>
class CFoo
{
public:
T m_t;
};

template <class T>
class CFooVector : public std::vector< CFoo<T> >
{
public:
void SetToFirst( typename std::vector<CFoo<T> >::iterator & iter );
};

template <class T>
void CFooVector<T>::SetToFirst( typename std::vector<CFoo<T> >::iterator & iter )
{
iter = begin();
}

我基本上将std::vector<CFoo<T>> 更改为std::vector<CFoo<T> >，否则编译器（在我的例子中是gcc）会将其识别为>> 运算符。

Answer 5

另一个有趣的地方：如果您在SetToFirst() 的定义中不对vector 使用std:: 名称限定符，VS2008 会编译您的第二次尝试：

  template <class T>
  class CFooVector : public std::vector< CFoo<T> >
  {
  public:
      void SetToFirst( typename std::vector< CFoo<T> >::iterator & iter );
  };

  template <class T>
  void CFooVector<T>::SetToFirst( typename /*std::*/vector< CFoo<T> >::iterator & iter )
  {
    iter = begin();
  };

请注意，它似乎只对定义很重要，而不是声明。我还感兴趣的是，是否有“using namespace std;”并不重要......

我真的不知道该怎么做。