当指针不指向字符数组时,指针加法是否未定义?
C 17 标准规定,将整数值添加到指针会导致与操作数类型相同的指针,如果操作保持在数组范围内,则结果指向数组中的(假设的)元素。然而,目前尚不清楚这是否适用于不指向 char 数组的指针。
考虑以下代码:
struct Foo { float x, y, z; }; Foo f; char *p = reinterpret_cast<char>(&f) + offsetof(Foo, z); // (*) *reinterpret_cast<float>(p) = 42.0f;</float></char>
标有 (*) 的行是否构成未定义行为 (布)?指针 p 指向浮点数,而不是字符数组。根据引用的段落,这应该导致 UB。然而,如果它是 UB,它将显着限制 offsetof() 的实用性。
普通可复制类型的标准定义指出,可以使用 std::memcpy 等函数将其底层字节复制到 char 数组中。这意味着应该为指向构成对象的原始字节的指针定义加法,无论结果是否用于将字节复制到数组中。
这是否意味着所涉及的字节已经形成数组或构成对运营商通常规则的特殊例外尚不清楚。然而,任何一种解释都会使代码中的添加有效。因此,可以得出结论,添加到 char * 指针并不一定会导致 UB,即使它不指向 char 数组。
以上是C 17中不指向字符数组时指针加法是否未定义?的详细内容。更多信息请关注PHP中文网其他相关文章!

本文解释了C标准模板库(STL),重点关注其核心组件:容器,迭代器,算法和函子。 它详细介绍了这些如何交互以启用通用编程,提高代码效率和可读性t

本文详细介绍了c中有效的STL算法用法。 它强调了数据结构选择(向量与列表),算法复杂性分析(例如,std :: sort vs. std vs. std :: partial_sort),迭代器用法和并行执行。 常见的陷阱

本文详细介绍了C中的有效异常处理,涵盖了尝试,捕捉和投掷机制。 它强调了诸如RAII之类的最佳实践,避免了不必要的捕获块,并为强大的代码登录例外。 该文章还解决了Perf

本文讨论了使用C中的移动语义来通过避免不必要的复制来提高性能。它涵盖了使用std :: Move的实施移动构造函数和任务运算符,并确定了关键方案和陷阱以有效

C 20范围通过表现力,合成性和效率增强数据操作。它们简化了复杂的转换并集成到现有代码库中,以提高性能和可维护性。

本文讨论了C中的动态调度,其性能成本和优化策略。它突出了动态调度会影响性能并将其与静态调度进行比较的场景,强调性能和之间的权衡

文章讨论了在C中有效使用RVALUE参考,以进行移动语义,完美的转发和资源管理,重点介绍最佳实践和性能改进。(159个字符)


热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

ZendStudio 13.5.1 Mac
功能强大的PHP集成开发环境

SublimeText3 Linux新版
SublimeText3 Linux最新版

螳螂BT
Mantis是一个易于部署的基于Web的缺陷跟踪工具,用于帮助产品缺陷跟踪。它需要PHP、MySQL和一个Web服务器。请查看我们的演示和托管服务。

Atom编辑器mac版下载
最流行的的开源编辑器

mPDF
mPDF是一个PHP库,可以从UTF-8编码的HTML生成PDF文件。原作者Ian Back编写mPDF以从他的网站上“即时”输出PDF文件,并处理不同的语言。与原始脚本如HTML2FPDF相比,它的速度较慢,并且在使用Unicode字体时生成的文件较大,但支持CSS样式等,并进行了大量增强。支持几乎所有语言,包括RTL(阿拉伯语和希伯来语)和CJK(中日韩)。支持嵌套的块级元素(如P、DIV),