Блог*

Но как именно это сделать? Первый способ, лежащий на поверхности (aka способ ленивого программиста) — собрать в ~~массив~~ вектор элементы гетерогенного списка, ослабленные до dyn Debug, и попросту отформатировать этот вектор.

Так как HNil и HCons — разные типы, нам нужно абстрагировать в трейт общую для них операцию, а именно — добавление элементов в переданный вектор. Как должна выглядеть сигнатура метода? Кажется, что как-то так:

fn append_fmt_items(&self, items: &mut Vec<&dyn Debug>)

...но это так не работает. Дело в том, что сигнатура говорит о том, что времена жизни ссылки на self и ссылок на трейт-объекты не связаны друг с другом. Но это явно не так, ведь мы собираемся класть в items данные из self! Что ж, выразим этот факт в коде:

trait AppendFmt {
    fn append_fmt_items<'a>(&'a self, items: &mut Vec<&'a dyn Debug>);
}

Теперь напишем реализации для компонент списка:

impl AppendFmt for HNil {
    fn append_fmt_items<'a>(&'a self, _: &mut Vec<&'a dyn Debug>) {
        /* nothing to do here */
    }
}

impl<H, T> AppendFmt for HCons<H, T>
where
    H: Debug,
    T: AppendFmt,
{
    fn append_fmt_items<'a>(&'a self, items: &mut Vec<&'a dyn Debug>) {
        items.push(&self.head);
        self.tail.append_fmt_items(items);
    }
}

Теперь мне бы очень хотелось написать impl<T: AppendFmt> Debug for T... но, к сожалению, мне не даст компилятор, потому что это будет перекрываться с impl<T: Debug> Debug for &'_ T. Так что, стиснув зубы, пишем руками:

impl Debug for HNil {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let list: &[&dyn Debug] = &[];
        list.fmt(f)
        // или просто f.write_str("[]")
    }
}

impl<H, T> Debug for HCons<H, T>
where
    Self: AppendFmt,
{
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let mut items = Vec::new();
        self.append_fmt_items(&mut items);
        items.fmt(f)
    }
}

Проверив, снова распечатав hlist![42, 'b', "sup", ((), (3.4, Vec::<i32>::new()))]:

[42, 'b', "sup", ((), (3.4, []))]

А если попросить "красивую" печать?

[
    42,
    'b',
    "sup",
    (
        (),
        (
            3.4,
            [],
        ),
    ),
]

Гораздо лучше.

doc.rust-lang.org

Debug in std::fmt - Rust

`?` formatting.

768 viewsedited 16:51