c++ - 带指针的模板类的析构函数

Question

我有一个问题。考虑这个模板类

template<class T> 
class nodo{
public:
    T data;
};

假设我没有重新定义析构函数。如果我们假设 T=int，则标准析构函数会释放数据。但是如果 T=int* 会发生什么？只是指针要被释放还是对象也被指向了？理论上只是指针。

如何释放指向的对象？最后，我该如何编写一个模板类的析构函数，该类的模板参数可以是一个指针(以及显式释放指针)？

Answer 1

您最好的选择是使用 std::unique_ptr<int>或 std::shared_ptr<int>作为模板参数，即使用

nodo<std::unique_ptr<int>> n1;

代替

nodo<int*> n1;

你可以试试这样的:

// Noop deleter
template <typename T> struct deleter
{
   void operator()(T& ptr) {}
};

// deleter that does something
template <typename T> struct deleter<T*>
{
   void operator()(T* ptr) { delete ptr; }
};


template<class T> 
class nodo{
public:
   using deleter_t = deleter<T>;
    T data;

    ~nodo()
    {
       deleter_t()(data);
    }
};

但是，您还得担心另一种蠕虫病毒。 nodo 时会发生什么是复制构建或分配给另一个 nodo目的？您需要处理所有造成 The Rule of Three 的问题和 The Rule of Five相关。