RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 716240
Accepted
Arhadthedev
Arhadthedev
Asked:2020-09-09 16:22:40 +0000 UTC2020-09-09 16:22:40 +0000 UTC 2020-09-09 16:22:40 +0000 UTC

reinterpret_cast 存在的意义何在?

  • 772

在 C++ 中,有一个运算符reinterpret_cast,其含义是在相互不兼容的类型之间进行强制转换。

但是,这种转换违反了严格的别名规则,这会引发未定义的行为。不违反此规则的相同变换适合const_cast,static_cast和dynamic_cast。

如果它的使用违反了标准,那么这个运算符的存在意义是什么?

c++
  • 3 3 个回答
  • 10 Views

3 个回答

  • Voted
  1. Best Answer
    αλεχολυτ
    2020-09-23T00:12:04Z2020-09-23T00:12:04Z

    reinterpret_cast不仅仅用于将指针从一种类型转换为另一种类型。有几种不同的转换。cppreference.com重点介绍了 11 个转换选项:

    1. 进入你自己的类型
    2. 指向整型的指针
    3. 指针的整数类型
    4. 类型std::nullptr_t转整型
    5. 一种类型的指针指向另一种类型的指针
    6. 一种类型的左值转换为对另一种类型的引用
    7. 指向一种类型的函数的指针 指向另一种类型的函数的指针
    8. 函数指针在void*
    9. 任何类型的空指针指向任何其他类型的指针
    10. 一种类型的右值指针指向成员函数 指向另一种类型的指针指向成员函数
    11. 一种类型的右值数据成员指针指向另一种类型的另一种数据成员指针

    类型别名规则仅影响项目 5 和 6,并且在以下情况下可以安全地使用结果(即不违反strict-aliasing ):

    • 结果类型是原始对象的动态类型
    • 结果类型和动态类型指向同一个类型T
    • 结果类型是源对象类型的有符号或无符号版本。
    • 结果类型是聚合类型或union包含用作源对象的元素或非静态数据成员。那些。您可以通过指向其成员来获取指向结构的指针。
    • 结果类型是原始对象的动态类型的基类,该类型是标准布局类,不包含非静态数据成员,结果类型是第一个基类。
    • 结果类型是指向char或unsigned char的指针std::byte。

    一些实现将这些规则放松为非标准语言扩展。

    • 13
  2. Arhadthedev
    2020-09-09T16:22:40Z2020-09-09T16:22:40Z

    不兼容的类型之间只有一种不违反严格别名规则的转换——从任意指针到类型指针char*。也就是说,reinterpret_cast它允许您将任意对象表示为字节序列(因为标准保证单字节长度char-a)。

    以下是此类转换的有效使用示例:

    template<class T>
    void putIntoStream(const T* object, std::ostream& out)
    {
        out.write(reinterpret_cast<const char*>(object), sizeof(T));
    }
    

    对于其他一切,都有memcpy().

    • 4
  3. Ariox
    2020-09-09T16:33:29Z2020-09-09T16:33:29Z

    尽管reinterpret_cast在大多数情况下使用会导致未定义的行为,但库可以通过针对特定编译器测试它们来在其实现中使用它。对于库的用户,行为将不再是未定义的,因为 它经过测试并记录在案,但必须考虑支持的编译器列表。有时这是开发跨平台库的唯一方法。

    此外,仍然存在必须牺牲可移植性才能实现其他目标的情况(特别是对于微控制器来说更是如此)。

    • 2

相关问题

Sidebar

Stats

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

    Python 3.6 - 安装 MySQL (Windows)

    • 1 个回答
  • Marko Smith

    C++ 编写程序“计算单个岛屿”。填充一个二维数组 12x12 0 和 1

    • 2 个回答
  • Marko Smith

    返回指针的函数

    • 1 个回答
  • Marko Smith

    我使用 django 管理面板添加图像,但它没有显示

    • 1 个回答
  • Marko Smith

    这些条目是什么意思,它们的完整等效项是什么样的

    • 2 个回答
  • Marko Smith

    浏览器仍然缓存文件数据

    • 1 个回答
  • Marko Smith

    在 Excel VBA 中激活工作表的问题

    • 3 个回答
  • Marko Smith

    为什么内置类型中包含复数而小数不包含?

    • 2 个回答
  • Marko Smith

    获得唯一途径

    • 3 个回答
  • Marko Smith

    告诉我一个像幻灯片一样创建滚动的库

    • 1 个回答
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Алексей Шиманский 如何以及通过什么方式来查找 Javascript 代码中的错误? 2020-08-03 00:21:37 +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
    user207618 Codegolf——组合选择算法的实现 2020-10-23 18:46:29 +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