Size: a a a

2021 April 09

ΑZ

Αλεχ Zhukovsky in rust_offtopic
покажи в коде где там в один момент есть &mut и &t
источник

EG

Emmanuel Goldstein in rust_offtopic
Асинки это примерно настолько же не UB, как вот такой код
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=28723a6cbb4cc94408ab90a9ec64bded
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
короч тлдр: если в компиле нахачено то это не уб
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
если дока противоречит компилю - проблема в доке
источник

p

polunin.ai in rust_offtopic
Language:
rust


Source:
fn main() {
 let mut a = 10;
 let r = &mut a;
 dbg!(a);
 *r += 2;
 dbg!(a);
}


Errors:
error[E0503]: cannot use `a` because it was mutably borrowed
--> 228605438/source.rs:4:3
 |
3 |   let r = &mut a;
 |           ------ borrow of `a` occurs here
4 |   dbg!(a);
 |   ^^^^^^^^ use of borrowed `a`
5 |   *r += 2;
 |   ------- borrow later used here
 |
 = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error: aborting due to previous error

For more information about this error, try `rustc --explain E0503`.


Result:


REXTESTER NOTICE: on April 10 2021 rextester api will no longer serve requests without api key. To get one please visit patreon.com/rextester
источник

EG

Emmanuel Goldstein in rust_offtopic
Из-за особенностей имплементации rustc, он сейчас не генерирует noalias для ссылок на S
источник

p

polunin.ai in rust_offtopic
А да
источник

p

polunin.ai in rust_offtopic
Нельзя
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
ну значит УБ нет
источник

а

а это кто in rust_offtopic
я считаю стандарты нужно править под удобство компилятора, не наоборот
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
в чем проблема-то?)
источник

EG

Emmanuel Goldstein in rust_offtopic
То есть сегодня, на момент rustc rustc 1.51.0, этот код не ломается.
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
когда языку 30 летЮ, в него влиты килотонны бабла и куча реализаций - да. А до тех пор - нет
источник

EG

Emmanuel Goldstein in rust_offtopic
Но это тем не менее UB согласно правилам Rust.
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Не уб, ведь ты не знаешь правил раста
источник

а

а это кто in rust_offtopic
ок
источник

p

polunin.ai in rust_offtopic
Да, потому что в будущих версиях может поведение меняться
источник

ID

Iv@n Dereviankin in rust_offtopic
>enterprise
>Scratch более ентерпрайзный чем питон
— Мама, мама, а можно я буду программистом на скретче?
источник

C

Crush_my_love in rust_offtopic
камон, это просто мем
источник

EG

Emmanuel Goldstein in rust_offtopic
Lua сложнее питона, лол
источник