Match ergonomics странный не люблю match ergonomics https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=d552018a79cc3e738b75a7bb75f99c7d

Question

Rust — русскоговорящее сообщество

Max Силинг

Match ergonomics странный не люблю match ergonomics https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=d552018a79cc3e738b75a7bb75f99c7d

#backend #embedded #programming #russian #rust

0

04.05.2022

22 ответов

10 просмотров

Max Силинг Автор вопроса

вот что такое этот x в Some(x) в первой функции? если это референс, то почему я не могу сматчить его с &? если это не референс, то почему я могу его разыменовать?

0

04.05.2022

Max Силинг Автор вопроса

Алиса Королёва
меня очень запутывают а их нельзя отключить?

не эт фича языка

0

04.05.2022

Алиса Королёва

Max Силинг
не эт фича языка

эх

0

04.05.2022

Max Силинг Автор вопроса

референсы можно матчить с паттерном &pat

0

04.05.2022

Max Силинг Автор вопроса

Max Силинг
референсы можно матчить с паттерном &pat

но это не работает, как видно из второго примера

0

04.05.2022

Αλεχ Zhukovsky

fn this_doesnt(x: &Option<u8>) -> u8 { match x { &Some(x) => x, _ => panic!(), } }

0

04.05.2022

Max Силинг Автор вопроса

Αλεχ Zhukovsky
fn this_doesnt(x: &Option<u8>) -> u8 { match x...

да, но я-то про x у него разный тип внутри паттерна и снаружи это confusing про это даже issue есть, оказыца https://github.com/rust-lang/rust/issues/64586

0

04.05.2022

Αλεχ Zhukovsky

Max Силинг
да, но я-то про x у него разный тип внутри паттерн...

раньше нужно было писать ref Some(ref x) => *x

0

04.05.2022

Max Силинг Автор вопроса

Αλεχ Zhukovsky
раньше нужно было писать ref Some(ref x) => *x

нет, просто Some(ref x)

0

04.05.2022

Αλεχ Zhukovsky

Max Силинг
нет, просто Some(ref x)

Там всякое бывало

0

04.05.2022

Алиса Королёва

https://rust-lang.github.io/rust-clippy/master/index.html#pattern_type_mismatch это не оно случайно?

0

04.05.2022

Max Силинг Автор вопроса

лол, это что, линт, чтобы запретить использовать match ergonomics в коде? ахахах

0

04.05.2022

Traveller Kolsky

Max Силинг
лол, это что, линт, чтобы запретить использовать m...

clippy moment

0

04.05.2022

Traveller Kolsky

Max Силинг
вот что такое этот x в Some(x) в первой функции? е...

Потому что референс всё ещё относится ко всему, что находится снаружи, а эргономика работает только на то, чтобы попытаться перенести наружние ссылки вовнутрь

0

04.05.2022

Max Силинг Автор вопроса

Traveller Kolsky
Потому что референс всё ещё относится ко всему, чт...

она работает для значения, но не для паттерна причём для значения только если нет модификатора mut

0

04.05.2022

Traveller Kolsky

Max Силинг
она работает для значения, но не для паттерна при...

Да, иначе были бы проблемы с неявностью выбора при составном типе. Пиши совсем без эргономик, если не нравится, но они и так очень сильно жизнь упрощают. Это как жаловаться на lifetime elision.

0

04.05.2022

Max Силинг Автор вопроса

Traveller Kolsky
Да, иначе были бы проблемы с неявностью выбора при...

не вижу проблем в поведении «ссылка и в паттерне, и в значении»

0

04.05.2022

Traveller Kolsky

Max Силинг
не вижу проблем в поведении «ссылка и в паттерне, ...

&Option<&T>

0

04.05.2022