Почему трейт не может быть результатом метода внутри трейта?

Question

[Omefoxer]

Здравствуйте.
Проблема следующая: первый метод "chto-to" компилятор не пропускает, выдавая след. ошибку: `impl Trait` only allowed in function and inherent method return types, not in trait method return.
Но вот метод "lexing" результат работы которого почти то же самое нормально проходит.
Так вот, в чём разница между этими двумя методами, ведь в обоих случаях результат один, возврат должен реализовывать трейт StringAnalyzer?

pub trait StringAnalyzer {
    fn chto_to(&self) -> impl StringAnalyzer;
    fn lexing<T>(&self) -> T where T: StringAnalyzer;
}

Answer 1

[Василий Банников]

В первом случае:
fn chto_to(&self) -> impl StringAnalyzer;
impl Trait значит, что функция возвращает неизвестную структуру, которая реализует трейт.
Возвращаемое значение определяется компилятором в момент объявления функции.
Внутри трейтов он это не может (хотя вроде хотят в будущем разрешить)

Во втором случае:
fn lexing<T>(&self) -> T where T: StringAnalyzer;
Тут возвращаемое значение определяется по месту вызова.

Если ты хочешь impl Trait использовать в трейтах - ты можешь использовать associated type:

pub trait NewTrait {
  type AssociatedType: ExistingTrait;
  fn function() -> Self::AssociatedType;
}

Comments

[Omefoxer]

Спасибо, за ответ и разъяснение.