Question

这是我尝试写的模板（队列）：

#include <iostream>

using namespace std;

template <typename T>
class Queue
{
    friend ostream& operator<< (ostream &, const Queue<T> & );
private:
    template<class> class Node;
    Node<T> *front;
    Node<T> *back;
public:
    Queue() : front(0), back(0) {}
    ~Queue();
    bool Empty()
    {
        return front == 0;
    }
    void Push(const T& NewEl)
    {
        Node<T&> *El = new Node<T> (NewEl);
        if (Empty())
            front=back=El;
        else
        {
            back-> next = El;
            back = El;
        }
    }
    void Pop()
    {
        if (Empty())
            cout << "Очередь пуста." << endl;
        else
        {
            Node<T> *El = front;
            front = front -> next;
            delete El;
        }
    }
    void Clear()
    {
        while (! Empty())
            Pop();
    }
};

template <typename T>
class Node
{
    friend class Queue<T>;
public:
    Node() {next = 0;}
    Node(T nd) {nd=node; next=0;}
    T& getsetnode(){return node;}
    Node<T>*& getsetnext(){return next;}
private:
    T front;
    T back;
    T node;
    Node<T> *next;
};

template <class T> ostream& operator<< (ostream &, const Queue<T> & );

int main()
{
    Queue<int> *queueInt = new Queue<int>;
    for (int i = 0; i<10; i++)
    {
        queueInt->Push(i);
        cout << "Pushed " << i << endl;
    }
    if (!queueInt->Empty())
    {
        queueInt->Pop();
        cout << "Pop" << endl;
    }
    queueInt->Front();
    queueInt->Back();
    queueInt->Clear();
    cout << "Clear" << endl;
    return 0;
}

在这些方面：

    Node<T&> *El = new Node<T> (NewEl);

    front = front -> next;
    delete El;

我得到Implicit instantiation of undefined template 'Queue<int>::Node<int>'。我究竟做错了什么？阅读this post后，我尝试将int更改为const int以查看是否存在问题，但显然不是，因为我收到同样的错误。

我正在使用带有LLVM编译器4.2的XCode。当我切换到GCC时，我得到更多错误：

template<class> class Node;获取Declaration of 'struct Queue<int>::Node<int>'， Node<T&> *El = new Node<T> (NewEl);获取Invalid use of incomplete type，任何与El分配任何内容的事情都无法将<int&>*转换为<int>*（但删除引用并不会改变LLVM的任何内容）。

Answer 1

template <typename T>
class Queue
{
private:
    template<class> class Node;
/* ... */

这是Queue::Node的前瞻性声明。后者定义class Node在全局命名空间中，因此它们不相同，Queue::Node的任何使用都将导致不完整类型错误。既然您没有提供内部节点的接口，那么只需删除Node的全局定义并将其粘贴到Queue：

template <typename T>
class Queue
{
private:
    class Node
    {
    public:
    Node() {next = 0;}
    /* ... */
     };
/* ... */
};

未定义模板的隐式实例化

1 个答案: