如果没有发生左值到右值的转换,取消引用无效指针是否合法

2024-01-07

尽我所能,我见过的最接近的答案是this https://stackoverflow.com/questions/7346634/dereferencing-an-invalid-pointer-then-taking-the-address-of-the-result/7346775,有两个完全相反的答案(!)

问题很简单,这合法吗?

auto p = reinterpret_cast<int*>(0xbadface);
*p;  // legal?

我对此事的看法

  1. 将整数转换为指针 http://eel.is/c++draft/expr.reinterpret.cast#:cast,integer_to_pointer:对可以投射的内容没有限制
  2. 间接 http://eel.is/c++draft/expr.unary.op#1:仅说明结果是左值。
  3. 生命周期 http://eel.is/c++draft/basic.life:仅说明不能对对象执行的操作,这里没有对象
  4. 表达式语句 http://eel.is/c++draft/stmt.expr: *p是一个被丢弃的值表达式
  5. 废弃的值表达式 http://eel.is/c++draft/expr#12:不发生左值到右值的转换
  6. 左值的不确定性 http://eel.is/c++draft/basic.lval#8:又名严格别名规则,仅当左值转换为右值时

所以我的结论是没有任何明确的说法这是未定义的行为。但我清楚地记得,某些平台会陷入无效指针的间接陷阱。我的推理出了什么问题?


[碱性化合物] http://eel.is/c++draft/basic.compound#def:invalid_pointer_value says:

指针类型的每个值都是以下之一:

  • 指向对象或函数的指针(该指针被称为指向对象或函数),或者
  • 超过对象末尾的指针 ([expr.add]),或
  • 该类型的空指针值 ([conv.ptr]),或者
  • 无效的指针值。

通过排除法我们可以得出p是无效的指针值。

[基本.stc] http://eel.is/c++draft/basic.stc#1.4 says:

通过无效指针值进行间接寻址并传递一个无效的 指向释放函数的指针值有未定义的行为。任何 无效指针值的其他使用由实现定义 行为。

由于间接运算符据说是通过以下方式执行间接的[expr.unary.op] http://eel.is/c++draft/expr.unary.op#1,我会说,这个表达*p无论结果是否被使用都会导致UB。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如果没有发生左值到右值的转换,取消引用无效指针是否合法 的相关文章

