EG
Ааа...
Я помню, что без баунда на структуре почему-то не компилировалось. Не помню почему, завтра посмотрю свежим взглядом
Size: a a a
2020 March 09
EG
Но при этом тип может хранить значение типа T, или ссылку на него, или что-то подобное
Логично, но () -> T это ещё более непонятно
В
Логично, но () -> T это ещё более непонятно
Ну в этом есть смысл, т.к. у тебя где-то в Storage есть
... -> T (это же так работает?...)В
Я помню, что без баунда на структуре почему-то не компилировалось. Не помню почему, завтра посмотрю свежим взглядом
ок
2020 March 10
В
Почему если есть
Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
trait AtLeast2То баунд
where
Self: Type,
Self::Assoc: Type,
T: AtLeast2 даёт компилятору знание что T: Type, но не что T::Assoc: Type?Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
🦉
Почему если есть
Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
trait AtLeast2То баунд
where
Self: Type,
Self::Assoc: Type,
T: AtLeast2 даёт компилятору знание что T: Type, но не что T::Assoc: Type?Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
оч странные рекурсивные типы
В
оч странные рекурсивные типы
Это ещё не странные %)
M
Это ещё не странные %)
ты продолжаешь серию изнасилований компилятора?)
В
ты продолжаешь серию изнасилований компилятора?)
Ага. Но конкретно тут не насилование, а просто костыли
r
Почему если есть
Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
trait AtLeast2То баунд
where
Self: Type,
Self::Assoc: Type,
T: AtLeast2 даёт компилятору знание что T: Type, но не что T::Assoc: Type?Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
Trait bound inference ещё не доделали
BV
ты продолжаешь серию изнасилований компилятора?)
да пусть играется, глядишь свой Александреску вырастет
ED
да пусть играется, глядишь свой Александреску вырастет
Есть мнение, что это плохо.
BV
Есть мнение, что это плохо.
Мнение можно записать, к себе в блокнотик. А метапрограммирование ещё ни одному языку хуже не сделало
AL
Ого набросы)
MS
Почему если есть
Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
trait AtLeast2То баунд
where
Self: Type,
Self::Assoc: Type,
T: AtLeast2 даёт компилятору знание что T: Type, но не что T::Assoc: Type?Я бы ожидал что такой код скомпилируется:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=9adf2ab3b23ecf21ebfaed72cd4dadf0
Но нет :(
А с чего он должен? Ты же нигде не сказал что
T::Assoc: Type.MS
Ты об этом скажешь если раскомментируешь строчку 18
MS
А иначе компилятор не может в этом удостовериться, так как есть вероятность что T будет Type, но <T as Type>::Assoc не будет Type.
MS
Ты можешь сделать в определении Type сделать баунд
trait Type {
type Assoc: Type;
}В
А с чего он должен? Ты же нигде не сказал что
T::Assoc: Type.Я указал в
AtLeast2MS
Я указал в
AtLeast2В атлист2 это у тебя не дефинишн, а баунд.