Блог*

Как же теперь объединить всё это? Написать реализацию для кортежей форматировщиков, разумеется! Так как вариадических обобщённых типов в Rust нет, а руками писать реализации мне лень, напишем макрос: macro_rules! impl_for_tuples { () => {}; ($head:ident…

#моё #prog #rust

Так можем ли мы сделать лучше? Определённо, ведь у нашего решения есть ряд недостатков:
1. Захардкоженные символы для формирования отступов. Не всегда в начале требуются нули.
2. Захардкоженные ширины отступов. Мы не можем легко поменять их.
3. Потенциальная просадка по производительности. В документации к методу Date::month_day сказано, что использовать его эффективнее, чем доставать месяц и день по отдельности. Наш код этого не учитывает.

Третий пункт решается относительно просто: мы делаем у трейта параметр, который и является данными, из которых изымаются компоненты:

pub trait FormatDate<D> {
    fn format_date(&self, b: &mut Buf, d: D) -> fmt::Result;
}

Для удобства сделаем алиас на возвращаемый тип Date::as_ymd: pub type Ymd = (i32, u8, u8);. Если тип умеет форматировать дату в деконструированном виде (Ymd), то он может форматировать и исходную дату:

impl<T: FormatDate<Ymd>> FormatDate<Date> for T {
    fn format_date(&self, b: &mut Buf, date: Date) -> fmt::Result {
        self.format_date(b, date.as_ymd())
    }
}

С первыми двумя недочётами разобраться несколько сложнее. Посмотрим на то, как, по идее, выглядит реализация FormatDate<Ymd>:

impl FormatDate<Ymd> for SomeFormatter {
    fn format_date(&self, b: &mut Buf, ymd: Ymd) -> fmt::Result {
        let part = some_part_of_date(ymd);
        write!(b, "{:0width$}", part, width = SOME_WIDTH)
    }
}

(справка по синтаксису форматных строк)

Для того, чтобы сделать форматировщик более настраиваемым, нам нужно разделить эту схему форматирования на отдельные части. Этими частями являются:
1. Функция, возвращающая "часть" даты, которая реализует Display;
2. Ширина поля под отформатированные данные;
3. Символ для заполнения незанятой части поля.

Последнее, к сожалению, нельзя передать в стандартные форматирующие макросы параметрами, поэтому абстрагироваться от этого при помощи трейта не получится — чего не скажешь об остальных составляющих.

Выделение нужной части:

pub trait Extract<Date = Ymd> {
    type Output: fmt::Display;
    fn extract(ymd: Date) -> Self::Output;
}

Пример реализации:

pub struct DayOf;

impl Extract for DayOf {
    type Output = u8;
    fn extract((_year, _month, day): Ymd) -> u8 {
        day
    }
}

Немного более сложный пример:

pub struct MonthFullWordOf;
impl Extract for MonthFullWordOf {
    type Output = &'static str;
    fn extract((_year, month, _day): Ymd) -> &'static str {
        match month {
            1  => "January",
            2  => "February",
            3  => "March",
            4  => "April",
            5  => "May",
            6  => "Juny",
            7  => "July",
            8  => "August",
            9  => "September",
            10 => "October",
            11 => "November",
            12 => "December",
            // Здесь нормально паниковать, потому что месяц другие номера иметь не может.
            // В типах это, к сожалению, не выражено.
            _  => unreachable!(),
        }
    }
}

Ширина поля, по хорошему, должна быть константой, но параметризовывать типы значениями в Rust на stable пока нельзя. Не то, чтобы меня это остановило, но в данном случае проблемы решается достаточно просто и без const generics:

pub trait Width {
    const WIDTH: usize;
}

// Пример реализации
pub struct W2;
impl Width for W2 {
    const WIDTH: usize = 2;
}

Наш составной форматировщик в итоге выглядит следующим образом:

pub struct Formatter<Extractor, Width, Padding = NoPad>(
    std::marker::PhantomData<(Extractor, Width, Padding)>,
);

docs.rs

time::Date - Rust

API documentation for the Rust `Date` struct in crate `time`.

358 viewsedited 20:14