代码之家 › 专栏 › 技术社区 › Gaurav Sehgal

用不同的返回类型重写虚函数

virtual-functions c++

Gaurav Sehgal · 技术社区 · 6 年前

我知道,如果返回类型是协变的,则可以使用返回类型重写虚拟函数。

但是我们可以使用更改后的返回类型吗?或者,返回类型将隐式转换为基类函数的返回类型,如 B* 到 A* 在这里。

class A
{
    public:
    virtual A *func()
    {
        A *obj=0;
        return obj;
    }
};

class B:public A
{
    public:
    virtual B *func()
    {
       B *obj =0;
       return obj;
    }
};

int main()
{
    A *obj = new B();
    obj->func();              // does in fact call B::func()
    B *obj2 = obj->func();    // throws error: invalid conversion from 'A*' to 'B*'

    return 0;
}

看起来 obj->func() 正在返回 一个* 而不是 乙* 因此我得到了这个转换错误。

3 回复 | 直到 6 年前

StoryTeller - Unslander Monica 6 年前

静态类型检查必须仍然保持,即使动态类型在实现中做了一些稍微不同的事情。所以它实际上取决于被指向的对象的静态类型。当您调用 A* ,返回类型指定为 A* 是的。

如果你把它叫做 B* ,函数的返回类型应该是(静态的)a 乙* 是的。

B *obj = new B();
obj->func();              
B *obj2 = obj->func();   // Okay now

每当你在C++中处理运行时多语言,它就是 静态类型 确定接口的对象。

Jarod42 6 年前

静态类型 obj 是 A* 所以 obj->func() 会用到 A *A::func() 宣言:

返回类型( 一个* )
访问说明符( public: )
默认参数(不适用)

动态类型为 B* ,所以它将调用 B* B::func() 由于协变类型实际上会在 一个* 是的。

lubgr 6 年前

在您的示例中,继承层次结构中的类型可以隐式降级 B 到 A ,这也允许协变返回类型。但你试着含蓄地向上投射,

B *obj2 = obj->func();

不能工作是因为 obj 是一个 一个 实例,以及 func() 静态绑定到 一个 提供。如果有必要 B* 从 A::func() 你可以用一个明确的演员阵容

auto *obj2 = dynamic_cast<B*>(obj->func());

但这是一种不好的模式,因为它损害了多态性的全部要点。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

3 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

3 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

4 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

4 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

4 月前

Die4Toast · 递归调用成员箭头运算符->

4 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

4 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

4 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

4 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

4 月前