Trait NullableToResult { #[inline]

Question

Trait NullableToResult { #[inline]

fn is_null(&self) -> bool;
#[inline]
fn ok(self) -> ::windows::Result<Self> where Self: Sized {
if !self.is_null() {
Ok(self)
} else {
Err(::windows::HRESULT::from_thread().into())
}
}
}

impl NullableToResult for HINSTANCE {
#[inline]
fn is_null(&self) -> bool {
self.is_null()
}
}
Подскажите, возможно ли убрать переобъявление метода is_null, если треит актуален только для тех типов, которые уже у себя имеют is_null (или поле 0)?

#backend #embedded #programming #russian #rust

0

13.09.2021

7 ответов

51 просмотр

Yuriy Zymlex Автор вопроса

Max Силинг
В плане, автоматически считать, что inherent metho...

жаль, что через where нельзя описать :\

0

13.09.2021

Max Силинг

Yuriy Zymlex
жаль, что через where нельзя описать :\

Как ты это себе представляешь?

0

13.09.2021

Yuriy Zymlex Автор вопроса

Max Силинг
Как ты это себе представляешь?

В виде имени и сигнатуры функции, далее бы уже компилятор приверял, исходник обычно доступен, там где нет - можно было бы использовать атрибуты и прочее

0

13.09.2021

Max Силинг

Yuriy Zymlex
В виде имени и сигнатуры функции, далее бы уже ком...

Ты хочешь структурные трейты Их нет и не будет, потому что их можно реализовать случайно и это зло И ещё потому что два вида трейтов в языке это много

0

13.09.2021

Yuriy Zymlex Автор вопроса

Max Силинг
Ты хочешь структурные трейты Их нет и не будет, по...

Странная логика, учитывая, что можно ошибиться во множественной однотипной реализации, да и макросами натворить дел

0

13.09.2021

Αλεχ Zhukovsky

напиши дерайв

0

13.09.2021