Как добавить аннотации типов для Into для элемента итератора вектора?

У меня есть вектор, значения которого определены чертой, и я хотел бы использовать методы, предоставляемые чертой Iterator для этого вектора.

Вот упрощенный код моего варианта использования:

Случай А

fn beta<T: Into<i32>>(s: Vec<T>) {
    for x in s {
        println!("{:?}", x.into());
    }
}

Случай B

fn beta2<U: Into<i32>>(s: Vec<U>) {
    for x in s.iter() {
        println!("{:?}", x.into());
    } 
}

Случай А действителен, компилируется и запускается, как ожидалось. Однако Случай B вызовет ошибку времени компиляции:

error[E0282]: type annotations needed
  --> src/main.rs:11:26
   |
11 |         println!("{:?}", x.into());
   |                          ^^^^^^^^ cannot infer type for `T`

Где я должен разместить аннотацию моего типа в этом случае и какова ожидаемая аннотация типа?

детская площадка

Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
0
596
2

Ответы 2

Одна из возможностей - сообщить beta2, что &U (в отличие от U) реализует Into<i32>:

fn beta2<U>(s: Vec<U>)
where
    for<'a> &'a U: Into<i32>,
{
    for x in s.iter() {
        println!("{:?}", x.into());
    }
}

Обратите внимание, что Into принимает self, а не &self, т.е. он потребляет свой аргумент. Таким образом, вам нужно будет найти способ конвертировать заимствованный x в свою стоимость:

fn beta2<U, U2>(s: Vec<U>)
where
    U: std::borrow::ToOwned<Owned = U2>,
    U2: Into<i32> + std::borrow::Borrow<U>,
{
    for x in s.iter() {
        println!("{:?}", x.to_owned().into());
    }
}

Первый фрагмент выдает ошибку: `` трейт for<'a> std::convert::From<&'a _> не реализован для i32``

mattgathu 22.10.2018 18:23

@mattgathu Вы правы. Но обратите внимание, что ошибка возникает не изнутри beta2, а на сайте вызова. Проблема в том, что x заимствован (т. Е. Имеет тип &u8), но Into ожидает принадлежащую ему стоимость (т. Е. u8).

phimuemue 22.10.2018 18:26
&U (в отличие от U) - Вы должны объяснить OP, почему эта разница нужна в данном случае.
Shepmaster 22.10.2018 18:55

Какой смысл в этой проблеме, если beta2 все равно потребляет вектор?

Sven Marnach 22.10.2018 19:11

@SvenMarnach Я предположил, что «настоящий» код хочет повторить его дважды.

Shepmaster 22.10.2018 19:30

Вместо использования .iter() более идиоматично передавать вектор как срез: fn beta2<U, U2>(s: &[U]).

starblue 23.10.2018 10:02

Я не знаю, каков ваш конкретный вариант использования, но я обычно предполагаю, что типы, которые являются Into<u32>, можно клонировать и их дешево клонировать, поэтому я думаю, что самым простым решением является

fn beta2<U: Clone + Into<i32>>(s: &[U]) {
    for x in s.iter().cloned() {
        println!("{:?}", x.into());
    }
}

Это будет клонировать каждый элемент перед вызовом .into() для него, который будет использовать клон.

Обратите внимание, что я изменил аргумент s на срез. Если вы все равно потребляете вектор, беря его по значению, нет никакого вреда в использовании кода из вашего первого примера, поэтому это имеет смысл только в том случае, если вы берете срез по ссылке.

Другие вопросы по теме