c++ 带模板的析构函数：T 可以是指针，也可以不是

Question

我在编写模板类 win C++ 时遇到了一个小问题。 问题很简单：我不知道是否对参数化类型执行delete，因为它可以是，也不能是指针。

我看过这个：Destructor in template class c : How to delete field which may be pointer or not pointer?

我已经实现了第一个解决方案，但这需要我专攻整个班级，所以这意味着我必须有 2 个班级：

template<class T>
class Node {
private:
    T _content;
public:
    Node(const T c); 
    ~Node();
};

和

template<class T>
class Node<T*> {
private:
    T _content;
public:
    Node(const T c); 
    ~Node();
};

我只想要第二个版本并专门只析构函数如下：

template<class T>
class Node<T*> {
private:
    T _content;
public:
    Node(const T c); 
    ~Node();
};
template <class T>
Node<T>::~Node() {
    while(!_adjacent.isEmpty()) {
        disconnectFrom(_adjacent.first());
    }
}
template <class T>
Node<T*>::~Node() {
    while(!_adjacent.isEmpty()) {
        disconnectFrom(_adjacent.first());
    }
    delete _content;
}

然后我收到以下错误：

Node.hpp:43:17: error: invalid use of incomplete type ‘class Node<T*>’
Node.hpp:8:7: error: declaration of ‘class Node<T*>’

有没有办法只专门化构造函数以避免有 2 个类（我的 Node 类比我在这里展示的要大得多）？

谢谢！

Answer 1

一种解决方案是使用特征类：

template<typename T> struct delete_traits
{
  void destroy(T&) {}
};

template<typename T> struct delete_traits<T*>
{
  void destroy(T* p) { delete p; }
};

然后在你的类析构函数中写

delete_traits<T>::destroy(_contents);

除了不必专门化 Node 模板之外，它还有一个额外的优势，即您可以轻松添加其他方式来破坏事物，而无需触及您在其中定义的文件 Node，只需添加另一个模板专门化：

// assumes that mylib_handle is a truly different type, maybe a C struct
// from the C interface of a library
template<> struct delete_traits<mylib_handle>
{
  void destroy(mylib_handle& h) { mylib_handle_free(m); }
};

Answer 2

根本不要专门化Node。只需为您的意图使用正确的类型：

• 独资：std::unique_pointer<T>。
• 共享所有权：std::shared_pointer<T>。
  • 共享所有权的反向链接：std::weak_pointer<T>。
• 无所有权：原始指针

如果您需要特定的析构函数，这些模板有一个参数。
此外，您可以将它们用于句柄等，即使它们没有命名为指针。

Answer 3

看来你想要这个：

template<class T>
class Node {
private:
    T _content;
public:
    Node(const T c) : _content { c } {}
    ~Node() {}
};

template<class T>
class Node<T*> {
private:
    T* _content;
public:
    Node(const T* c) : _content { c } {}
    ~Node() { delete _content; }
};

而且，正如@Constructor 所说，不，你不能只专门化析构函数，你必须做整个类......但如果类更大，你可以将共性重构为基类，然后你' d 有类似的东西：

template<class T>
class BaseNode {
private:
  template<class> friend class Node;
    T _content;
public:
    BaseNode(T c) : _content { c } {}
    ~BaseNode() {}
};

template<class T>
struct Node : BaseNode<T> {
  Node(T c) : BaseNode<T>(c) {};
  ~Node() {}
};

template<class T>
struct Node<T*> : BaseNode<T*> {
  Node(T* c) : BaseNode<T*>(c) {};
  ~Node() { delete BaseNode<T*>::_content; }
};