Почему в примерах книги используется i32, а не i8?

Question

[innntern]

Здравствуйте! изучаю Rust по стандартной книге и здесь в примерах

fn five() -> i32 {
    5
}

fn main() {
    let x = five();

    println!("The value of x is: {x}");
}

почему-то используется i32, а не i8. Ведь даже если взять этот пример функции который возвращает число 5 хватит типа i8. Почему автор использует именно i32?

Answer 1

[mayton2019]

Это очень старая практика. Почти все сишники так делают. Для современных процессоров операции с 32х разрядным числом удобнее. А суждать до 8 бит нет смысла. Все равно регистр EAX так или иначе используется целиком.

Но 8 битные целые имеют смысл если их складывать в массивы. И еще имеет смысл ужесточать
тип когда очень важно иметь функцию которая по контракту принимает только 8 битное целое. Но это редко
бывает. Чаще мы хотим целое число пошире. Но не 64 бита. Это перебор. Это как бутылка водки против контейнера водки.

Comments

[Андрей Леснико́в]

Дополню, что если говорить конкретно про раст, то в нем целые числа, у которых нет никакого дополнительного контекста, выводятся как i32 по умолчанию - https://doc.rust-lang.org/reference/expressions/li...

> If the program context under-constrains the type, it defaults to the signed 32-bit integer i32

(в общем-то по вышеозначенным причинам - https://github.com/rust-lang/rfcs/blob/master/text...)

[AHMED_RAPIRA]

Все равно регистр EAX так или иначе используется целиком.

Вы это проверяли как-то?

[mayton2019]

AHMED_RAPIRA, я не буду спорить. Я просто говорю свое предположение на основании наблюдения за ассемблерным кодом. Если у вас есть контр-пример - пожалуйста приведите.

Я допускаю что я чего-то не видел в своей жизни.

[AHMED_RAPIRA]

mayton2019, нет я не спорю, сам хочу углубиться и узнать способы исследовать бинарные файлы

[mayton2019]

AHMED_RAPIRA, Rust - это сложный компиллятор. По крайней мере у него есть промежуточный слой LLVM кодогенерации. На этом слое скорее всего будет явно использован тип i8. А после сборки в целевую платформу (x86_64) скорее всего информация об 8 разрядном регистре может быть потеряна и может всплыть регистр AL/AX/EAX как регистр для алгебраических типов и для целых расчетов в принципе.

Попробуй

cargo rustc -- --emit=llvm-ir
и посмотри промежуточный код в текстовом виде.

И потом любым дизассемблером посмотри свой бинарник.