我开始学习 C++，但我被困在析构函数中。我们需要实现一个 vector ，这就是我目前所拥有的。

#include<string.h>
#include<cassert>
#include<iostream>

using namespace std;
template<class T>
class Vector {
    template<class U> friend ostream& operator<<(ostream&, const Vector<U>&);
private:
    T* data;
    unsigned len;
    unsigned capacity;
public:
    Vector(unsigned = 10);
    Vector(const Vector<T>&);
    virtual ~Vector(void);
    Vector<T>& operator =(const Vector<T>&);
    bool operator==(const Vector<T>&);
    T& operator[](unsigned);
};

//PROBLEM! 
template <class T>
~ Vector() {
    delete data;

}

template<class T>
Vector<T>::Vector(unsigned int _capacity)
{
    capacity = _capacity;
    len = _capacity;
    data = new T[_capacity];
}

template<class T>
Vector<T>::Vector(const Vector<T> & v)
{
    len = v.len;
    capacity = v.capacity;
    data = new T[len];
    for (unsigned int i = 0; i < len; i++)
        data[i] = v.data[i];
}



template<class T>
Vector<T> & Vector<T>::operator = (const Vector<T> & v)
{
    delete[ ] data;
    len = v.len;
    capacity = v.capacity;
    data = new T [len];
    for (unsigned int i = 0; i < len; i++)
        data[i] = v.data[i];
    return *this;
}

template<class T>
bool Vector<T>::operator == (const Vector<T> & v)
{
    bool check = true;
    check &= (len == v.len);
    if (!check) return false;
    check &= (capacity == v.capacity);
    if (!check) return false;
    for (unsigned int i = 0; i < len; i++) {
        check &= (data[i] == v.data[i]);
        if (!check) return false;

    }
    return true;
}

template<class T>
T& Vector<T>::operator[](unsigned int index)
{
    return data[index];
}

接口(interface)给了，我要实现它。但这与 C 和 Java 如此不同，我有点迷茫。

在第二个练习中，我们需要使用 a) 之前的 Vector 实现作为派生类和 b) Vector 作为组合类来实现类似的东西，所以也许我们会在其中一种方法中使用虚拟析构函数？

void testAssociativeArray() { 
AssociativeArray<String, int> table;
 table["abc"] = 15;
 table["jkl"] = 12;
 table["xyz"] = 85;
 assert(table["jkl"], 12);
 }

template<class P, class Q>
class Pair {
P p;
Q q; public:
      Pair(const P& _p = P(), const Q& _q = Q()): p(_p), q(_q) {}
      P& objectP() {return p;}
      Q& objectQ() {return q;}
};

最佳答案

首先，为什么你认为析构函数应该是 virtual ？你在使用多态性吗？

其次，您正在使用 delete对您的数组不正确。

因为你使用过:

data = new T[length];

必须使用数组语法:

delete [] data;

第三，您需要将命名空间放在所有类函数定义的前面:

template <class T>
Vector<T>::~Vector()
{
    delete [] data;
}

仅供引用，您可以这样声明析构函数...

virtual ~Vector(void);

正如我提到的，virtual除非您以多态方式将此类用作基类或派生类，否则是不必要的。有关何时需要使用的更多信息 virtual析构函数，看看 answer to this question .

此外，void在参数中也是不必要的。这在旧的 C 标准中曾经是必需的，但在 C++ 中不是。

你应该能够像这样声明它:

~Vector();

如果定义 AssociativeArray<P,Q>与 Vector<T> 有 has-a 关系, 然后你可以简单地让类包含一个 Vector<Pair<P,Q> > .声明 virtual在这种情况下，方法不是必需的，但仍然可以使用——需要一些额外的开销。

如果定义 AssociativeArray<P,Q>与 Vector<Pair<P,Q> > 的 is-a 关系, 那么你应该定义一些 virtual Vector<T> 中的方法，包括 virtual析构函数。

virtual的使用方法仅在通过指针和引用以多态方式使用对象时才重要。参见 this page .

AssociativeArray<String,Int>* myDerivedMap = new AssociativeArray<String,Int>();
delete myDerivedMap; //NO virtual methods necessary here. using a pointer to derived class

Vector<Pair<String,Int> >* myBaseMap = new AssociativeArray<String,Int>();
delete myBaseMap; //virtual methods ARE necessary here. using a pointer to base class

关于c++ - 在 C++ 中实现虚拟析构函数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13086567/