C++ Loop infinito não funciona

[LuizHenrique.]

Olá, gostaria de saber o motivo desse código não entrar em loop infinito.

 

#include <iostream>

using namespace std;

int main(int argc, char const *argv[])
{
    int array[] = {1,2,3,4,5};

    int* ponteiroarray = &array[4];

    int i = 4;

    while (i <= (sizeof(array) / sizeof(int)))
    {
        cout << *ponteiroarray << endl;
        parray--;
        i--;
    }
    
    cout << "Fim do loop" << endl;

    return 0;

O código imprime: 5, 4, 3, 2 ,1. Até ai tudo certo, mas fiquei intrigado porque ele não entra em loop infinito, já que ele vai diminuindo o valor da varíavel i.

[Flávio Pedroza]

sizeof retornar variável do tipo unsigned long,  ou std::size_t em c++. São tipos de variáveis positivas que vão de zero até um valor máximo, nunca negativas. Quando você compara com números negativos, dá erro, pois o compilador vai transformar o número negativo no tipo sem sinal, ficando um número positivo com valor alto.

Rode o exemplo abaixo para entender melhor.

#include <iostream>
using namespace std;

int main()
{
    int a = -1; //variável com sinal
    unsigned long b = 0;// variável sem sinal
    int c= 0;//variável com sinal
    
    if (a < b) cout << "a eh menor que b" << endl; //comparando signed com unsigned - erro!
    else cout << "erro???" << endl;
    
    if (a < c) cout << "a eh menor que c" << endl; //comparando signed com signed - ok!
    else cout << "erro???" << endl;
    //o que acontece quando transformo um tipo negativo em unsigned?
    cout << (unsigned long)a;
    
    return 0;
}

Em resumo, não compare números negativos com varáveis unsigned.