auto : while (true)

[andbin]

-while (true) .. ma true riferito a cosa?? ...a (num != Costante)??

No, true è il valore letterale boolean per "vero". E while(true) vuol solo dire: condizione sempre vera, quindi di per sé cicla sempre!

cioè a while segue subito un if?, la cui condizione determina a sua volta la condizione di while: (true)

No, di per sé non c'entra niente.