Но при этом мувать нельзя?

лучш сделай пример и компилятор тебе все сам расскажет

Если у меня есть ссылка a и я пишу match a { &b => ... }

https://play.rust-lang.org/?gist=2f5ed9f85e0ee2ef7bcc6a6e614cb1fa&version=stable&mode=debug&edition=2015

Ага, ясно

Только непонятно, почему он предлагает юзать ref b. Там же будет &&T

не будет

в этом и смысл

https://play.rust-lang.org/?gist=35fa7e886ba78333b606a509af195060&version=stable&mode=debug&edition=2015

expected i32, found &&A

это конечно здорово, но зачем тогда в принципе делать match a { ref b ... }?

Если ты отдаёшь значение, а тебе нужна ссылка внутри

При этом он всё равно мувнет, как я понимаю

я говорю

зачем делать fn test(s: i32) {} fn main() { let a = &A{}; match a { ref b => test(b) } } если можно сделать fn main() { let a = &A{}; test(a) }

Нет, не мувает всё-таки

Не знаю. Мы же не конкретный кейс разбираем

тогда пример не репрезентативен

Да

Короче я снова стал меньше понимать. Потому что я думал, что мув определяется только выражением под match

что для тебя мув?

А выходит, что паттерны тоже влияют

Ну типа я пишу match a { ... }, после этого a недоступна

на мув влияют только функции, и их аргументы

А выходит, что это зависит от того, что в { ... }

Ну типа я пишу match a { ... }, после этого a недоступна

почему не доступна? доступна

https://play.rust-lang.org/?gist=5c843285bc12e88845167b1905b054da&version=stable&mode=debug&edition=2015

после скоупа match

Вот тут если поменять местами, то компилируется

Хотя отличие только в паттерне

То есть мув a происходит, если он есть хотя бы в одном из паттернов

https://play.rust-lang.org/?gist=5c843285bc12e88845167b1905b054da&version=stable&mode=debug&edition=2015

ты прав

Вот это всё не сразу как-то очевидно новичкам

То есть мне)

у тебя просто match'и странные

не нужно писать match a { b => ... } потому что это не несёт смысла

Ну этот пример важен для понимая того, как match работает

нет, он не встречается почти никогда

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

а писать match a { b => ... } всё равно, что писать if a == a { ... }

Я сейчас про то, что когда я в коде вижу, что какое-то значение передаётся в match, мне недостаточно посмотреть, стоит ли перед ним & или нет, чтобы понять мувнется оно или нет

Нужно ещё в паттерны смотреть

что такое "мувнется"?

если это ссылка, то оно никуда не мувнется

Когда это не ссылка

Когда это не ссылка

тогда это компайл тайм эррор

если ты после мува используешь ещё раз

Я понимаю

(если тип реализует Copy, то в случае надобности возмётся копия)

Ты не о том говоришь

Я понимаю

я просто не понимаю юзкейс

https://play.rust-lang.org/?gist=5c843285bc12e88845167b1905b054da&version=stable&mode=debug&edition=2015

Вот здесь два матча. Если не заглядывать внутрь { }, они одинаковы: match a. При этом в одном случае move происходит, а в другом нет

Значит, чтобы мне понять, будет он происходить или нет, нужно все паттерны проверить

Я просто говорю, что для меня это было неочевидным

Я думал, что если я пишу match a, то a мувнется, а если пишу match &a, то нет

ааааа, до меня дошло

anyway, пример очень плохой

так никогда не делают

https://play.rust-lang.org/?gist=8fea64706730a2213690ac2c8f9c64d0&version=stable&mode=debug&edition=2015

Так лучше?)

Так лучше?)

так лучше

так лучше

Чем этот пример лучше, если тут нет сравнения?)

Чем этот пример лучше, если тут нет сравнения?)

тем, что тут один матч

зачем два матча?

Чтобы показать, что у них разная семантика

ну, тем этот пример и лучше

это не пример того, какая разница между & и ref, но того, что второй матч не нужен

Ладно, я понял, что ты о чём-то своём споришь)

я говорю о том, что в жизни ты не увидишь два матча подряд

поэтому их проблема надумана

если тебе нужно использовать значение после матча (которое перемещается), в матче делаешь всё по ссылке и не паришься

я говорю о том, что в жизни ты не увидишь два матча подряд

Они могут быть вообще в разных частях кода. Тут они подряд просто так идут

да, я понимаю, но, к сожалению, это влияет на семантику

короче пофигу, можем сойтись на том, что я слился

Ребят, привет. есть вакансия для rust программиста в Петербурге. тут можно выложить?

https://play.rust-lang.org/?gist=dd1f9350a0fd5722d4ab9a32d21e02c6&version=stable&mode=debug&edition=2015

короче пофигу, можем сойтись на том, что я слился

Ладно, спасибо за дискуссию anyway

https://play.rust-lang.org/?gist=dd1f9350a0fd5722d4ab9a32d21e02c6&version=stable&mode=debug&edition=2015

вот это уже гораздо лучше

энивей, если нужно использовать значение A два раза, то в каком-то месте придётся копировать

в общем, ладно, аргументы с моей стороны дествительно странные

Ребят, привет. есть вакансия для rust программиста в Петербурге. тут можно выложить?

@rust_jobs -- лучше тут