Char Array - Perché il ciclo non è infinito?

Question

Ho scritto il seguente codice per invertire una stringa in C. Il codice sembra funzionare correttamente ed è per questo che sono confuso. Qualcuno sa perché non c'è un errore qui? Mi aspettavo un array fuori limite o un ciclo infinito sul ciclo for, ma sembra che il ciclo si interrompa prima di arrivare a valori negativi.

#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 è generalmente definito come non firmato. Quando confronti un numero firmato e un numero senza segno o uguale, il numero firmato viene convertito in non firmato. Dal momento che il numero firmato è probabilmente rappresentato in complemento a due nella tua macchina, i numeri negativi sono in realtà più grandi.

Quindi, una volta che i colpisce -1, è più grande il confronto pensa sia maggiore di len.

Si può vedere questo sta accadendo attivando avvisi nel compilatore.

Compilare il programma con -Weverything clangore produce questo avvertimento

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