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中，想法是测试指针并删除它们以防万一。但是，delete语句不会编译：

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.对int使用T的实现是假的，因为删除int没有意义。编译器生成的实际代码是

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

这是不正确的，你可以弄清楚。

Answer 2

如果使用T = int实例化模板，则会得到：

void MyList::remove() {
    if (false) {
        T t = temp->getContent();
        cout << t;
        delete t;
    }
}

即使从不执行代码块，它也必须在语法上正确。

Answer 3

我建议像这样使用C ++ 11 type_traits和auto_ptr

#include <type_traits>
template<typename T> void MyList<T>::remove() {
    ...
    if (is_pointer(T)) {
        // delete object pointer points to
        T t = temp->getContent();
        cout << t;    // prints out address
        auto_ptr tempobj(T);
}

另外看看这个Determine if Type is a pointer in a template function可能有用，因为你的编译器不符合C ++ 11。

由于 Niraj Rathi

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

3 个答案: