Ja fakt strasne nerad kritizuji, ale tohle bylo fakt podivne zvolene. Nekonecny cyklus je vec, kterou v dnesni dobe (bohuzel zatim jako jednu z male veci) dokazou verifikovat automaticke nastroje.
Radeji bych se zameril na design by contract, nebo dukladne probrat automaticke ukazatele, pripadne funktory nebo dukladne pouzivani const.
Pripadne to vsechno ukazat na nejakem hezkem prikladu, treba na implementaci koherentni cache.
Zakladni vyhodou C++ neni to ze jde psat bezpecne, ale to ze v C++ jde psat bezpecne bez vyrazneho dopadu na vykon programu. Silna podpora pro statickou kontrolu primo v jazyce a slusna podpora pro externi staticke analyzatory diky jednoduche extenzibilite jazyka jsou presne to co dela z C++ velice bezpecny jazyk.
