Всем доброго времени суток. Такой вопрос. А в чем практическая

разница между баундом T:'a и t: &'a T ? И зачем может понадобиться баунд к лайфтайму у owned-типа? К примеру:
fn take_ref<'a, T: 'a>(t: &T) {}
fn take_ref_1<'a, T>(t: &'a T) {}
fn own<'a, T: 'a>(t: T) {}

13 ответов

18 просмотров

легко провести пример для экстремального кейса: T: 'static означает что в T нет не статичных ссылок, это значит что значение может жить пока не перестанет и его можно например в другой тред спокойно передать

вафля'
легко провести пример для экстремального кейса: T:...

опять же T не обязательно значит owned, T = &U это вполне валидная штука

Lighty- Автор вопроса
вафля'
опять же T не обязательно значит owned, T = &U это...

Не-не, это я понимаю. Я просто не совсем пойму, как я могу использовать это свойство.

Lighty- Автор вопроса

Хммм, счас немного поигрался. Почему компилятор требует явного указания лайфтайма здесь ? (17 строка). Ведь мы в дефинишне T указали баунд к 'a. https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=767c8d66014ab3f8c3ad8e886c636083

Lighty- Автор вопроса
Lighty- Автор вопроса
mental stability🥺✨
Это баунд самой Т

То есть, вот как раз таки я об этом и спрашивал. В чем разница баунда T и баунда на ссылку T

Т - может быть ссылкой или содержать ссылку с лайфтаймом 'a А ссылка на него может быть &'b T, 'a: 'b Происходит очень легко, если ссылка живёт меньше чем то, на что она ссылается

Lighty- Автор вопроса

Если я с ссылки убираю явный лайфтайм, то: error[E0621]: explicit lifetime required in the type of `t` --> src/main.rs:20:5 | 17 | fn take_ref<'a, T: 'a + Empty>(t: &T) -> Bar<'a> { | -- help: add explicit lifetime `'a` to the type of `t`: `&'a T` ... 20 | Bar { foo: boxed } | ^^^^^^^^^^^^^^^^^^ lifetime `'a` required

Lighty- Автор вопроса
mental stability🥺✨
Т - может быть ссылкой или содержать ссылку с лайф...

О, теперь до меня дошло. Спасибо большое. То есть, &'a - ссылка на сам объект. T:'a баунд, говорящий о том, что ссылка (если она имеется), внутри T живет по-крайне мере 'a. Правильно понял ?

Lighty
О, теперь до меня дошло. Спасибо большое. То есть,...

Что сам Т живёт минимум 'а. Там внутри необязательно должна быть ссылка, может фантом дата быть Если что, то любой объект без ссылок это T: 'static. Например, тот же вектор это &'a T: 'static, если его элементы 'static. Потому вектор может жить сколько угодно, передавая владение до конца программы. А его ссылка нет

Lighty
Если я с ссылки убираю явный лайфтайм, то: error[E...

так у тебя тогда ссылка (которую ты кастуешь в &'a Empty) может жить меньше 'a

Похожие вопросы

Обсуждают сегодня

Ребята, всем привет. Подскажите, пожалуйста, можно ли как-то через бота понять, что этого бота добавили в группу\канал и выдали ему права администратора?
Artem Stormageddon
9
Привет всем! Почему этот код не срабатывает при добавлении или удалении пользователя из чата? bot.on('chat_member', async (ctx) => { console.log(ctx); }) bot.launch({allo...
Alexander
5
Всем привет. Не понимаю, в чём тут шутка юмора. Убирается только разрешение на send_messages. А send_media_messages остаётся. Как сделать, чтобы оба убирались? await b...
Alexander
2
Ребята привет. Telegraf 3.38 актуален ещё или лучше обновиться?
𝙊𝑙ẽ𝘨 // Rabbit Hole
2
Есть ли лимиты на кол-во вебхук по домену? Стоит в данный момент 900+ ботов и бывает бот перестает отвечать (не приходят вебхуки) 🐒 Помогает только перезапуск
ᅠ [ Кому не ответил, дублируйте ]
11
'frakturBold' => ['𝖆', '𝖇', '𝖈', '𝖉', '𝖊', '𝖋', '𝖌', '𝖍', '𝖎', '𝖏', '𝖐', '𝖑', '𝖒', '𝖓', '𝖔', '𝖕', '𝖖', '𝖗', '𝖘', '𝖙', '𝖚', '𝖛', '𝖜', '𝖝', '𝖞', '𝖟', '𝕬', '𝕭', '𝕮', '𝕯'...
Roma
4
Товарищи, я с вопросом На сколько мне известно, это, конечно, зависит от того, как программа использует процессор, но у меня всё равно остаётся вопрос Допустим, есть 2 проце...
Shen
1
Товарищи, здравствуйте Подскажите, пожалуйста, может кто-нибудь сталкивался с такой задачей Через вебапку можно сканировать qr-код, а есть ли возможность считывать nfc?
Artem Stormageddon
8
Визуальное отображение моделей таблиц sql какое посоветуете?
Shen
7
Коллеги, здравствуйте Подскажите, пожалуйста. я почему-то всегда думал, что если переходить по ссылке такого формата(t.me/bot_bot?start=1) на бота. То бот сразу прожимает кн...
Artem Stormageddon
3
Карта сайта