具有用户定义类型向量的虚函数

Question

我想定义一个带有结构变量向量的抽象基类，以及一个由派生类实现的虚函数：

class TestFather {

private:
    struct myStruct
    {
        // struct definition
    };
    vector<myStruct> myStructVect;

public:
    virtual vector<myStruct> get_myStructVect() = 0;
};

但是当我编写派生类时：

#include "TestFather.h"

class TestSon : public TestFather{

private:
    struct myStruct
    {
        // struct definition
    };
    vector<myStruct> myStructVect;

public:
    vector<myStruct> get_myStructVect();
};

我收到此错误：

invalid covariant return type for ‘virtual std::vector<ProvaSon::myStruct, std::allocator<ProvaSon::myStruct> > ProvaSon::get_myStructVect()’

我做错了什么还是可能我正在尝试做一些语言禁止的事情？

Answer 1

这两个 myStruct 类型完全不相关。这意味着您正在尝试重写 TestFather::get_myStructVect() 并让它返回完全不同的类型。这是不允许的。

Answer 2

您不必在 TestSon 中重新定义结构体，而且您也不能这样做。 fatherptr->get_myStructVect 的调用者静态获取 vector 返回，因此编译器禁止您像这样重写基类函数，因为动态返回的对象可能与 vector 不兼容（谁知道你在 TestSon::myStruct 中放入了什么以及如何 vector行为与基类向量不同？）。

至于允许的差异，C++只允许派生类返回类型是基类返回类型的派生类，并且仅当返回类型是指针或引用时才允许。

Answer 3

这是禁止的。因为您在派生类中重新定义了 myStruct，所以 vector派生类中的类型与基类中的类型不同。它们是两个不同的 myStructs。

您只能将该虚拟函数的返回类型更改为从基类中声明的返回类型继承的类型。但是向量不继承自 vector；

Answer 4

它说 vector 但由于您在子类中更改了myStruct，它实际上是两种不同的类型，因此两个函数中的每一个都认为其返回不同的类型。这仅适用于协变类型，其中类型与包含该函数的类的实际类型相关。

请注意，无论如何，您可能不应该在此处按值返回类属性向量。

我不知道你真正打算做什么，但是如果嵌套结构是两个不同的东西，那么它们确实不应该具有相同的名称（如果它们相同，则不要重新定义它）。我的第一直觉反应是，也许亲子关系在这里不合适。您考虑过其他选择吗？如果您确实需要在子级中返回不同的类型并且父级不知道这一点，那么您不能使用虚拟接口来执行此操作。您应该给函数指定不同的名称，这样您就知道返回类型应该是什么。

通过有关您目标的更多详细信息，可以提供更好的答案。

Answer 5

在您的示例中，重复的私有结构有点奇怪。例如，下面的代码可以正常编译：

class TestFather {

protected:
    struct myStruct
    {
        // struct definition
    };
    vector<myStruct> myStructVect;

public:
    virtual vector<myStruct> get_myStructVect() = 0;
};

class TestSon : public TestFather{



public:
    vector<myStruct> get_myStructVect();
};

int main(int argc, char**argv)
{
   TestSon testSon;
}

请注意将 private 替换为 protected，允许派生类访问父结构定义和 myStructVect 存储。