3

Собственно код:

extern crate num_traits;

pub trait DigitCount {
    fn decimal_digit_count(&self) -> usize;
}

impl <T: PartialOrd + num_traits::Zero + Into<f64>> DigitCount for T {
    fn decimal_digit_count (&self) -> usize {
        if self.is_zero() {
            1
        } else {
            self.into().abs().log10().trunc() as usize + 1
        }
    }
}

Метод decimal_digit_count должен вызываться для любого целого значения и возвращать количество десятичных разрядов в нём:

println!("{}", 123u64.decimal_digit_count());

Вопрос: как правильно записать преобразование Tf64 для последующего вызова методов abs, log10, trunc? В текущем виде компилятор требует аннотацию типа для into(), но если её подставить (into::<T>()), то говорит, что ожидается 0 параметров типов.

1 ответ 1

3

У самого метода и правда нет типового параметра, потому что он есть у типажа:

pub trait Into<T> {
    fn into(self) -> T;
}

Первый вариант исправления - просто явно указать через промежуточную переменную какой тип мы в итоге хотим получить:

let f: f64 = self.into();
f.abs().log10().trunc() as usize + 1

(playpen)

Второй вариант - использовать UFCS форму вызова метода с явным обозначением T у типажа:

Into::<f64>::into(self).abs().log10().trunc() as usize + 1

(playpen)

Метод decimal_digit_count должен вызываться для любого целого значения и возвращать количество десятичных разрядов в нём

На всякий случай еще добавлю что преобразование в f64 реализовано не для всех целых типов. Такое преобразование обязано всегда заканчиваться успехом, что невозможно, например, для u64 или i128 из-за невозможности вместить весь диапазон значений.

4
  • Ага, спасибо! (Жаль репутация не позволяет плюсануть). А если надо принудительно привести в f64, пусть и с потерей точности?
    – Haio
    15 июл 2018 в 17:43
  • @Haio если надо принудительно - то проще всего было бы делать это снаружи функции через оператор as и просто f64 принимать. Если же обязательно нужно приводить внутри обобщенной функции - боюсь мне в голову приходит только вариант с реализацией своего типажа для всех нужных типов (может на crates.io даже есть что-то такое уже, но я не в курсе).
    – ozkriff
    15 июл 2018 в 19:11
  • Можно попробовать немного другой подход еще: отказаться от преведения к f64 и работать в обобщенной функции только через обобщающие типажи (и их функции) из пакета docs.rs/num .
    – ozkriff
    15 июл 2018 в 19:16
  • В чате подсказывают что есть типаж docs.rs/num-traits/0.2.5/num_traits/cast/trait.AsPrimitive.html , который как раз делает as в нужный тип с урезанием "лишней" точности.
    – ozkriff
    15 июл 2018 в 21:38

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.