Введение в псевдонимы типов в Rust

Псевдоним типа - это другое имя для уже существующего типа. Запись с равенством не добавляет новую сущность в систему типов: оба имени указывают на одно и то же.

Так удобнее читать код: вместо голого i32 в сигнатуре видно, что речь об идентификаторе пользователя или о коде ошибки. Проверка типов при этом не ужесточается: значения по-прежнему взаимозаменяемы с исходным типом.

Другой прием - короткая структура с одним полем внутри. Она задает отдельный тип: число само по себе туда не подставить, нужна оболочка, а к внутреннему значению обращаются через поле с индексом ноль. Компилятор не примет такое значение там, где ждут голое число, пока поле явно не откроют.

Дальше посмотрим запись второго имени на примере целого и сравним ее с оболочкой вокруг того же целого. В конце закрепим оба приема на задачах.