Как объявить тип, который является коллекцией значений разных типов, которые можно конвертировать в другие типы ❌️с помощью trait-а Into❌️?

Question

[Артём]

Мне нужен Vec<&dyn Into<JsValue>>
Используя его, компилятор ругается, что он не object safe (Сам Into, потому что требует Self: Sized)
Как мне это исправить? Дублировать реализацию для каждого нужного мне типа, реализуещего Into, так, чтобы компилятор не ругался (правда я не понимаю почему Into требует Self: Sized, поэтому возможно так нельзя сделать)? Или есть нормальное решение?

Edit#1:
Если что вот код, где мне нужен такой вектор (я его использую как varargs):

mod my_prelude {
    pub use ::wasm_bindgen::JsValue;
}

mod additions {
    use crate::my_prelude::*;
    
    pub mod console {
        use crate::my_prelude::*;
        
        pub fn log(v: &Vec<&dyn Into<JsValue>>) {
            let len = v.len();
            let arr = ::js_sys::Array::new_with_length(len as u32);
            let mut index: usize = 0; while index < len {
                arr.set(index as u32, v[index].clone().into());
                index += 1;
            }
            
            ::web_sys::console::log(&arr);
        }
    }
}

У меня плохое предчувствие. Если я узнаю, что я не могу сделать varargs через Vec, то я разочаруюсь в rust... Предчувствие у меня такое потому, что в либе, которую я использую, тоже нет функции console::log с таким своеобразным varargs. Только log1, log2, и т.д. Так же потому, что в поисковике нет результатов на запрос "the trait `Into` cannot be made into an object". Если всё упирается в object safe, тогда rust нифига не гибкий язык, и чем тогда он отличается от противного C? (Ладно, не C, а C++. В С++ такое бы сработало, но он не безопасный. Для меня нет смысла в такой безопасности в Rust, если его полиморфизм не позволяет делать нужного мне типа varargs. Это вообще тогда никакой не полиморфизм и dyn не замена ООП в других языках)

EDIT#2:
Блин, у меня вопрос совсем безнадёжный. Я думал конвертация только с помощью trait-a Into происходит, или с помощью TryInto,что по сути одно и тоже, но нет. Оказываеться есть ещё AsRef. Правильный вопрос был бы, если бы в конце было бы: "которые можно конвертировать в другие типы с помощью имеющихся trait-ов" Только вот я не понимаю как AsRef работает. И ещё проблема в том, что AsRef имплементации для примитивных типов нет. Хотя есть trait-ы From<Для каждого примитива> в wasm_bingen::JsValue. Как мне запихивать в мою коллекцию примитивы?
Частично исправленный код:

mod my_prelude {
    pub use ::wasm_bindgen::{JsValue, };
}

mod additions {
    use crate::my_prelude::*;
    
    pub mod console {
        use crate::my_prelude::*;
        
        pub fn log(varargs: &Vec<&dyn AsRef<JsValue>>) {
            let len = varargs.len();
            let arr = ::js_sys::Array::new_with_length(len as u32);
            let mut index: usize = 0; while index < len {
                arr.set(index as u32, varargs[index].as_ref().clone());
                index += 1;
            }
            
            ::web_sys::console::log(&arr);
        }
    }
}

fn main() {
    additions::console::log(vec![&canvas, &2]); // &2 не имеет AsRef. Но оно имеет Into. А Into не проходит в dyn. Как использовать примитивы в моём векторе?
}

Comments

[Roman K]

Детский сад трусы на лямках

[Артём]

Roman K, В чём смысл этого выражения?

Answer 1

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

В твоём случае тебе нужно завести новый trait, который будет брать ссылку на оригинальный объект, в отличие от Into. Потом ты сможешь сделать blanket implementation наподобие

impl<T: Clone + Into<JsValue>> MyIntoJsValue for T {
    fn into_jsvalue(&self) -> JsValue{
        self.clone().into()   
    }
}

Comments

[Артём]

Блин, если бы в этом проблема была...
Я использую Vec<&dyn Into<JsValue>>, это эквивалент того, что ты мне посоветовал. Но я попробовал сделать по твоему совету, это тоже не помогло. Проблема не в этой ерунде, а в том, что компилятор ругается на то, что Into не object safe

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

Артём, а ну в принципе логично. Into же забирает ownership при вызове метода.
Тогда можно попробовать что-то типа

fn main() {
    let mut v: Vec<Box<dyn MyIntoString>> = vec![];
    v.push(Box::new(42i32));
    v.push(Box::new(42.5f64));
    v.push(Box::new("test"));
    for i in v {
        let s = i.into_string();
        println!("{s}");
    }
}

// Заводим свой trait который берёт ссылку на исходный объект, а не забирает ownership
trait MyIntoString {
    fn into_string(&self) -> String;
}

// Делаем какой-нибудь blanket implementation
impl<T: std::fmt::Display> MyIntoString for T {
    fn into_string(&self) -> String {
        format!("{}", self)
    }
}

[Артём]

Василий Банников, Не, так не пойдёт. Мне нужно именно into вызвать, или from. Или мне что разобраться как сделать from в либе и переписать его код? Я даже не знаю где он, он находиться в огромном блоке кода, помеченным макросом wasm_bindgen

[Артём]

Василий Банников, Спасибо. Я сделал сначала так же как и ты, но я для самого trait-а сделал bound на Self: Into, оказывается не надо было так делать. Это меня вообще компилятор сбил я считаю. Вот например какое недоразумение компилятор выплёвывает в этом случае: https://play.rust-lang.org/?version=stable&mode=de...
Ни одна из 3 рекомендаций компилятора не помогает. Я вообще проверил только из-за доверия к компилятору, думал я не знал какого-то особого синтаксиса, но нет, я знал что первые два предложения синтаксически непонятно что значат

Короче компилятору нельзя доверять и слушать его нельзя