主页 / 问题 / 1575180
Accepted
Halturin Evgeniy
Asked:2024-04-08 13:03:17 +0000 UTC2024-04-08 13:03:17 +0000 UTC

溢出和符号测试。调试指令

  • 772

是否有任何编译器指令允许您在执行算术和整数赋值时包含溢出检查和负无符号整数赋值？与 _ITERATOR_DEBUG_LEVEL、CONTAINER_DEBUG_LEVEL (Visual Studio)、_GLIBCXX_ASSERTIONS (Qt) 指令类似，用于在容器及其迭代器中启用有效性和范围检查。我还假设“否定未签名”检查可以解释为溢出，但我不知道，也许对此事已经有一些既定的看法。

事实上，我也在编写自己的容器（一个多维数组，用于教育目的），但除了指定的检查之外，我还想添加调试来检查我没有得到负大小一构造函数中的尺寸，但我不想将这些检查拖到版本中。如果编译器中已经存在类似的指令，那么创建自己的指令并不是很好。

我在这个主题上找到的所有内容都是在运行时实现检查的示例。是的，我需要它们。但问题不在于他们。我希望它们（这些检查）默认被禁用，但可以启用以进行测试。

添加：

我完全忘记提到断言。断言是可能的，但它的范围太宽了。一个 NDEBUG 解决所有问题。简单地说，如果它在这里有一席之地，那么为什么它在标准容器中没有一席之地呢？我不知道……但如果根据规范这确实是断言的地方，那就让它断言吧。但我真的还不知道。

c++

2 个回答

  1. Best Answer

    溢出检查包含在-fsanitize=undefined（GCC、Clang；MSVC 似乎没有等效项）中。（我还要添加-fsanitize=address，它捕获不正确的内存处理 - 这就是 MSVC 可以做的。）

    默认情况下，只有已签名的（因为未签名是合法的），但如果您深入研究设置，也许您也可以捕获它。

    但是，正是为了这个目的 - 检查参数是否非负 -assert()我更喜欢它。

    它的范围太广了。一应俱全NDEBUG。

    那么，本着 的精神制作您自己的宏assert()，但可以单独打开/关闭。

    _GLIBCXX_ASSERTIONS (Qt)

    它不是来自 Qt，而是来自 libstdc++ - GCC 编译器的标准 C++ 库。

    还有一种_GLIBCXX_DEBUG包含更多检查。

    • 0

  2. 让我评论几点：

    将负值赋给无符号数

    Clang/GCC - 使用标志编译-Wsign-conversion：

    unsigned foo(int a){ return a; }
// Без -Wsign-conversion: OK
// C   -Wsign-conversion: conversion to 'unsigned int' from 'int' may change the sign of the result

    我还想添加调试来检查它们是否没有给我带来构造函数中某个维度的负大小

    他们怎么能“偷偷”给你呢？为此参数使用无符号整数类型。

    • 0

相关问题