EG
trait A<T> {
fn f(t: T);
}
struct S<X, Y: A<X>> {
y: Y
}Без PhantomData нельзя его убедить, что X используется?
Без PhantomData нельзя его убедить, что X используется?
Size: a a a
2020 March 09
Без PhantomData нельзя его убедить, что X используется?
В
trait A<T> {
fn f(t: T);
}
struct S<X, Y: A<X>> {
y: Y
}Без PhantomData нельзя его убедить, что X используется?
Нет нельзя.
Но ты уверен что тебе нужен этот баунд в структуре? И ты уверен что T должен быть дженерик параметром, а не ассоциированным типом?
Но ты уверен что тебе нужен этот баунд в структуре? И ты уверен что T должен быть дженерик параметром, а не ассоциированным типом?
EG
Да, уверен
А⚙
Можно и GIL отпустить, чтобы не блочило event loop
Действительно рейс-кондитер
BD
trait A<T> {
fn f(t: T);
}
struct S<X, Y: A<X>> {
y: Y
}Без PhantomData нельзя его убедить, что X используется?
чем тебе мешает PhantomData?
EG
чем тебе мешает PhantomData?
Фантомдата мне мешал тем, что
PhantomData<T> ломает Sync если T не Sync.EG
В итоге у меня там безумный
PhantomData<Mutex<T>>.EG
Люблю фантомные мьютексы
А⚙
В итоге у меня там безумный
PhantomData<Mutex<T>>.Логично
А⚙
Вообще, можно было ещё
PhantomData<fn() -> T>🦉
Да, уверен
а почему нельзя так как выше пишут? Какой кейс? Интересуюсь
EG
а почему нельзя так как выше пишут? Какой кейс? Интересуюсь
Трейт
A — это Storage. Юзер может выбрать любой тип того, что он хранит, соответственно, T — это аргумент дженерика а не ассоциированный типEG
Вообще, можно было ещё
PhantomData<fn() -> T>Мьютекс нагляднее, КМК: показывает, что мы так извращаемся ради того, чтобы не ломать Sync.
В
Трейт
A — это Storage. Юзер может выбрать любой тип того, что он хранит, соответственно, T — это аргумент дженерика а не ассоциированный типИ зачем тебе для этого баунд в структуре? Баунды в структурах практически никогда не нужны (единственный кейс — когда тебе надо в структуре хранить не
Also, если (условно)
T, а T::Assoc)Also, если (условно)
Vec<A>: Storage<A>, то можно всё таки использовать ассоциированный тип.MB
Мьютекс нагляднее, КМК: показывает, что мы так извращаемся ради того, чтобы не ломать Sync.
Наоборот: ясно видно, что наша структура никак не хранит значения типа T
EG
Наоборот: ясно видно, что наша структура никак не хранит значения типа T
Она так и так не хранит, это ж фантомдата
EG
И зачем тебе для этого баунд в структуре? Баунды в структурах практически никогда не нужны (единственный кейс — когда тебе надо в структуре хранить не
Also, если (условно)
T, а T::Assoc)Also, если (условно)
Vec<A>: Storage<A>, то можно всё таки использовать ассоциированный тип.Именно ради ассоциированного типа, ЕМНИП. Потом ещё раз посмотрю
В
Именно ради ассоциированного типа, ЕМНИП. Потом ещё раз посмотрю
Ааа...
MB
Она так и так не хранит, это ж фантомдата
Но при этом тип может хранить значение типа T, или ссылку на него, или что-то подобное
В
Она так и так не хранит, это ж фантомдата
Ну вообще Антон дата считает что ты хранишь
T, но как-то хитро. Например у. тебя *const (), а за ним на самом деле T