1) С какой стати это вообще компилируется?

а чего не должно?

        let b = a as i64;

Что ты хочешь сделать этим идиотизмом из сишечки и прочего скама? Взять целую часть числа? Так используй соответсвующие функции.

От идиотизма программиста не защититься.

встанет в раскоряку, взорвется, выпустит токсичный газ, убивающий 100тыс. населения; нужное подчеркнуть

нужное подчеркнуть

Так-так, дайте подумать…

в rustonomicon написано, что в современном rust этот код не просто приводит к неожиданному результату, а вообще является UB

casting from a float to an integer will round the float towards zero. NOTE: currently this will cause Undefined Behavior if the rounded value cannot be represented by the target integer type. This includes Inf and NaN. This is a bug and will be fixed.

rustonomicon

Дураки. Меня вот тошнит от Лавкрафта, нафига «смех**чков ради» создавать с ним ассоциации?

https://en.wikipedia.org/wiki/Necronomicon

Модным у школьников стал же.

почему обязательно Лавкрафт? Может, это дотеры придумали.

Ну я прост не играл в неё.

Ну я не сторонник все новые языки обзывать «школолошными».

А ведь могли в as включить выделение целого из вещественного, без округления что бы было явное поведение. :D

let b = a as i64;

Я руст не знаю, я жабокодер, но разве это не операция явного приведения типа, в IDE у тебя тут должен быть ворнинг, наверное и компилятор тоже может его выводить.

2. Да, f64 и i64 нужно одно и то же количество битов для хранения значения, ну и что?

Ну это низкоуровневый язык, он должен допускать такие вещи делать, например в жабе придется бинарное представления флоата в интерджер окольными путями делать, через сериализаци-десериализацию, но жаба обычного с бинарными протоколами дела не имеют, там прикладной пишут.

Но в расте же нету ub, это только в проклятом С!

Скастуй сюда главного растомана лора

Что-то не вижу «The as keyword does safe casting» в документации.

А вот это вижу: "Casting from a float to an integer will round the float towards zero

NOTE: currently this will cause Undefined Behavior if the rounded value cannot be represented by the target integer type. This includes Inf and NaN. This is a bug and will be fixed."

https://doc.rust-lang.org/reference/expressions/operator-expr.html#type-cast-expressions

С разморозкой: https://github.com/rust-lang/rust/labels/I-unsound%20%F0%9F%92%A5

В языке нет. В компиляторе есть, пока что.

Так может пора отвязаться от LLVM и написать уже Rust на Rust по взрослому?

В голос с зумерков, которые даже категорию в багтрекере не могут без эмодзи написать

В педерасте язык не имеет смысл без компилятора

Что ты хочешь сделать этим идиотизмом из сишечки и прочего скама?

А очень просто. Есть некоторый физический параметр, который используется в разных модулях системы. Модуль, который разрабатываешь ты, требует повышенной точности при вычислениях или большого диапазона допустимых значений. Модуль, который принимает i64 разработан другими людьми. Он не требует повышенной точности, хорошо отлажен на легаси системе, и более того, он успешно работает с твоим модулем в тестовых условиях.

Примерно тоже самое делали, когда случился былинный провал со взрывом Ariane 5, и было это почти 25 лет назад, задолго до появления Rust.

наверное и компилятор тоже может его выводить.

я пробовал на https://play.rust-lang.org/ , никаких ворнингов не выводит

Дык а вообще неясно как это обрабатывать, понятно что у плавающей точки диапазон шире чем у целого. Если возникает такая ситуация, это косяк в проектировании?

Кидать ворнинги на все такие приведения? Но Вы же сами написали приведение ручками…

Ответ википедии на твой вопрос

Type safety is sometimes alternatively considered to be a property of a computer program rather than the language in which that program is written; that is, some languages have type-safe facilities that can be circumvented by programmers

Удобно: можно менять определение когда выгодно

Компилируйте на nightly с помощью cargo rustc --release -- -Z saturating-float-casts

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

по хорошему float в int вообще не должен кастоваться по дефолту. они хоть и низываются «числом», но у них мало общего.

например в жабе придется бинарное представления флоата в интерджер окольными путями делать, через сериализаци-десериализацию,

Нет. В Java для этого есть API в java.lang.Double.

При чём тут llvm?

Обрабатывать нужно через TryFrom, но он ещё не стабилизирован.

Компилируйте на nightly

Вся суть секты

Открыл рандомную иссульку там «Сорян это бага llvm»

Скорее всего будет approx_unchecked_to() отсюда https://github.com/rust-lang/rust/pull/66841.

llvm никто переписывать не собирается, насколько мне известно.

Ну а оператор as - это вообще косяк дизайна языка. Надеюсь его сделают в итоге unsafe, как и положено.

Я всё же надеюсь что они таки реализуют TryFrom для float. Сейчас приходится num-traits использовать.

У меня есть другой пример из моей личной практики.

