MS
У меня есть T не удовлетворяющее T: 'static
Так, в порядке хака:
#[cold]
#[very_cold]
#[no_really_shutup_optimizer]
fn type_id<T>()-> usize {
type_id::<T> as usize
}
Size: a a a
2020 October 17
MS
Переслано от Mikola Summer Duck
intrinsics::type_id::<T> as usize не подходит, кстати.MB
Переслано от Mikola Summer Duck
intrinsics::type_id::<T> as usize не подходит, кстати.Так тут новая функция создается, не из std
MS
Хотя колд может и поможет
MB
Как сделать так, чтобы оптимизатор это не сломал - я сходу не знаю
MS
А может быть колд инлайн?
MB
Эти типы хоть какому-то трейту удовлетворяют?
MB
Debug например, или Serialize?
MS
Эти типы хоть какому-то трейту удовлетворяют?
Это просто тип который передаётся в функцию
foo<'a, T: 'a>(bar: T) -> ()MS
Хмм, предлагаешь брать адрес реализации трейта?
MS
А это не уб в случае когда трейт больше нигде не используется?
MB
Хмм, предлагаешь брать адрес реализации трейта?
Нет, предлагаю "вызывать" его.
if GLOBAL_ATOMIC.load() {
dbg!("{}", x)
}
if GLOBAL_ATOMIC.load() {
dbg!("{}", x)
}
MB
А еще надо в этом айдишнике использовать size_of и align_of
MS
А еще надо в этом айдишнике использовать size_of и align_of
Зачем?
MB
Теперь оптимизатор сломает код только если у двух типов одинаковый размер и одинаковый impl Debug
MB
Зачем?
Как еще один уровень защиты.
MS
Теперь оптимизатор сломает код только если у двух типов одинаковый размер и одинаковый impl Debug
Аааа чорт mergefunc снова