- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
Klocwork 在以下条件行中表示“无符号值与 0 的比较始终为真”:
#define MAX_VALUE 8589934592 //2^33
...
uint64_t val = get_val();
if (val >= MAX_VALUE)
{
return ERROR_INVALID_VALUE;
}
为什么? MAX_VALUE 不是 0...
请指教。
提前谢谢你。
最佳答案
#define MAX_VALUE 8589934592 //2^33
该文字可能是个问题,具体取决于您使用的 C++ 版本以及您的编译器选择如何处理它。
在 2003 标准中,如果一个无后缀的十进制文字在 int
范围内,则它是 int
类型,或者是 long int
类型如果在long int
范围内;否则,行为未定义。如果您的 gcc 版本符合 2003 标准,则行为的未定义性可能表现为 8589934592
评估为 0,这可以解释您所看到的问题。 (但我希望收到有关整数文字超出范围的警告;您收到这样的警告了吗?)
在 2011 标准中,这样的文字可以是 int
、long
或 long long
类型。 (C++ 2003 没有long long
;它是从 C99 借来的。)
(请注意,^
是按位异或运算符;C++ 没有指数运算符。这在注释中无关紧要,但 2**33
可能是更清晰,即使这也不是有效的 C++ 表达式。)
...
uint64_t val = get_val();
get_val()
返回什么类型?这应该不会影响警告,但知道会很有趣。
if (val >= MAX_VALUE)
如果 long
在您的系统上是 64 位的,那么这应该没问题。如果 long
是 32 位,那么 uint64_t
必须比 long
/unsigned long
更宽——暗示您的编译器未在符合 C++ 2003 模式下运行。
以下程序的输出是什么?
#include <stdint.h>
#include <limits.h>
#include <iostream>
#include <ctime>
uint64_t get_val();
const char *type_name(int i) { return "int"; }
const char *type_name(long i) { return "long"; }
const char *type_name(unsigned long i) { return "unsigned long"; }
const char *type_name(long long i) { return "long long"; }
const char *type_name(unsigned long long i) { return "unsigned long long"; }
int main() {
std::cout << "UINT_MAX = " << UINT_MAX << "\n";
std::cout << "ULONG_MAX = " << ULONG_MAX << "\n";
std::cout << "8589934592 = " << 8589934592 << "\n";
std::cout << "8589934592 is of type " << type_name(8589934592) << "\n";
uint64_t val = time(0);
if (val >= 8589934592) {
std::cout << "It's getting late!\n";
}
}
和 Klocwork 在比较时给你什么警告(如果有的话)?如果 Klockwork 向您发出与程序输出不一致的警告,这可能是 Klocwork 中的错误(您应该报告)——或者您可能只需要使用不同的选项调用它。 (我自己从未使用过 Klocwork。)
您可以通过使用 -std=c++0x
调用 g++ 来解决(或至少解决)问题。
关于c++ - Klocwork 提示无符号与零的比较总是正确的——为什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8026797/
我想使用 NetworkX Graph 对象作为 Python dict 中的键。但是,我不希望默认的比较行为(即通过对象的地址)。相反,我希望同构图是 dict 中相同元素的键。 此行为是否已在某处
这个问题已经有答案了: What is the most effective way for float and double comparison? (33 个回答) 已关闭 7 年前。 在您认为我
我正在学习 C 编程,为了练习,我找到了一个需要解决的任务。这有点像一个游戏,有人选择一个单词,其他人猜测字母。我必须检查有多少给定的单词可能是所选单词的正确答案。 输入: 3 3//数字 n 和 m
我两天前开始学习C,在做作业时遇到了问题。我们的目的是从字符数组中获取字符列表,并通过计算连续字符并将其替换为数字来缩短它。对“a4b5c5”说“aaaabbbbbccccc”。这是我到目前为止的代码
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
为什么我在 if 中的比较不起作用?答案应该是 8 但它返回 0。 function findMissing(missingArray){ var getArray = missing
我想知道为什么以下 JavaScript 比较会给出不同的结果。 (1==true==1) true (2==true==2) false (0==false==0) false (0==false)
我想知道是否有人可以帮助我完成这个程序。编写一个接受两个字符串的函数。该函数应该将这两个字符串与字典顺序上排在第一位的字符串组合起来。两个字符串之间应该有一个空格。在一行上打印结果字符串。在一行上打印
有谁知道一个免费的开源库(实用程序类),它允许您比较一个 Java bean 的两个实例并返回一个属性列表/数组,这两个实例的值不同?请发布一个小样本。 干杯 托马斯 最佳答案 BeanCompara
我是java新手。任何人都可以给出以下类声明的含义 public class ListNode, V> { K key; V value; ListNode next;
我需要用 C 语言计算和比较 3 种不同大小(100 * 100、1000 * 1000 和 10000 * 10000)的 2 个矩阵相乘的执行时间。我编写了以下简单代码来为 1000 * 1000
当我在 ACCESS 2007 中运行以下 SQL 时 Select Location, COUNT(ApartmentBuildings) AS TotalIBuildingsManaged Fro
根据我对互斥锁的了解——它们通常提供对共享资源的锁定功能。因此,如果一个新线程想要访问这个锁定的共享资源——它要么退出,要么必须不断轮询锁(并在等待锁时浪费处理器周期)。 但是,监视器具有条件变量,它
通常在编程中,不应该比较浮点数据类型是否相等,因为存储的值通常是近似值。 由于两个非整数 Oracle NUMBER 值的存储方式不同(以 10 为基数),是否可以可靠地比较它们是否相等? 最佳答案
使用 PowerShell 时,我们偶尔会比较不同类型的对象。一个常见的场景是 $int -eq $bool (即其中 0 -eq $false 、 0 -ne $true 和任何非零值仅等于真,但不
#include #define MAX 1000 void any(char s1[], char s2[], char s3[]); int main() { char string1[
我想比较两个日期。 从这两个日期中,我只使用 ToShortDateString() 获取日期组件, 如下所示。现在的问题是当我比较两个日期时。它的 throw 错误—— "Operator >= c
用户输入一个数字( float 或整数),并且它必须大于下限。 这是从 UITextField 获取数字的代码: NSNumberFormatter * f = [[NSNumberFormatter
我已经摆弄这段代码大约一个小时了,它让我难以置信。我认为解决方案相当简单,但我似乎无法弄清楚。无论如何,这里去。我制作了一个 javascript 函数来检查用户输入的字符,以便它只能接受 7 个字符
我不太明白为什么当我们在不覆盖 equals 的情况下比较具有相同类属性的两个实例时方法,它将给出 false .但它会给出 true当我们比较一个案例类的两个实例时。例如 class A(val
我是一名优秀的程序员,十分优秀!