Есть некий трейт с константой. Хочется как-то проверить компайл тайм

Question

Есть некий трейт с константой. Хочется как-то проверить компайл тайм

что эта константа при передаче имеет определённое значение. Т.к. баунды на неё не навесить то пришёл к некому такому решению:
pub fn test<T: TlWrite>(value: T, target: ...) {
let _ = TlAssert::<T>::BOXED_WRITE;
...
}

pub struct TlAssert<T>(std::marker::PhantomData<T>);

impl<T: TlWrite> TlAssert<T> {
pub const BOXED_WRITE: () = if !T::TL_WRITE_BOXED {
panic!("Type must be boxed for write")
};
}

Вопрос: можно ли как-то показывать весь трейс до compile time паники, а не только то что она произошла? Пробовал через #[track_caller] и const методы, но из-за let они исполняются в рантайме, а const нельзя т.к. тогда ругается на использование T

#backend #embedded #programming #russian #rust

0

01.06.2022

4 ответов

7 просмотров

Αλεχ Zhukovsky

вафля'
Мне кажется это фича, что ты не можешь опираться н...

код который тайпчекается на основании Т решается через ассок типы бтв)

0

01.06.2022

место имение рейверы

Αλεχ Zhukovsky
код который тайпчекается на основании Т решается ч...

просто заменить дженерик на ассоц тип?

0

01.06.2022

вафля'

место имение рейверы
просто заменить дженерик на ассоц тип?

константу на ассок

0

01.06.2022

вафля' · Accepted Answer

вафля'

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

0

01.06.2022

172 похожих чатов

Есть некий трейт с константой. Хочется как-то проверить компайл тайм

4 ответов

Похожие вопросы