C中的布尔函数“控件可能到达非无效函数的结尾”错误

Question

编译代码时，我总是在布尔函数上得到“控制可能到达非空函数的结尾”，但不知道是什么原因造成的。

这是代码，谢谢

#include <stdio.h>
#include <math.h>
#include <cs50.h>
#include <stdlib.h>
#include <ctype.h>
#include <string.h>

bool digit_validation (string s);

int main (int argc, string argv[])
{
    
    if((argc == 2) && (digit_validation(argv[1]) == true))
    {
        int key = atoi(argv[1]);
        printf("%i\n", key);
    }
    
    else
    {
        printf("Usage: ./caesar key\n");
    }

}

bool digit_validation (string s)
{
for (int i = 0, lenght = strlen (s); i < lenght; i++ )
{
    if(isdigit(s[i]))
    {
        return true;
        break;
    }
    
    else
    {
        return false;
    }
}
}

Answer 1

编译器警告说，函数digit_validation 可能最终会从函数中“脱落”——而不返回任何值。如果调用者使用该值，就像在您的代码中发生的那样，它会导致 undefined behaviour。

例如，如果你传递一个空字符串""，那么length为0，则根本不进入for循环。

digit_validation还有其他问题。

• 如果你传递一个空指针，strlen 就会有问题。

• 它实际上并没有验证 所有 个字符都是数字；一旦找到第一个数字，函数就返回而不检查其余数字。

它可以固定为：

bool digit_validation (string s)
{
    if (!s || !s[0]) return false;

    for (size_t i = 0; s[i]; ++i) {
        if(!isdigit((unsigned char)s[i])) return false;
    }
  
    return true;
}

几点：

• isdigit（以及所有一般的 ctype 函数）的参数需要强制转换为 unsigned char 以避免 undefined behaviour in case of negative values。

• 鉴于s 是一个字符串，您可以避免使用strlen 来计算长度，而是使用前哨空字节（毕竟strlen 将检查相同）。

Answer 2

我认为您的第二个功能有点混乱，但很容易解决：

bool digit_validation(string s) {
  size_t length = strlen(s);

  for (size_t i = 0; i < length; i++) {
    if (isdigit(s[i])) {
      return true;
    }
  }        

  return false;
}

正如其他人所观察到的，您的循环可能已被跳过，这将导致函数结束而不返回任何内容。作为一般规则，您希望构建代码以使退出点显而易见，而您的原始代码并非如此。

这还没有检测到“所有数字”，你仍然需要通过反转逻辑来解决这个问题：

bool digit_validation(string s) {
  size_t length = strlen(s);

  if (!length) {
    return false;
  }

  for (size_t i = 0; i < length; i++) {
    if (!isdigit(s[i])) {
      return false;
    }
  }        

  return true;
}