Question

有点奇怪，我成功实施了自己的模板链表作为一段时间的教育练习。现在我知道它有效，我一直在使用它来创建一个包含“Sprite”对象的节点列表，当时我理解它但是我今天回去看了它，我真的很困惑。

如果你能够善待我的实施并帮助我弄清楚。

程序如何知道应该为_data（在Node中）分配一个NodeType对象？（如果你原谅可怜的措词）我的意思是我有这个功能SetData但我从来没有使用它。例如，当我在列表上推送PushBack时，我只是创建一个新的ListType节点，但我从未设置该节点的数据。节点构造函数不会说_data = new NodeType或其他任何内容。

然而，我可以在列表中的任何节点上调用GetData()并获取一个Sprite对象。我的意思是我知道它有效，但我已经忘记了！有人可以看看并提醒我吗？非常感谢！

Node.hpp：

#if !defined NODE_HPP
#define NODE_HPP


template<typename NodeType>
class Node{

   public:
      Node( Node* prev = 0, Node* next = 0);
      void SetData(NodeType newData);
      NodeType* GetData();
      Node* GetPrev();
      Node* GetNext();

   private:
      template<typename ListType>
      friend class List;

      NodeType _data;
      Node* _prev;
      Node* _next;

};


///implement Node

template <typename NodeType>
Node<NodeType>::Node(Node* prev, Node* next) : _prev(prev), _next(next)
{}
template <typename NodeType>
void Node<NodeType>::SetData(NodeType newData)
{
   _data = newData;
}
template <typename NodeType>
NodeType* Node<NodeType>::GetData()
{
   return &_data;
}
template <typename NodeType>
Node<NodeType>* Node<NodeType>::GetPrev()
{
   return _prev;
}
template <typename NodeType>
Node<NodeType>* Node<NodeType>::GetNext()
{
   return _next;
}
#endif //define

List.hpp

#if !defined LIST_HPP
#define LIST_HPP

#include "Node.hpp"

///since we're creating a template everything must be defined in the hpp

template <typename ListType>
class List
{
   public:
      List();
      bool Empty();
      void PushFront();
      void PushBack();
      void PopBack();
      void ClearList();
      Node<ListType>* GetHead();
      Node<ListType>* GetTail();
      int NumberOfNodes();

   private:
      Node<ListType>* _head;
      Node<ListType>* _tail;
      int _size;

};


///implement List class here
template <typename ListType>
List<ListType>::List() : _head(0), _tail(0), _size(0)
{
}
template <typename ListType>
bool List<ListType>::Empty()
{
   return _size == 0;
}
template <typename ListType>
void List<ListType>::PushFront()
{
   _head = new Node<ListType>( _head , 0 );
   if(Empty()) //this is the start of a new list, need to set _tail as well
      _tail = _head;
   else
      _head->_prev->_next = _head; //set previous nodes _next to new _head


   ++_size;
}
template <typename ListType>
void List<ListType>::PushBack()
{
   _tail = new Node<ListType>( 0 , _tail);
   if(Empty()) //this is the start of a new list, need to set _head as well
      _head = _tail;
   else
      _tail->_next->_prev = _tail; // set old tails _prev to new tail

   ++_size;
}
template <typename ListType>
void List<ListType>::PopBack()
{
   if(!Empty()){
      if(_tail != _head)
      {
         _tail = _tail->_next;
         delete _tail->_prev; //delete memory at old tail
         _tail->_prev = 0; //reassign new tails _prev pointer to null
      }
      else  // We are deleting the last node so treatment is a little different.
      {
         delete _tail;
         _tail = 0; _head = 0;
      }

      --_size;
   }
}
template <typename ListType>
void List<ListType>::ClearList()
{
   while(!Empty())
      PopBack();


}

template <typename ListType>
Node<ListType>* List<ListType>::GetHead()
{
   return _head;
}
template <typename ListType>
Node<ListType>* List<ListType>::GetTail()
{
   return _tail;
}
template <typename ListType>
int List<ListType>::NumberOfNodes()
{
   return _size;
}
#endif //define

Answer 1

构造函数没有明确地对_data做任何事情，所以它默认初始化它*。换句话说，在构造之后，_data是默认构造的NodeType。它NodeType不是默认的可构造的，模板专门化不会编译。该计划＆＃34;知道＆＃34;执行此初始化是因为希望您的编译器遵循C ++标准中规定的规则。

至于知道类型，编译器本质上替换NodeType，其中您使用该类型实例化模板，并使用此替换创建新类型。所以Node<std::string> would result in a type where _ data is of type std :: string`。

如果NodeType是宣传类型，则不会进行初始化，而_data会保留任何旧的垃圾值。

关于我的模板链接列表

1 个答案: