删除非指针的通用列表

Question

我有一个带有模板的通用列表

template<class t>
class GenericList {
    //the data is storeed in a chained list, this is not really important.
    struct c_list { t data; c_list* next; ...constructor... };

public:
    bool isDelete;
    GenericList() : isDelete(false) {...}

    void add(t d) {
        c_list* tmp = new c_list(d, first->next);
        //this is not really important again...
    }

    ~GenericList() {
        c_list* tmp = first;
        c_list* tmp2;
        while(tmp->next!=NULL) {
            if (isDelete) { delete tmp->data; } //important part
            tmp2=tmp->next;
            delete tmp;
            tmp=tmp2;

        }
    }
};

重要的部分是 isDelete
这只是一个示例代码

我需要这个，因为我想存储这样的数据：

GenericList<int> list;
list.add(22);list.add(33);

而且

GenericList<string*> list;
list.add(new string("asd")); list.add(new string("watta"));

---

如果我只存储 编译器说我不能删除非指针变量，但在这种情况下我不想这样做。我该如何解决这个问题？
当我存储 时，没有编译器错误...

Answer 1

在不改变你的代码的情况下，我会解决你的问题作为

template<class t>
class GenericList 
{
  //same as before

  //add this function template
   template<typename T>
   void delete_if_pointer(T & item) {}  //do nothing: item is not pointer

   template<typename T>
   void delete_if_pointer(T* item) { delete item; } //delete: item is pointer

  ~GenericList() {
       c_list* tmp = first;
       c_list* tmp2;
       while(tmp->next!=NULL) {
          delete_if_pointer(tmp->data); // call the function template
          tmp2=tmp->next;
          delete tmp;
          tmp=tmp2;
       }
   }
};

---

编辑：我刚刚注意到@ildjarn提供了类似的解决方案。然而，有一个有趣的区别：我的解决方案不要求您在调用函数模板时提及 data 的类型；编译器会自动推导它。然而，@ildjarn 的解决方案要求您明确提及类型；编译器无法推断其解决方案中的类型。

Answer 2

我会在类中创建一个嵌套结构模板来提供帮助：

template<typename U>
struct deleter
{
    static void invoke(U const&) { }
};

template<typename U>
struct deleter<U*>
{
    static void invoke(U* const ptr) { delete ptr; }
};

然后将使用 isDelete 的行从 更改

if (isDelete) { delete tmp->data; }

为

if (isDelete) { deleter<t>::invoke(tmp->data); }

Answer 3

int 上的 delete 会使程序格式错误，因此编译器将拒绝它，即使永远不会到达 delete 。

只有从“裸”指针切换到智能指针（例如 unique_ptr 或 shared_ptr），您想要的才可能实现；这些为您处理内存管理，无需显式删除。