в🧇
Вместо разных реализаций f1 и f2 лучше завести метод в трейте, который будет по разному реализован для разных типов, и в общем коде дергать его
+
#![feature(specialization)]Добро пожаловать
Size: a a a
2020 September 18
V
(L
#![feature(specialization)]Добро пожаловать
Я не уверен что в этом кейсе специализация поможет
Оно со всех сторон неидиоматично)
Оно со всех сторон неидиоматично)
в🧇
Я не уверен что в этом кейсе специализация поможет
Оно со всех сторон неидиоматично)
Оно со всех сторон неидиоматично)
Специализация в данном случае отличный микроскоп!
в🧇
...для забивания гвоздей)
V
Я не уверен что в этом кейсе специализация поможет
Оно со всех сторон неидиоматично)
Оно со всех сторон неидиоматично)
почему не поможет? Это ж какраз кейс под специализацию.
impl<U> Bla for U {
fn foo(self) {}
}
impl Bla for T<T1> {
fn foo(self) {f1(self)}
}
impl Bla for T<T2> {
fn foo(self) {f1(self)}
}(L
почему не поможет? Это ж какраз кейс под специализацию.
impl<U> Bla for U {
fn foo(self) {}
}
impl Bla for T<T1> {
fn foo(self) {f1(self)}
}
impl Bla for T<T2> {
fn foo(self) {f1(self)}
}Я так понял что f1 и f2 — свободные функции
V
Я так понял что f1 и f2 — свободные функции
Дак какая разница, трейт чисто чтоб вызвать f1 из f2.
MB
Есть тип
Есть
Есть
Как можно f1 вызвать внутри f2?
T<I:Inner> и его имплементации`T<I1>, T<I2>`Есть
f1<I1>(T<I1>) -> T<I1> и f1<I2>(T<I2>) -> T<I2>`, реализованные полностью по разному, используя внутренние особенности I1 и I2.Есть
f2<I:Inner>(T<I>)->T<I>, не зависит явно от внутренних особенностей I1 и I2.Как можно f1 вызвать внутри f2?
Можно попробовать type_id посравнивать, но там вероятно придется трансмьютить. Это будет ансейфно, пусть и корректно.
IG
спасибо. Видимо, придется трейты писать для каждого слоя абстракции. И там, где важно Inner, делать кастомные имплементации
Z
Как из функции без параметров, вернуть slice или любой другой unsized объект?
MB
В стейбле никак.
Можно завернуть в Box.
Можно завернуть в Box.
Z
В стейбле никак.
Можно завернуть в Box.
Можно завернуть в Box.
Но как понял, можно сделать только подобие ссылки на ссылку.
Z
используя Box
Э
Как из функции без параметров, вернуть slice или любой другой unsized объект?
Тебе ссылку на ?Sized надо вернуть?
Z
Тебе ссылку на ?Sized надо вернуть?
Есть возможность? Для объекта требуется lifetime, обычно.
D
чот по-моему xy-problem
Z
Мне больше из интереса на будущее.
Z
unsized же обычно в куче?
D
ну например так:
pub fn kek() -> Box<[u8]> {
vec![1, 2, 3].into_boxed_slice()
}