Где реализованы булевские и другие примитивные типы Rust?

Question

Я просматривал код за некоторыми из основных типов в Rust, например. pleasantly simple implementation от Option<T> или weird macro magic позади tuple, и я смог найти все типы, которые я хотел в libcore. Все, кроме одного - bool. Я не мог найти его нигде.

Адрес: bool Адрес: Rust? Я знаю, что это не самый новый тип, но я был удивлен, что не смог найти его.

Благодаря ответам Фрэнсиса и Родриго я заметил, что код, который я нашел для других примитивов, был только их чертами и связанными с ними макросами, но не фактическими реализациями.

В книге Rust указано, что примитивы are built-in to the language, но я не удовлетворен этим объяснением. Когда они были построены? Может ли это быть прослежено до того момента, когда компилятор Rust впервые был создан с помощью Rust или это произошло, когда оно все еще было встроено в OCaml? Существует ли какой-либо соответствующий код?

Answer 1

Так вот немного больше информации о том, что происходит в компиляторе. Для начала, как уже упоминалось, фактические операции, выполняемые с помощью логических элементов, полностью обрабатываются LLVM и непосредственно передаются в соответствующие инструкции ЦП. Хотя есть некоторые случаи, когда код просто волшебным образом появляется из-за начальной загрузки, это не один из них. Компилятор специально написан для обработки этих типов и испускает правильные инструкции LLVM.

Для самых ранних частей компиляции (например, при макрорасширении) тип bool не является особым. Это всего лишь некоторый путь с идентификатором bool. В конце концов around here он преобразуется в примитивный тип. Фактическое определение типа: here.

Итак, давайте посмотрим, как работает оператор !. Как я упоминал ранее, код в libcore, который делает impl Not for bool, никогда не используется. Код в форме !expr преобразуется в <T as Not>::not(expr)here.Однако вы заметите, что он проверяет, действительно ли это конкретное выражение является вызовом метода или нет, и просто оставляет его как !expr, если он не предназначен для вызова метода. Как это знать? Вызов в MIR - это просто поиск в кеше. Кэш заселен во время проверки проверки типа. Here - это место, где происходит вставка кеша - в основном проверка того, реализуется ли признак Not для данного типа в любое время, когда он видит !. И вы заметите, что this line специально исключает логические и интегральные типы, которые в конечном итоге сводятся к инструкциям LLVM напрямую.

Это грубая картина того, как она определена. Вы найдете аналогичный код в тех же файлах для других примитивов. Теоретически может быть какая-то строка где-то, которая была enum bool { true, false }, но в конечном итоге этот же код все равно должен был бы переопределить его и испустить соответствующие LLVM-функции, и целые числа не могли быть представлены таким образом.

Answer 2

bool is a primitive type. Примитивные типы и операции над ними реализуются компилятором, то есть компилятор испускает специализированный код для выполнения операций над примитивными типами.

Вы увидите, что bool обладает многими чертами. Эти реализации исходят из libcore, но они часто реализуются с помощью соответствующего оператора. Например, Not::not is implemented by returning !self. Для любого не примитивного типа это вызовет рекурсивно и приведет к переполнению стека Not::not, но для примитивных типов компилятор по-разному решает оператор, и эти реализации признаков предоставляются только в интересах общего кода.

Answer 3

Вы можете определить определение для core::i32 только из-за констант i32::MIN и i32::MAX. Фактический тип - это просто псевдоним для встроенного типа i32.

В случае core::f32, например, есть много полезных констант.

Но bool, нет никаких полезных значений, отличных от true и false, которые являются ключевыми словами, так что нет никакого источника для bool.