不合格的ID和模板类

Unqualified IDs and Template Classes

本文关键字：ID 不合格      更新时间：2023-10-16

我一直在为循环列表编写一个自定义类，称为CList。我一直把它建立在很久以前完成的一项家庭作业的基础上，做了很多复制粘贴，所以我不太记得我写的所有作品。

无论如何，简单地尝试包含.h文件会导致我在使用命名空间std行出现错误：

main.cpp:11: error: expected unqualified-id before ';' token

还有两个错误指向我代码中的一个函数：

In file included from main.cpp:9:
CList.h:119: error: non-template 'CIterator' used as template
CList.h:119: note: use 'CList<T>::template CIterator' to indicate that it is a template

这就是有问题的功能：

template <class T> 
typename CList<T>::CIterator<T> CList<T>::push(T const& v) 
{
    size++;  
    Node<T>* p = new Node<T>(v);
    if (this -> size_ == 1)
    {
        head = p;
        tail = p;
        p -> next = p;
        p -> prev = p;
    }
    else
    {
        tail -> next = p;
        p -> next = head;
        p -> prev = tail;
        head -> prev = p;
        tail = p;
    }
    return CIterator(p);
}

我真的不明白这里的错误是什么。我告诉函数返回CList的CIterator，并表示这个函数是CList类的一部分。当我读到这一行时，我就明白了

typename CList<T>::CIterator<T> CList<T>::push(T const& v)

为什么它认为CITERAT是模板，而T显然是模板？我只是很困惑。

错误消息指出CIterator<T>不被视为模板。这是因为它是一个依赖名称，编译器只能在实例化时真正确定它实际上是一个嵌套模板。解决这个问题的方法是告诉编译器它实际上是一个模板：

template <class T> 
typename CList<T>::template CIterator<T> CList<T>::push(T const& v) 
{
    ...
}

编译器不知道CList<T>::CIterator<T>是否是模板的原因是，类CList<X>可能专门用于某些类型的X，使其内部没有嵌套模板。然而，编译器只有在实例化模板时才能发现这些专门化。

相关文章：