Предположим, написали на C++ дикий код с шаблонами. Почти наверняка, большая часть плюсового кода нифига не проверена, потому что проверяется по факту в момент инстанцирования шаблона, а инстанцирования могут сильно отличаться друг от друга.

В случае Rust аналогичный код, скорее всего, будет состоять из трейтов и генериков. Важное отличие от С++ - растовский код будет проверен до инстанцирования генериков!

Чуешь разницу? Как опытный плюсовик ты должен был бы воскликнуть сейчас: «Эврика!»

Я про Лавкрафта.

дикий код с шаблонами

может просто написать недикий и без шаблонов?

Можно пример на С++?

Чуешь разницу? Как опытный плюсовик ты должен был бы воскликнуть сейчас: «Эврика!»

Это как предлагать опытному плюсовику джаву и думать, что он будет счастлив. Разработчики Rust даже специализацию полноценно сделать не могут.

Я такое даже в сишечке не делаю.

Чуешь разницу? Как опытный плюсовик ты должен был бы воскликнуть сейчас: «Эврика!»

Я не опытный плюсовик, так что кричать не буду в любом случае.

В случае Rust аналогичный код, скорее всего, будет состоять из трейтов и генериков. Важное отличие от С++ - растовский код будет проверен до инстанцирования генериков!

А о каких проверках речь идет? Не мешало бы примерчик.

От идиотизма программиста не защититься.

Я думаю суть претензии в документации которая слишком свободно использует слово safe. Это слишком широко используемое слово и не стоит без оговорок так писать.

Но автор ссылочку на док то не скинул, насколько это все официально?

Вот официальный док

https://doc.rust-lang.org/reference/expressions/operator-expr.html#semantics

Написано прямо жирным шрифтом

• Casting from a float to an integer will round the float towards zero
  • NOTE: currently this will cause Undefined Behavior if the rounded value cannot be represented by the target integer type. This includes Inf and NaN. This is a bug and will be fixed.

Так может пора отвязаться от LLVM и написать уже Rust на Rust по взрослому?

Нет, шашечки не нужны. Лучше ехать

Шёл 2020 год. Растишники спорят как преобразовывать типы. Это даже похлеще Посмотрел я этот ваш Rust

Разорванный Флакон

Нет, шашечки не нужны. Лучше ехать

Вот поэтому в системном программировании все и пишут на C или C++. До тебя уже начинает доходить.

Разорванный Флакон

Вот поэтому в системном программировании все и пишут на C или C++

Это те, кто еще в неосознанке или с легаси.

Царь, ты? Где блог написаный с нуля на плюсах?

Это те, кто еще в неосознанке или с легаси.

А остальные на чем пишут?

Царь, ты? Где блог написаный с нуля на плюсах?

Я смотрю тебе до сих пор везде цари мерещатся, видимо, неплохо он так расширил, кхм, твои горизонты познания.

Разорванный Флакон

В C++ сначала происходит инстанциирование, а затем компиляция. В расте же сначала проверяются трейты, а потом уже происходит инстанциирование. Из-за чего ошибки в шаблонном коде намного более вменяемые.

struct MyType(i32);

fn max_value<T>(items: &[T]) {
    println!("{:?}", items.iter().max());
}

fn main() {
    max_value(&[MyType(1), MyType(2), MyType(3)]);
}

error[E0277]: the trait bound `T: std::cmp::Ord` is not satisfied
 --> src/main.rs:4:35
  |
3 | fn max_value<T>(items: &[T]) {
  |              - help: consider restricting this bound: `T: std::cmp::Ord`
4 |     println!("{:?}", items.iter().max());
  |                                   ^^^ the trait `std::cmp::Ord` is not implemented for `T`
  |
  = note: required because of the requirements on the impl of `std::cmp::Ord` for `&T`

error[E0277]: `T` doesn't implement `std::fmt::Debug`
 --> src/main.rs:4:22
  |
3 | fn max_value<T>(items: &[T]) {
  |              - help: consider restricting this bound: `T: std::fmt::Debug`
4 |     println!("{:?}", items.iter().max());
  |                      ^^^^^^^^^^^^^^^^^^ `T` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug`
  |
  = help: the trait `std::fmt::Debug` is not implemented for `T`
  = note: required because of the requirements on the impl of `std::fmt::Debug` for `&T`
  = note: required because of the requirements on the impl of `std::fmt::Debug` for `std::option::Option<&T>`
  = note: required by `std::fmt::Debug::fmt`

error: aborting due to 2 previous errors

vs

#include <iostream>

struct MyType { int d; };

template<typename T>
void max_value(const std::vector<T> &items)
{
    std::cout << std::max_element(items.begin(), items.end()) << std::endl;
}

int main(int argc, char *argv[])
{
    const std::vector<MyType> items{ {1}, {2}, {3} };
    max_value(items);
    return 0;
}

Вывод копипасть не будут, ибо не влезет.

Вывод - на C++ простой и лаконичный код, а на Расте какая-то портянка текста, да еще и сообщение об ошибке.

Разорванный Флакон

Ну толсто жы :)