Краткий ответ

При преобразовании отрицательного целого в беззнаковое через as Rust сохраняет значение по модулю 2^N, где N — число бит целевого типа. Например, -1 при преобразовании в u8 становится 255, а не вызывает ошибку или панику.

Исторический контекст

Системное программирование часто требует явно менять представление чисел: например, передавать байт в интерфейс устройства или читать поле фиксированной ширины из бинарного протокола. Неявные преобразования скрывают изменение диапазона и могут приводить к незаметной потере данных, поэтому Rust требует явного оператора as для таких преобразований.

Постановка проблемы

Знаковые и беззнаковые типы используют одинаковое количество битов, но по-разному интерпретируют их старший бит. Если отрицательное значение преобразовать в беззнаковый тип, исходное математическое значение обычно не представимо в целевом диапазоне.

Неверное ожидание, что Rust автоматически отклонит такое преобразование, опасно: as является разрешённым явным преобразованием и даёт детерминированный результат. Это может скрыть ошибку при обработке длины, индекса, размера буфера или значения протокола.

Подробное решение

Для целочисленного преобразования к типу шириной N бит Rust оставляет младшие N битов результата. При преобразовании отрицательного значения это эквивалентно вычислению остатка по модулю 2^N.

fn main() {
    let negative: i16 = -1;
    let byte = negative as u8;
    assert_eq!(byte, 255);

    let large: i16 = 258;
    assert_eq!(large as u8, 2);
}

В первом случае двоичное представление -1 после усечения состоит из восьми единичных битов, то есть интерпретируется как 255. Во втором случае 258 mod 256 равно 2.

Такое преобразование не является арифметическим переполнением: для as не возникает паники ни в отладочной, ни в релизной сборке. Это отличается от обычной арифметики, поведение которой может зависеть от режима сборки.

Если преобразование должно быть безопасным с точки зрения диапазона, следует использовать проверяемое преобразование через TryFrom. Оно возвращает Result и позволяет явно обработать неподходящее значение. as уместен, когда усечение или модульная семантика действительно являются частью алгоритма, например при работе с байтами.

Следует отдельно анализировать преобразования с плавающей точкой, char и типами указателей: у них есть дополнительные правила. Вывод о модульном преобразовании относится именно к целочисленным типам.

Ситуация из практики

Сервис получает размер блока как i32, потому что отрицательное значение используется для обозначения ошибки. Разработчик преобразует его в usize через as, чтобы передать размер в операцию с буфером. При ошибке значение становится большим положительным числом, что может привести к попытке выделить чрезмерный буфер или к отказу в обслуживании.

Вариант с безусловным as прост и быстр, но не различает корректный размер и ошибочное отрицательное значение. Вариант с предварительной ручной проверкой диапазона даёт контроль, однако легко ошибиться в границах и дублировать логику.

Предпочтительное решение — проверяемое преобразование через TryFrom с явной обработкой ошибки. Оно делает условие корректности частью кода, исключает неявное усечение и позволяет вернуть понятную ошибку вызывающему слою. as следует оставить только для участка, где модульное усечение намеренно.

Что кандидаты часто упускают

Одинаков ли результат при преобразовании отрицательного числа в u8 и в u16?

Нет. Результат зависит от ширины целевого типа: -1 превращается в 255 при переходе в u8 и в 65535 при переходе в u16. Общее правило — остаток по модулю 2^N, а не фиксированное значение для всех беззнаковых типов.
Паникует ли as при преобразовании слишком большого целого в узкий тип?

Нет. Лишние старшие биты отбрасываются, поэтому результат определяется младшими битами. Например, 258 as u8 даёт 2; для проверки диапазона нужно использовать проверяемое преобразование, а не полагаться на режим сборки.
Почему as не всегда подходит для преобразования внешних данных в размер или индекс?

Потому что внешнее значение может быть отрицательным или превышать диапазон целевого типа. Модульное усечение превращает ошибочное значение в формально допустимое, но семантически неверное. Для границ, индексов и размеров обычно нужен TryFrom с обработкой Err, а as оправдан только при заранее доказанной корректности диапазона или намеренной работе с битовым представлением.