Як правило, програмні об'єкти володіють різноманітними і різнотипними властивостями. Конструювання таких об'єктів передбачає використання структур.