问重写虚拟函数返回类型不同，且不是协变量。

EN

啊，所以及时回来了。

我犯了一个奇怪的错误：

 'B::blah': overriding virtual function return type differs and is not covariant from 'A::blah'

造成问题的代码如下：

class A {
public:
    class Inner { };

    virtual Inner blah() = 0;
};

class B : public A {
public:
    class Inner2 : public Inner { };

    Inner2 blah() {
        return Inner2();
    }
};

我查找了错误，根据我在微软网站上找到的一页，类型可以是协变的方式之一是：

返回类型B::f中的类与返回类型D::f中的类相同，是返回类型D::f中类的一个明确的直接或间接基类，在D中可以访问

Inner和Inner2的情况不是这样吗？如果重要的话，我正在使用微软的VisualC++ 2010。

好的，多亏了John，我知道只有指针和引用可以是协变的。为什么会这样呢？派生的函数可以转换为Base，那么为什么不使用派生自同一事物的返回类型的虚拟函数将返回类型转换为基类之一呢？在我的例子中，让(A*(new B))->blah()返回一个实际上已经被抛出的Inner2的Inner似乎是有意义的。