Відсутність дублювання вихідного коду для різних типів даних

Можливість створення універсальних контейнерів (наприклад, списки, черги)

Типобезпека (type safety) порівняно з макросами препроцесора

Можливість змінювати логіку програми безпосередньо під час її виконання (Runtime)

Зменшення розміру виконуваного файлу (.exe) при великій кількості типів