RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 1143182
Accepted
MGNeo
MGNeo
Asked:2020-06-19 20:52:24 +0000 UTC2020-06-19 20:52:24 +0000 UTC 2020-06-19 20:52:24 +0000 UTC

使用 reinterpret_cast 从基转换为子时究竟会出现什么问题?

  • 772

考虑以下代码:

class A {/*...*/};
class B : public A {/*...*/};

void func(A*const a)
{
    B*const b = reinterpret_cast<B*const>(a);
    b->do_something();
}

在一个大型项目中,发现了几个类似的地方。我知道这会导致未定义的行为。

我对以下问题特别感兴趣:

  1. 如果指针a总是指向 type 的对象B,我们会有问题吗?
  2. 如果指针a不指向 type 的对象B,那又如何呢?
c++
  • 2 2 个回答
  • 10 Views

2 个回答

  • Voted
  1. Harry
    2020-06-19T20:57:27Z2020-06-19T20:57:27Z
    1. 在这种情况下,应该没有问题(特别是如果您使用B*b=(B*)a),但您如何保证这一点?...为了保证这一点,您应该使用它dynamic_cast并进行结果检查。
    2. 会有一个屁股。说得客气一点。U.B.

    PS来自我个人-我真的不喜欢将祖先带到后代。我确信这表明一个糟糕的项目 - 粗略地说,当为了让汽车行驶时,用胶带将某些东西绑在它上面:)

    PPS 有点dynamic_cast——虽然你的问题不是关于他的,所以如果这是多余的——对不起..

    • 4
  2. Best Answer
    user7860670
    2020-06-19T21:25:02Z2020-06-19T21:25:02Z
    1. 几乎肯定会。例如,当指针A通过隐式强制转换获得时,或者static_cast指针指向B但这些类不具有指针可互换属性,或者当通过获得指针reinterpret_cast但对象具有不同的对齐方式时。
    #include <iostream>
    
    class A { int x; };
    class B : public A
    {
        public: virtual void do_something() { std::cout << "test"; }
    };
    
    void func(A*const p_a)
    {
        // При reinterpret_cast адрес в указателе не меняется.
        B*const p_b = reinterpret_cast<B*>(p_a);
        // Адрес у указателе неверный, обращение к vtable наверняка приведет к падению.
        ::std::cout << "B *" << static_cast<void *>(p_b) <<std::endl;
        p_b->do_something();
    }
    
    int main()
    {
        B b{};
        B * p_b{&b};
        ::std::cout << "B *" << static_cast<void *>(p_b) <<std::endl;
       // Адрес подобъекта A отличается от адреса B, из-за наличия vtable.
        A * p_a{p_b};
        ::std::cout << "A *" << static_cast<void *>(p_a) <<std::endl;
        func(p_a);
        return 0;
    }
    

    https://godbolt.org/z/YNh9Zv

    1. 当然会有:除了以上所有,还有违反严格别名的。
    • 2

相关问题

  • 编译器和模板处理

  • 指针。找到最小数量

  • C++,关于枚举类对象初始化的问题

  • 函数中的二维数组

  • 无法使用默认构造函数创建类对象

  • C++ 和循环依赖

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    如何从列表中打印最大元素(str 类型)的长度?

    • 2 个回答
  • Marko Smith

    如何在 PyQT5 中清除 QFrame 的内容

    • 1 个回答
  • Marko Smith

    如何将具有特定字符的字符串拆分为两个不同的列表?

    • 2 个回答
  • Marko Smith

    导航栏活动元素

    • 1 个回答
  • Marko Smith

    是否可以将文本放入数组中?[关闭]

    • 1 个回答
  • Marko Smith

    如何一次用多个分隔符拆分字符串?

    • 1 个回答
  • Marko Smith

    如何通过 ClassPath 创建 InputStream?

    • 2 个回答
  • Marko Smith

    在一个查询中连接多个表

    • 1 个回答
  • Marko Smith

    对列表列表中的所有值求和

    • 3 个回答
  • Marko Smith

    如何对齐 string.Format 中的列?

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5