JC
Возможно синтаксис не совсем такой, но "отнаследоваться" от двух трейтов можно
trait Angle: Sin, Cos {
}
Size: a a a
2020 September 08
в🧇
JC
+, а не ,да, точно
в🧇
Возможно синтаксис не совсем такой, но "отнаследоваться" от двух трейтов можно
Это не наследование, а всё-таки требование реализации/баунд
JC
Ну я поэтому и взял в кавычки
JC
Это не наследование, а всё-таки требование реализации/баунд
То есть получается, что дефолтная реализация от Cos и Sin не перейдет?
P
То есть получается, что дефолтная реализация от Cos и Sin не перейдет?
она не появится, если её нет
в🧇
То есть получается, что дефолтная реализация от Cos и Sin не перейдет?
Нет. Если нигде нету
impl<T: Angle> Cos for T { ... } или impl Cos for Type { ... }, то impl Angle for Type { ... } не скомпилитьсяв🧇
Это становится очевидным, если вспомнить что
trait A: B {}
это эквивалентtrait A
where
Self: B,
{}JC
Д
всем привет, можно как-нибудь в match Ok(result) задать тип result?
Например мне надо Vec<String>
Например мне надо Vec<String>
JC
Так он же выведется
JC
Хотя не всегда наверное
Д
Так он же выведется
там вывод из <T>(
JC
Я бы мб где-то раньше давал типоводилке указания
JC
Либо позже
Д
понял, спасибо
в🧇
всем привет, можно как-нибудь в match Ok(result) задать тип result?
Например мне надо Vec<String>
Например мне надо Vec<String>
Ok::<_, Error>(val)в🧇
Если мне не изменяет память, то можно так, если надо явно ошибку задать
Д
Ok::<_, Error>(val)спасибо, попробую!