1

我是 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;
}

在 list 函数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;我可以验证控制流是否正确：if 语句仅用于string*示例。但是，如果我取消注释该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它是一个指针地址！

4

3 回答 3

1

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

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

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

于 2013-09-19T09:51:11.970 回答
0

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

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

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

于 2013-09-19T09:58:17.747 回答
0

我建议像这样使用 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);
}

另请查看此确定类型是否是模板函数中的指针，如果您的编译器不兼容 C++ 11，这可能很有用。

谢谢尼拉吉·拉蒂

于 2013-09-19T09:58:24.313 回答