c++ - 试图删除作为指针的模板类型的编译器错误

Question

我是 C++ 的新手，我想了解模板的工作原理。所以我实现了一个通用列表 MyList，它可能包含内置的原始类型和指针。在 remove 函数中，我想区分指针类型和内置对象，这样我就可以删除指针后面的对象，但不影响内置对象。

为了区分模板类型，可以是指针或非指针，我编写了以下函数，它们工作正常:

// distinguish between pointer and non-pointer type of template variable
template<typename T> bool is_pointer(T t) {
    return false;
}

template<typename T> bool is_pointer(T* t) {
    return true;
}

在列表函数 remove 中，想法是测试指针并删除它们以防万一。但是，删除语句无法编译:

template<typename T> void MyList<T>::remove() {
    ...
    if (is_pointer(temp->getContent())) {
        // delete object pointer points to
        T t = temp->getContent();
        cout << t;    // prints out address
        // delete t;  // produces compiler error (see below)
}

在 main.cpp 中，我测试了各种类型的列表类，我在其他中调用:

MyList<int> mylist;                // with type int
mylist.remove();
mylist.add(3);
// add and remove elements

MyList<string> mylist2;           // with type string
...

MyList<string*> mylist3;          // with type string*
mylist.add(new string("three")); 
mylist.remove();

当我注释掉语句 delete t; 时，我可以验证控制流是否正确:只为 string* 示例输入了 if 语句。但是，如果我取消注释 delete 语句，编译器会这样提示:

../mylist.h: In member function ‘void MyList<T>::remove() [with T = int]’:
../main.cpp:36:18:   instantiated from here
../mylist.h:124:6: error: type ‘int’ argument given to ‘delete’, expected pointer
../mylist.h: In member function ‘void MyList<T>::remove() [with T = std::basic_string<char>]’:
../main.cpp:71:18:   instantiated from here
../mylist.h:124:6: error: type ‘struct std::basic_string<char>’ argument given to ‘delete’, expected pointer
make: *** [main.o] Error 1

我没看到什么？我仅在指针上使用 delete 语句，但仍然出现这些编译器错误。如果我在 if 语句中打印出 t 它是一个指针地址!

Answer 1

模板是编译器根据蓝图的使用实际创建类型的蓝图。当您将模板与 int 和 string* 一起使用时，编译器实际上会创建 MyList 的两个变体，将 T 替换为实际类型。对 T 使用 int 的实现是伪造的，因为删除 int 没有意义。编译器生成的实际代码是

int t = temp->getContent();
cout << t;
delete t;

这是不正确的，您可能会发现。