C中的if语句否定

Question

您好，我目前正在做一个编程练习，我想确定一些事情。

这是关于 if 语句的否定，像这样：if(!(condition))，if 语句的否定和 not 有什么区别？这是一个程序示例，它通过 if(!(condition)) 而不是 if(condition) 给了我想要的结果。

这是函数，这个函数的目的是检查字符串是否为数字。这个功能我已经测试过了。

bool check_key(char* key){
    for(int i =0; i <strlen(key); i++)
    {
        if(!isdigit(key[i]))
            return false;
    }
    return true;
}

但是这个版本为什么不行？

bool check_key(char* key){
    for(int i =0; i <strlen(key); i++)
    {
        if(isdigit(key[i]))
            return true;
    }
    return false;
}

我错过了什么吗？

对不起，如果我的英语不好，我不是本地人。

Answer 1

这个函数

bool check_key(char* key){
    for(int i =0; i <strlen(key);i++)
    {
        if(isdigit(key[i]))
            return true;
    }

    return false;
}

检查指针key 指向的字符串是否包含至少一个代表数字的符号。一旦找到这样的符号，函数就会退出。

这个函数

bool check_key(char* key){
    for(int i =0; i <strlen(key);i++)
    {
        if(!isdigit(key[i]))
            return false;
        }
        return true;
    }

检查指针键指向的字符串的所有符号是否都代表数字。

也就是第一个函数中if语句的子语句

        if(isdigit(key[i]))
            return true;

当当前符号代表一个数字时获得控制权，如果是，则函数立即退出，尽管其他符号可以代表非数字，但返回 true。

在第二个函数中，if 语句的子语句

        if(!isdigit(key[i]))
            return false;
        }

在当前符号不代表数字时获得控制权，如果是，则函数立即退出，返回 false。这意味着指针键指向的字符串至少包含一个非数字符号。

注意这两个函数都不正确。尽管空字符串不包含任何数字，但对您而言似乎正确的函数对空字符串返回 true。

同样调用函数strlen也是低效的。

函数应该至少按以下方式声明和定义

bool check_key( const char *key )
{
    if ( *key == '\0' ) return false;

    while ( isdigit( ( unsigned char )*key ) ) ++key;

    return *key == '\0';
}

Answer 2

第一个版本在找到不是数字的字符后立即返回false。如果到达循环末尾，则返回true。所以它只返回true如果每个字符是一个数字，即字符串看起来像一个数字。

第二个版本一找到数字字符就返回true。如果到达循环末尾，则返回false。因此，如果 任何 个字符是数字，则返回 true，如果 没有 个字符是数字，则仅返回 false。

所以如果key 包含数字和非数字的混合，例如"a1b"，第一个版本将返回false，但第二个版本将返回true。

Answer 3

您偶然发现了一个重要、深刻但有时容易被忽视的逻辑问题。当你写的时候

for(i = 0; i < strlen(key); i++) {
    if(!isdigit(key[i]))
        return false;
}
return true;

你的意思是如果任何字符不是数字，返回false。

但是当你说

for(i = 0; i < strlen(key); i++) {
    if(isdigit(key[i]))
        return true;
}
return false;

您的意思是如果任何字符是数字，则返回 true。

看到区别了吗？

对于输入 "123"，两个函数都返回 true。

对于输入 "abc"，两个函数都返回 false。

但是对于输入"12x"，第二个函数返回true，因为至少有一个字符是数字。另一方面，第一个函数正确返回 false，因为至少有一个字符不是数字。

这与De Morgan's Law有关。

您可能还想考虑如果给定输入（如 "-123"、" 123"、"123 " 或 "123\n"），该函数应该做什么。