Ct
TypeId это уже "обертка над u64"
Size: a a a
2020 August 07
T1
У тебя на руках u64, откуда ты &'static str достанешь, если не из таблички?
Так ало на уровне компилятора имя типа известно
Ct
Магию на уровне компилятора вполне можно сделать
Нету магии.
(L
А, это и есть Полунин
Тебя сбила с толку смена ника?
Ct
Так ало на уровне компилятора имя типа известно
На уровне компилятора не известно какое значение будет у данного u64.
AZ
Кажется никак. В type id просто u64 хранится, чтобы сделать то что ты хочешь надо в бинарь табличку u64 -> type as str впихнуть, что весьма дорого.
кстати идрис примерно так и делает
T1
На уровне компилятора не известно какое значение будет у данного u64.
Может быть известно
С
Тебя сбила с толку смена ника?
Я вижу знакомый юзерпик, но не помню предыдущего ника
Ct
А, и вот в расте: https://doc.rust-lang.org/std/any/fn.type_name.html
Это вообще не то, тут задача совершенно другая.
T1
Это вообще не то, тут задача совершенно другая.
Нет, это то
Ct
Может быть известно
Не может быть, потому что оно в рантайме вычисляется.
T1
Блядь, чувак, конечно может быть, я компилятор сейчас и пишу
AZ
Можно вместо u64 хратить обёртку над u64, которая будет иметь функцию, которая будет возвращать &'static str
сделай trait MyDisplay и имплементь его для кого хочешь
T1
Ты этот u64 на уровне компилятора можешь генерировать
T1
Соответственно и знать тоже
Ct
Соответственно и знать тоже
Так, а дальше что? Этот u64 пихается в структуру TypeId, которая куда-то там улетает
Ct
потому оттуда, куда она улетело вызывается
id.name()T1
Так, а дальше что? Этот u64 пихается в структуру TypeId, которая куда-то там улетает
Нет, другая обёртка создается которая хранит ту функцию которую я указал
Ct
Как компилятор в месте куда type id "прилетело" узнает какой там u64 положили?