文字配列 - forループが無限でないのはなぜですか？

Question

私は以下のコードを書いてCの文字列を逆にしています。コードが正しく動作しているように見えます。そのため、私は混乱しています。誰もがここにエラーがない理由を知っていますか？私は、範囲外の配列または無限ループのforループを期待していましたが、ループが負の値になる前にブレークしているようです。

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

void reverse(char* str); 

void reverse(char* str) 
{ 
    size_t len = strlen(str); 

    for(int i = (int)len-1; i<=len; i--) 
    { 
     printf("%c", str[i]); 
    } 
} 

int main (int argc, const char * argv[]) 
{ 
    char string[] = {'h', 'e', 'l', 'l', 'o', '\0'}; 
    reverse(string); 

    return 0; 
} 

Answer 1

size_tは、通常、符号なしとして定義されます。符号付きの番号または符号なしの番号または等しいランクを比較すると、符号付きの番号は符号なしに変換されます。符号付きの数値はおそらくマシンの2の補数で表されるので、実際には負の数が大きくなります。

だから、iが-1になると、それは大きくなり、比較結果はlenよりも大きいと考えられます。

これは、コンパイラで警告をオンにすることによって起こっていることがわかります。

を打ち鳴らす-Weverythingを使用してプログラムをコンパイルするために（int型I =（int型）のlen-1; I> = 0; I - ）は、この警告に

unsigned.c:10:30: warning: comparison of integers of different signs: 
        'int' and 'size_t' (aka 'unsigned long') [-Wsign-compare]