Есть ли какой-нибудь общий способ способ получить вариацию произвольного типа

Question

Есть ли какой-нибудь общий способ способ получить вариацию произвольного типа

T которая будет T: 'static?

Условно:
pub trait Trait<'a> {
type Static: 'static;
}

impl<'a, T: 'a> Trait<'a> for T {
type Static = <T as Trait<'static>>::Static; // ?
}

fn assert_has_static_variant<'a, T: Trait<'a> + 'a>(_: T)
where
<T as Trait<'a>>::Static: 'static
{}

struct MyStruct<'a> {
t: &'a str,
}

fn main() {
let asd = String::from("ASD");

assert_has_static_variant(MyStruct {
t: &asd,
});
}
( https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=786e522d91f4c16567f4fb3444d9361b )

#backend #embedded #programming #russian #rust

0

03.10.2023

8 ответов

29 просмотров

Ivan Kalinin Автор вопроса

Пух
А зачем, если не секрет?

Для ужасных непотребств - есть структура в которой Rc и T который дорого строится из того что в Rc. Нужен контейнер где будет и этот Rc и T (который доступен наружу только через &'a self, но хранится он должен как T: 'static)

0

03.10.2023

Пух

Ivan Kalinin
Для ужасных непотребств - есть структура в которой...

T ссылается на Rc?

0

03.10.2023

Ivan Kalinin Автор вопроса

Пух
T ссылается на Rc?

Ну на то что в нём лежит, не на сам rc

0

03.10.2023

Пух

Ivan Kalinin
Ну на то что в нём лежит, не на сам rc

А зачем пруфать, что T: 'static?

0

03.10.2023

Traveller Kolsky

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

0

03.10.2023

Αλεχ Zhukovsky

Может быть тебе какого-нибудь Cow хватит

0

03.10.2023

Alexander Ruliov

Ivan Kalinin
Для ужасных непотребств - есть структура в которой...

Для любого T это слишком опасно, т.к., если T хранит какие-либо ссылки которые на самом деле не &'static, но которые придётся делать &'static, то затем любой код может их угнать случайно. Поэтому вряд ли есть такая возможность сейфово это сделать (разве что вынести все данные на которые ссылаемся куда-нибудь наружу в арену и индексами на неё указывать). Но думаю что ничего страшного не произойдёт, если для конкретного типа T сделать Rc::into_raw(), сделать нужный T, сделать методы-геттеры с ансейфами (которые по идее будут безопасны, если будут &'a self -> &'a возвращать), в дропе собрать Rc обратно. Но на 100% не уверен)

0

03.10.2023

Пух · Accepted Answer

Пух

А зачем, если не секрет?

0

03.10.2023

172 похожих чатов

Есть ли какой-нибудь общий способ способ получить вариацию произвольного типа

8 ответов

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