Когда использовать разные целочисленные типы?

Языки программирования (например, c, c ++ и java) обычно имеют несколько типов для целочисленной арифметики:

• подписанные и беззнаковые типы
• типы разный размер: short , int , long , long long
• типы гарантированного и негарантированного (т.е. зависящего от реализации) размера:
  например int32_t vs int (и я знаю, что int32_t не является частью языка)

Как бы вы резюмировали, когда следует использовать каждый из них?