- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我关注了关于 One-byte-off pointer still valid in C? 的讨论.
据我所知,该讨论的要点是,如果您:
char *p = malloc(4);
然后可以通过使用指针运算得到指向p+4
的指针。如果您使用 p+5
获取指针,则行为未定义。
我明白为什么取消引用 p+5
会导致未定义的行为。但是仅使用指针运算的未定义行为?
为什么算术运算符 +
和 -
不是有效运算?我认为从指针中添加或减去数字没有任何危害。毕竟,指针是由捕获对象地址的数字表示的。
当然,我不在标准化委员会 :) 我不知道他们在编纂标准之前进行的讨论。我只是好奇。任何见解都会有用。
最佳答案
最简单的答案是可以想象机器会捕获整数溢出。如果是这种情况,那么任何不局限于单个存储区域的指针算法都可能导致溢出,这会导致陷阱,从而中断程序的执行。在尝试指针运算之前,C 不应强制检查可能的溢出,因此标准允许在此类机器上的 C 实现仅允许陷阱发生,即使随后发生困惑也是如此。
另一种情况是内存被分段的架构,因此指针由段地址(带有隐式尾随 0)和偏移量组成。任何给定的对象都必须适合单个段,这意味着有效的指针算法只能在偏移量上起作用。同样,在指针运算过程中溢出偏移量可能会产生随机结果,并且 C 实现没有义务对此进行检查。
最后,编译器可能会在所有指针算法都有效的假设下进行优化。作为一个简单的激励案例:
if (iter - 1 < object.end()) {...}
这里可以省略测试,因为它必须对任何指针 iter
为真,其值是 object
中(或之后)的有效位置。用于无效指针运算的 UB 意味着编译器没有任何义务尝试证明 iter
是有效的(尽管它可能需要确保它基于指向 object< 的指针
), 所以它可以放弃比较并继续生成无条件代码。一些编译器可能会做这种事情,所以要小心 :)
顺便说一句,这里是未指定
行为和未定义
行为之间的重要区别。 ==
比较两个指针(相同类型)是定义的,无论它们是否是指向同一对象的指针。特别是,如果 a
和 b
是同一类型的两个不同对象,则 end_a
是指向a
和begin_b
是指向b
的指针,那么
end_a == begin_b
未指定;当且仅当 b
恰好在内存中的 a
之后,它将是 1
,否则为 0
。由于您通常不能依赖知道(除非 a
和 b
是同一数组的数组元素),比较通常是没有意义的; 但这不是未定义的行为,编译器需要安排生成 0
或 1
(此外,为了与始终具有相同的值,因为您可以依赖不会在内存中四处移动的对象。)
关于c - 超出有效内存范围的指针运算会产生什么危害?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22465388/
我不能解决这个问题。和标题说的差不多…… 如果其他两个范围/列中有“否”,我如何获得范围或列的平均值? 换句话说,我想计算 A 列的平均值,并且我有两列询问是/否问题(B 列和 C 列)。我只希望 B
我知道 python 2to3 将所有 xrange 更改为 range 我没有发现任何问题。我的问题是关于它如何将 range(...) 更改为 list(range(...)) :它是愚蠢的,只是
我有一个 Primefaces JSF 项目,并且我的 Bean 注释有以下内容: @Named("reportTabBean") @SessionScoped public class Report
在 rails3 中,我在模型中制作了相同的范围。例如 class Common ?" , at) } end 我想将公共(public)范围拆分为 lib 中的模块。所以我试试这个。 module
我需要在另一个 View 范围 bean 中使用保存在 View 范围 bean 中的一些数据。 @ManagedBean @ViewScoped public class Attivita impl
为什么下面的代码输出4?谁能给我推荐一篇好文章来深入学习 javascript 范围。 这段代码返回4,但我不明白为什么? (function f(){ return f(); functio
我有一个与此结构类似的脚本 $(function(){ var someVariable; function doSomething(){ //here } $('#som
我刚刚开始学习 Jquery,但这些示例对我帮助不大...... 现在,以下代码发生的情况是,我有 4 个表单,我使用每个表单的链接在它们之间进行切换。但我不知道如何在第一个函数中获取变量“postO
为什么当我这样做时: function Dog(){ this.firstName = 'scrappy'; } Dog.firstName 未定义? 但是我可以这样做: Dog.firstNa
我想打印文本文件 text.txt 的选定部分,其中包含: tickme 1.1(no.3) lesson1-bases lesson2-advancedfurther para:using the
我正在编写一些 JavaScript 代码。我对这个关键字有点困惑。如何在 dataReceivedHandler 函数中访问 logger 变量? MyClass: { logger: nu
我有这个代码: Public Sub test() Dim Tgt As Range Set Tgt = Range("A1") End Sub 我想更改当前为“A1”的 Tgt 的引
我正忙于此工作,以为我会把它放在我们那里。 该数字必须是最多3个单位和最多5个小数位的数字,等等。 有效的 999.99999 99.9 9 0.99999 0 无效的 -0.1 999.123456
覆盖代码时: @Override public void open(ExecutionContext executionContext) { super.open(executio
我想使用 preg_match 来匹配数字 1 - 21。我如何使用 preg_match 来做到这一点?如果数字大于 21,我不想匹配任何东西。 example preg_match('([0-9]
根据docs range函数有四种形式: (range) 0 - 无穷大 (range end) 0 - 结束 (range start end)开始 - 结束 (range start end st
我知道有一个UISlider,但是有人已经制作了RangeSlider(用两个拇指吗?)或者知道如何扩展 uislider? 最佳答案 我认为你不能直接扩展 UISlider,你可能需要扩展 UICo
我正在尝试将范围转换为列表。 nums = [] for x in range (9000, 9004): nums.append(x) print nums 输出 [9000] [9
请注意:此问题是由于在运行我的修饰方法时使用了GraphQL解析器。这意味着this的范围为undefined。但是,该问题的基础知识对于装饰者遇到问题的任何人都是有用的。 这是我想使用的基本装饰器(
我正在尝试创建一个工具来从网页上抓取信息(是的,我有权限)。 到目前为止,我一直在使用 Node.js 结合 requests 和 Cheerio 来拉取页面,然后根据 CSS 选择器查找信息。我已经
我是一名优秀的程序员,十分优秀!