模板对象作为模板类的静态成员

Question

想象以下模板类（省略了成员_t setter和getter）：

template<class T>
class chain
{
public:
  static chain<T> NONE;

  chain()
   : _next(&NONE)
  {}

  ~chain() {}

  chain<T>& getNext() const
  {
    return *_next;
  }

  void setNext(chain<T>* next)
  {
    if(next && next != this)
      _next = next;
  }

  chain<T>& getLast() const
  {
    if (_next == &NONE)
      return *this;
    else
      return _next->getLast();
  }

private:
  T _t;
  chain<T>* _next;
};

这个概念的基本思想是，我没有使用空指针，而是拥有一个静态的默认元素，该元素在保持技术上有效的同时担当了这个角色。 这可以防止空指针的某些问题，同时使代码更冗长...

我可以很好地实例化此模板，但是链接器在静态成员对象NONE上给出了一个未解决的外部错误。

我本来以为在实例化模板时，行static chain<T> NONE ; 它实际上也将是一个定义，因为它实际上发生在实例化模板的实现中。 然而，事实证明不是...

我的问题是：是否有可能实现所有目标？如果没有，在没有每个模板实例化之前都明确定义NONE元素的情况下，如何实现？

Answer 1

您仍然需要像非模板类一样在类外部定义它。 就像在非模板类中一样，您仅在类定义内声明了NONE ，但仍然需要对其进行定义：

template<class T>
class chain
{
    // the same as your example
};

// Just add this
template <class T>
chain<T> chain<T>::NONE;

Answer 2

template < typename T >
chain<T> chain<T>::NONE;

应该管用