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

#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中的任何一个或两者中的对象类型时(例如虚拟Child2 getChildren()),我在Visual Studio 2010上收到以下错误：

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

我想知道为什么我在使用引用时没有得到这个错误,否则就得到它.这是VS2010中的错误吗？因为C标准(根据微软网站上的this页面)说的是：重写函数的返回类型应该与被覆盖函数的返回类型相同或者与函数类的协变相同.并且返回类型为B :: f的类与D :: f的返回类型中的类相同,或者是D :: f的返回类型中类的明确的直接或间接基类.并可在D.访问

附：我目前无法访问该标准,因此无法验证上述报价.