使用unsigned int而不是无符号的短更改行为

Question

我试图从C编程语言K & R（Excercise 2-3，第43页）的htoi(char*)函数。

功能旨在为十六进制字符串转换为基座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，我得到无限循环。

所以当我从s后面htoi(char* s)开始，i >= firstIndex从来没有评估为假。

为什么会发生这种情况？我是否错过了一些微不足道的东西，或者我是否做了非常错误的事情导致这种未定义的行为？

Answer 1

当firstIndex是unsigned int，在i >= firstIndex然后i被转换为unsigned int因为通常的算术转换的。所以如果i是负数，它会在比较表达式中变成一个大整数。当firstIndex是unsigned short int,i >= firstIndex,firstIndex被提升为int并且比较两个有符号整数。

您可以更改：

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

到

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

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