Rust: Следует задокументировать поведение целочисленного деления / округления остатка.

Созданный на 7 июл. 2015 · 3Комментарии · Источник: rust-lang/rust

Используя Google, я могу найти множество старых аргументов о том, как целочисленное деление должно работать в Rust, но я не могу найти ничего в справочнике, документации API для целочисленных типов или документации API для признака Div который говорит что было на самом деле решено. (И документация, похоже, подразумевает, что / , checked_div и wrapping_div могут не делать одно и то же.) Это еще больше сбивает с толку документация по целочисленным типам, которая, по-видимому, иногда использует / для обозначения целочисленного деления, а иногда и математического деления. (Я не могу придумать какой-либо другой разумной интерпретации floor(self / other) в документации wrapping_div .) Было бы неплохо, если бы это было где-то четко задокументировано, поскольку это варьируется между языками и является одним из них. основных недоразумений с целочисленной арифметикой.

Источник

wthrowe

Все 3 Комментарий

http://doc.rust-lang.org/reference.html#behavior -not-connected-unsafe говорит о «переполнении» и упоминает обертывание, но вы правы, что мы можем лучше понять это.

steveklabnik 7 июл. 2015

@steveklabnik

Речь идет о округлении, а не об упаковке. Мы используем LLVM sdiv , который округляется до нуля (и srem имеет тот же знак, что и дивиденд). Мы должны задокументировать это (документация для wrapping_div настоящее время _lies_, утверждая, что она округляется до отрицательной бесконечности).

arielb1 7 июл. 2015

👍1

Это также должно оставить предупреждение, потому что целое / целое число не всегда желательно и происходит случайно. Просто подумайте, если кто это читает.