随机推荐

  • 如何使用 Telegram Bot API 从电话号码获取 user_id

    我目前正在开发一个 Telegram 机器人 一旦你知道电话号码 它就能在 Telegram 中获取用户信息 主要目标是获取用户存储在 Telegram 中的所有用户信息 只需知道他 她的电话号码 因此 我尝试使用 Telegram Bot
  • TransactionScope 的层次结构

    是否可以有一个事务范围的层次结构 如果外部事务范围进行了处置 那么内部事务范围中所做的更改会发生什么 我的特殊问题是我的测试代码运行具有事务范围的代码 当我调用具有事务范围的第二组代码时 我得到 无法访问已处置的对象 事务 难道处置内层事务
  • C++ - 更改 X 窗口中的光标

    我以为这很容易找到 但谷歌搜索却毫无帮助 有没有一个简单的 API 可以改变 X 窗口中的鼠标光标 我知道在 Windows 中你可以只调用 SetCursor include
  • AVPlayer 动态音量控制

    如何动态更改 AVPlayer 的音量 我的意思是 我想在每次按下按钮时将音量静音 给定的代码似乎仅在编译时更改它 运行时怎么办 AVURLAsset asset AVURLAsset URLAssetWithURL self myAsse
  • 类路径中的 ICEfaces 库可防止文件下载时弹出“另存为”对话框

    一旦我将库icefaces jaricepush jaricefaces ace jar添加到我的类路径中以便使用ACE组件 我的另存为对话框就不会弹出吗 我不确定这是否是一个错误 但如果类路径中没有库 它就可以工作 这是我的另存为方法 p
  • 用 pyspark 之前已知的良好值填充 null

    有办法替换吗nullpyspark 数据框中的值与最后一个有效值 还有额外的timestamp and session列 如果您认为需要它们来进行 Windows 分区和排序 更具体地说 我想实现以下转换 session timestamp
  • 将数据从 glReadPixels() 转换为 OpenCV::Mat

    我想从动画中获取每个 OpenGL 帧glReadPixels 并将数据转换为OpenCV 垫 我知道glReadPixels 从下一层到上一层 从左到右 按行获取数据 另一方面 OpenCV 以不同的方式存储数据 有谁知道任何库或任何教程
  • 与 svn 的 SSL 协商失败

    我正在运行一个接受 https 请求的服务器 我已经生成了自己的证书 当在 Firefox 中访问该网站时 我收到未知证书错误 但这没关系 这 我认为 表明端口转发等有效 我正在尝试使用 svn 来解决这个问题 当在服务器上使用 svn 但
  • Java HttpURLConnection.getInputStream 但得到 401 IOException

    我正在用 Java 为 CouchDB 编写一个 REST 客户端 下面的代码应该是相当标准的 this httpCnt connect Map
  • 使用 PIL 或 Numpy 数组,如何从图像中删除整行?

    我想知道如何从图像中删除整行 最好是根据行的颜色 示例 我有一个高度为 5 像素的图像 顶部两行和底部两行是白色 中间行是黑色 我想知道如何让 PIL 识别这一行黑色像素 然后删除整行并保存新图像 我对 python 有一些了解 并且到目前
  • 当调用 onBlur 时,Firefox 中的 relatedTarget 为 null

    我正在尝试创建一条帮助消息 当用户单击切换按钮以显示帮助消息或通过单击页面上的其他位置来单击时 该消息将消失 解决方案似乎是查看relatedTarget的财产onblur事件并防止onblur处理程序从运行时relatedTarget是切
  • 如何在 Android 应用程序级别检查 SIM 卡锁定

    我正在寻找一种方法来查明 Android 设备是否已锁定 SIM 卡 我知道 efs 中应该是存储此设置的文件 问题是没有 root 就无法访问 efs USSD 代码如下 7465625 不再适用于 Samsung 设备上的 Androi
  • 用户控件与 Windows 窗体

    Visual Studio C 中的用户控件和 Windows 窗体有什么区别 非常简单地说 用户控件是一种制作自定义 可重用组件的方法 用户控件可以包含其他控件 但必须由窗体托管 Windows 窗体是控件 包括用户控件 的容器 虽然它包
  • 如何扩展 Google 地图中的共享位置 URL?

    我正在尝试从谷歌地图共享位置链接获取位置 因此我使用 Google Shorten URL API 来扩展 URL 但是当我从 Android 设备共享 Google 地图应用程序的 URL 时 它给了我https maps app goo
  • 自定义 HTTP 授权标头

    我想知道将自定义数据放入 HTTP 授权标头中是否可以接受 我们正在设计一个 RESTful API 我们可能需要一种方法来指定自定义授权方法 作为一个例子 我们称之为FIRE TOKEN验证 根据规范 这样的事情是否有效并允许 Autho
  • 什么是本机构建环境?

    我只是从互联网上阅读信息 目前cmake 关于页面 http www cmake org cmake project about html 我需要信息来填补空白 这有助于了解全局 我希望答案很简单 什么是本机构建环境 背景 我需要知道how
  • jQuery 设置单选按钮

    我正在尝试设置一个单选按钮 我想通过使用值或 ID 来设置它 这是我尝试过的 input radio name cols newcol attr checked true newcol是单选按钮的 id 也许需要进行一些编辑 有两组无线电盒
  • Cardview 中的 ConstraintLayout 添加空白

    我正在尝试创建一个CardView有一个ConstraintLayout组织一些TextView 有时它会按预期显示 但有时 它会添加额外的空白 例如当键盘关闭时 会破坏布局 我下面有一个 GIF 显示CardView在同一时间段内工作和不
  • 使用 SQL Server Server Management Studio 导入/导出数据库

    我认为这很简单 但事实并非如此 我确信有一种简单的方法可以做到这一点 但我无法找到它 我真丢脸 我想导入 导出数据库本身 表 约束 外键等 我宁愿不用它获取数据 但如果没有其他方法 我可以在之后删除它 那么 如何使用 MS SQL Serv
  • 如果没有发生左值到右值的转换,取消引用无效指针是否合法

    尽我所能 我见过的最接近的答案是this https stackoverflow com questions 7346634 dereferencing an invalid pointer then taking the address