c++ - 协变虚函数返回类型问题

Question

我有以下代码:

#include <iostream>
using namespace std;

class Child1
{
    int i;
};

class Child2 : public Child1
{
    int j;
};

class Base1
{

public:

    virtual Child1& getChildren()
    {
        cout << "Children1" << endl;
        return children;
    }

private:

    Child1 children;
};

class Base2 : public Base1
{

public:

    virtual Child2& getChildren()
    {
        cout << "Children2" << endl;
        return children;
    }

private:

    Child2 children;
};

此代码编译正常，但当我更改 getChildren() 的返回类型时从一个或两个中的引用类型到对象类型 Base1和 Base2 (例如 virtual Child2 getChildren() ，我在 Visual Studio 2010 上收到以下错误:

error C2555: 'Base2::getChildren': overriding virtual function return type differs and is not covariant from 'Base1::getChildren'

我想知道为什么我在使用引用时没有得到这个错误，而以其他方式得到它。这是VS2010中的错误吗？因为 C++ 标准(根据 Microsoft 网站上的 this 页面)是这样说的:覆盖函数的返回类型应与被覆盖函数的返回类型相同或与函数的类协变。 并且 B::f 的返回类型中的类与 D::f 的返回类型中的类是同一个类，或者是D::f 的返回类型，可在 D 中访问。

附言我目前无法访问该标准，因此无法验证上述报价。

Answer 1

您错过了他们引用的另一部分:“如果函数 D::f 覆盖函数 B::f，则函数的返回类型是协变的，前提是它们满足以下条件:(1) 两者都是类的指针或类的引用”