使用 unsigned int 而不是 unsigned short 会改变行为

Question

我正在尝试 K&R 的 The C Programming Language 中的 htoi(char*) 函数（练习 2-3，第 43 页）。

该函数用于将十六进制字符串转换为以 10 为底的字符串。

我相信我已经成功了。这是我的代码：

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

enum {hexbase = 16};
typedef enum{false, true} bool;

unsigned int htoi(char* s);
bool hasHexPrefix(char* s);

int main(int argc, char** argv) {   

    if(argc <= 1) {
        printf("Error: Not enough arguments.\n");
        return EXIT_FAILURE;
    }else {
        for(int i = 1; i < argc; i++) {
            unsigned int numericVal = htoi(argv[i]);
            printf("%s => %u\n",argv[i],numericVal);
        }
    }
}

unsigned int htoi(char* s) {
    unsigned int output = 0;
    unsigned int len = (unsigned int)(strlen(s));

    unsigned short int firstIndex = hasHexPrefix(s) ? 2 : 0;

    /* start from the end of the str (least significant digit) and move to front */
    for(int i = len-1; i >= firstIndex; i--) {
        int currentChar = s[i];
        unsigned int correspondingNumericVal = 0;
        if(currentChar >= '0' && currentChar <= '9') {
            correspondingNumericVal = currentChar - '0';
        }else if(currentChar >= 'a' && currentChar <= 'f') {
            correspondingNumericVal = (currentChar - 'a') + 10;
        }else if(currentChar >= 'A' && currentChar <= 'F') {
            correspondingNumericVal = (currentChar - 'A') + 10;
        }else {
            printf("Error. Invalid hex digit: %c.\n",currentChar);
        }
        /* 16^(digitNumber) */
        correspondingNumericVal *= pow(hexbase,(len-1)-i);
        output += correspondingNumericVal;
    }

    return output;
}

bool hasHexPrefix(char* s) {
    if(s[0] == '0')
        if(s[1] == 'x' || s[1] == 'X')
            return true;

    return false;
}

我的问题在于 htoi(char*) 函数中的以下行：

unsigned short int firstIndex = hasHexPrefix(s) ? 2 : 0;

当我删除short 以使firstIndex 变为unsigned int 而不是unsigned short int 时，我得到一个无限循环。

所以当我从 htoi(char* s) 中的 s 后面开始时，i >= firstIndex 永远不会计算为假。

为什么会这样？我是否遗漏了一些微不足道的事情，或者我做错了什么导致这种未定义的行为？

Answer 1

当firstIndex 是unsigned int 时，在i >= firstIndex 中，由于通常的算术转换，i 被转换为unsigned int。因此，如果i 为负数，它将在比较表达式中成为一个大整数。当firstIndex 在i >= firstIndex 中为unsigned short int 时，firstIndex 被提升为int 并比较两个有符号整数。

你可以改变：

for(int i = len-1; i >= firstIndex; i--)

到

for(int i = len-1; i >= (int) firstIndex; i--)

在两种情况下具有相同的行为。