c++ - 在这种情况下捕获访问冲突是否安全?

标签 c++ undefined-behavior

我读了很多书,包括 here on SO这表明这通常是一个非常糟糕的主意,您唯一可以安全地做的就是退出程序。我不确定这是真的。

这是一个池内存分配器,它将大量分配交给 malloc。在 pool_free() 期间,需要检查指针是属于池还是使用 malloc 分配的。通过将地址向下舍入到最接近的 1MB 边界,我得到了一个指向池中内存块开头的指针,如果使用了 malloc,则为 undefined。在第一种情况下,我可以很容易地验证内存块是否属于池,但是,如果不是,我将无法通过此验证,或者我将遇到访问冲突(注意这是一个只读进程)。难道我不能用 SEH (Windows) 捕获它或处理信号 (POSIX) 并将其视为失败的验证吗? (即这只有在使用 malloc 时才有可能,因此将 ptr 传递给 free())

编辑:人们似乎遗漏了上面的 OR。如果指针是用 malloc 分配的,我不希望出现访问冲突,但这是一种可能的结果。使用指向 block 开头(在 1MB 边界处)的指针的过程是验证一个魔数(Magic Number),然后跟随指向内存池的指针,并检查它是否确实包含上述​​指向 block 的指针。如果这些只读步骤中的任何一个产生访问冲突,则它肯定会失败,就像任何单个步骤失败一样。

最佳答案

您需要更好的测试。如果使用 malloc,则无法真正保证您会获得 AV,因为舍入点也可能已分配给您的应用程序,因此您可以访问该内存。

关于c++ - 在这种情况下捕获访问冲突是否安全?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2932822/

相关文章:

c++ - boost::enable_if_c 错误:不是模板非类型参数的有效类型

c++ - 为什么括号中的AND与没有时的评价不同?

c - += 运算符链接(带一点 UB)

C - 为什么我的数组被覆盖了?

c - 使用 GCC 和 bool 指针的条件运算符的奇怪结果

c++ - boost::hold_any 构造函数是否有未定义的行为?

c++ - 如何独立存储双端

c++ - 在全局范围内重载 std 容器上的运算符是一种不好的风格吗?

c++ - 为什么 char 数组必须以空字符结尾?

c++ - C++ 中的移位运算