MB
как он проверит валидность памяти в рантайме?
И не надо. Главное ничего нового не сломать.
Size: a a a
2020 September 18
D
ну дык просто
format! можно дёргать и не паритьсяD
не очень понимаю, как MIR поможет
MB
А вдруг impl Debug for Foo содержит UB?
Или мы отрезолвили неправильный символ и вызываем вообще неправильную функцию?
Или мы отрезолвили неправильный символ и вызываем вообще неправильную функцию?
D
а как MIR-интерпретатор это поймёт?
D
miri же инструментирует код, чтобы это отлавливать
V
ну дык просто
format! можно дёргать и не паритьсяа как ты макрос в рантайме дернешь ?
D
а как ты макрос в рантайме дернешь ?
так это же в скомпилированном коде всё
V
тогда я не понял для чего ты собираешься выводить формат. Для данных из стека?
D
ну идея такая
D
вот случилась паника, мы с помощью дебаг-символов вычисляем положение всех стековых переменных
а потом просто формат на них
а потом просто формат на них
D
хотя наверное не очень получится
D
типы-то, по сути, неизвестны
D
вряд ли в дебаг-инфе прям полноценная информация о типах будет, скорее только поля структур
MB
типы-то, по сути, неизвестны
Известны их имена
D
Известны их имена
этого мало :(
MB
Я думаю, что из этого можно угадать имя символа для <T as Debug>::fmt
D
ну, в принципе, можно попробовать, да
MB
Ну а сконструировать Formatter не проблема