Question

所以我有一个抽象基类Collection。我知道它是抽象的，因为它声明了至少一个纯虚函数。

我有一个Collection，OrderedCollection的子类，它将这些函数完全声明在它自己的头文件中。然后我在OrderedCollection的源文件中定义那些完全相同的函数。

以下是代码：

Class Collection.h

class Collection {

public:
virtual Collection& add(int i, int index) = 0;  //pure virtual
virtual Collection& remove(int i) = 0;  //pure virtual
virtual Collection& operator=(const Collection& other)=0;   //pure virtual
virtual int& operator[](int i) = 0; //pure virtual

Collection& iterate(void (*pFunc)());       //Function takes pointer to     function as argument
bool contains(int i);

virtual Collection& copy();


virtual ~Collection();

int size() { return size; }
int capacity() { return capacity; }

//virtual void swap(Collection& other);

protected:
Collection(){}

std::vector collectionVec;
int size;
int capacity;
};

派生类OrderedCollection.h：

class OrderedCollection : public Collection
{
public:
OrderedCollection& add(int i, int index);
OrderedCollection& remove(int i);
OrderedCollection& operator=(const OrderedCollection& other);
int& operator[](int i);

OrderedCollection();
//OrderedCollection::OrderedCollection(int pFirst, int pLast, int pSize, int     pCapacity, std::vector<int> passedVec);

//OrderedCollection(const OrderedCollection& other);    //Copy constructor 

virtual ~OrderedCollection();

virtual OrderedCollection& copy(OrderedCollection& passedCollection);

protected:
//int* first;
//int* last;

int first;
int last;

OrderedCollection& grow();      //Utility Function
};

aaand OrderedCollection.cpp：

#include "OrderedCollection.h"

OrderedCollection& OrderedCollection::add(int i, int index){
if(size == capacity){       //If vector is full

}

return *this;
}

OrderedCollection& OrderedCollection::remove(int i){

if(first <= last){
    for(int j = first; j <= last; j++){
        if(collectionVec.at(j) == i){
            collectionVec.erase(j);
            last--;
        }
    }
}
/*for(int j = 0; j < collectionVec.size(); j++){
if(collectionVec.at(j) == i)

} */

return *this;
 }

OrderedCollection& OrderedCollection::operator=(const OrderedCollection& other){


if (this != &other) // protect against invalid self-assignment
{
    // 1: allocate new memory and copy the elements
    std::vector<int> *new_vector = new std::vector<int>(other.capacity);
    std::copy(other.collectionVec, other.collectionVec + other.capacity,     new_vector);

    // 2: deallocate old memory
    collectionVec.clear();


    // 3: assign the new memory to the object
    collectionVec = *new_vector;
    size = other.size;      //wtf
    capacity = other.capacity;      //wtf

    delete new_vector;
}
// by convention, always return *this
return *this;


}

int& OrderedCollection::operator[](int i){      //is return type correct? It makes     more sense to have a return type of int or int&, right?

int temp = 0;

if(first <= last){
    if(collectionVec.at(first + i) != NULL){    //Need to redo this
        return collectionVec.at(first + i);
    }
}
return temp;
}

OrderedCollection::OrderedCollection() : Collection()
{
//first = &collectionVec.at(2);
//last = &collectionVec.at(1);

//Crossed at construction
first = 2;
last = 1;
}



OrderedCollection::~OrderedCollection(void)
{
//first = NULL;
//last = NULL;
collectionVec.clear();
}

OrderedCollection& OrderedCollection::grow(){

    int newFirst = capacity / 2;
    std::vector<int> *new_vector = new std::vector<int>(2 * capacity);
    std::copy(collectionVec, collectionVec+size, new_vector->begin() + newFirst);       //Want to return iterator pointing to 
    collectionVec = new_vector;
    first = newFirst;
    last = first + size;
    capacity = collectionVec.size;

    delete new_vector;

    return *this;
}

OrderedCollection& OrderedCollection::copy(OrderedCollection& passedCollection){
OrderedCollection* temp =  new OrderedCollection()   //ERROR is here. VS highlights constructor method

return *this;
}

现在，当我尝试在此最后一个副本（）中创建OrderedCollection类型的值标识符时，问题就出现了。据我了解，如果类是抽象的，我不应该被允许这样做（显然它是抽象的，VS也告诉我）。但还有另一个问题;当我尝试创建一个新的OrderedCollection对象并将其分配给temp时，我得到了同样的错误。根据VS，上面的初始化很好（没有来自IDE的投诉，虽然它对我没有任何帮助）。但我无法弄清楚为什么它将这个类视为抽象。

如果我错了，请纠正我，但这应该涵盖确保此派生类不是抽象的所有基础..

在派生类
所有在基类中都是纯虚函数的函数都已在派生类中重写。
所有被覆盖的函数都匹配相关的函数参数签名＆amp;返回类型，最初在基类中声明。

错误确切地说，错误：不允许抽象类类型“OrderedCollection”的对象...这是当我尝试将指针对象分配给底部的此copy（）方法中的OrderedCollection的新实例时

让我发布下面的Collection.cpp文件：

#include "Collection.h"


Collection::Collection()
{
size = 0;
capacity = 4;
collectionVec.resize(capacity);
}


Collection::~Collection()
{

}

Collection& Collection::iterate(void (*pFunc)()){       

return *this;
}


bool contains(int i){


return true;
}

编辑：添加了Collection.cpp文件并更新了我在功能参数不匹配方面所做的一些修复。

Answer 1

virtual Collection& operator=(const Collection& other)=0;

未在子类中被重写，因为：

OrderedCollection& operator=(OrderedCollection& other);

有不同的签名。

区别不仅仅是'const'，而是实际的类型。重写的类也必须采用Collection，而不是派生的OrderedCollection。

这个派生类是如何抽象的？

1 个答案: