В
Не очень понимаю глобальной разницы между
Iterator и Node в данном контекстеSize: a a a
2020 August 20
AZ
Node в данном контексте лучше сравнивать с Entry в хэшмапе
В
Entry — тип, а не трейт, там не может быть ассоциированных типовV
Для меня не очевидно(
Я бы так сделал:
Я бы так сделал:
trait Node {
type Item;
}
struct Nil<T>(PhantomData<T>);
impl<T> Node for Nil<T> {
type Item = T;
}
struct Cons<N: Node> {
head: N::Item,
tail: N,
}
impl<N: Node> Node for Cons<N> {
type Item = N::Item;
}
(playground)хз, почему не так
#[derive(Debug)]
struct LinkedList<T, U> {
head: T,
tail: U,
}
fn end<T>(head: T) -> LinkedList<T,()> {
LinkedList {
head: head,
tail: (),
}
}
fn cons<T,U>(head: T, tail: LinkedList<T, U>) -> LinkedList<T, LinkedList<T, U>> {
LinkedList {
head,
tail
}
}
fn main() {
let list = cons(10, cons(20, end(1)));
println!("{:?}", list);
}
AZ
Для меня не очевидно(
Я бы так сделал:
Я бы так сделал:
trait Node {
type Item;
}
struct Nil<T>(PhantomData<T>);
impl<T> Node for Nil<T> {
type Item = T;
}
struct Cons<N: Node> {
head: N::Item,
tail: N,
}
impl<N: Node> Node for Cons<N> {
type Item = N::Item;
}
(playground)ну в целом можно и так, да
В
хз, почему не так
#[derive(Debug)]
struct LinkedList<T, U> {
head: T,
tail: U,
}
fn end<T>(head: T) -> LinkedList<T,()> {
LinkedList {
head: head,
tail: (),
}
}
fn cons<T,U>(head: T, tail: LinkedList<T, U>) -> LinkedList<T, LinkedList<T, U>> {
LinkedList {
head,
tail
}
}
fn main() {
let list = cons(10, cons(20, end(1)));
println!("{:?}", list);
}
Чисто технически это позволяет делать
LinkedList<i32, LinkedList<bool, ()>> (то что ты не можешь создать такое вне модуля — другой вопрос)V
Чисто технически это позволяет делать
LinkedList<i32, LinkedList<bool, ()>> (то что ты не можешь создать такое вне модуля — другой вопрос)а с трейтом позволяет вообще реализовать Node для любого типа
V
...
#[derive(Debug)]
struct X;
impl Node<i32> for X {}
fn main() {
let list = cons(10, cons(20, X));
println!("{:?}", list);
}
В
Sealed в помощьV
Sealed в помощьэто сейчас существует?)
V
ну и тогда останется возможность реализовать это в модуле, как ты описал 😂
KR
Мб кто знаент как можно красиво сделать
Хотелось бы чтобы
foo.as_mut().unwrap_or_default().push(bar)?Хотелось бы чтобы
Option<&mut T> автоматически сеттил T::default() если там None.KR
Типа как entry API на HashMap, но на Option'е.
MB
Мб кто знаент как можно красиво сделать
Хотелось бы чтобы
foo.as_mut().unwrap_or_default().push(bar)?Хотелось бы чтобы
Option<&mut T> автоматически сеттил T::default() если там None.Так лайфтайм же не сойдется
KR
Так лайфтайм же не сойдется
Сойдётся. Мы ведь его положим по
&mut туда, где его ожидали.KR
Туплю. Надо просто в доку глядеть больше.
R
Если долго вглядываться в доку, то дога может начать вглядываться в тебя
C
Через несколько часов начнётся RustConf 🦀.
Прямая трансляция: https://youtu.be/ESXMg9OzWrQ
Расписание: https://rustconf.com/schedule
Прямая трансляция: https://youtu.be/ESXMg9OzWrQ
Расписание: https://rustconf.com/schedule
NN
чот в расписании полторы интересных темы