Rust如何符合人体工程学传递trait对象切片，支持多类型混合隐式转String

核心问题说明 #

Rust 语法要求同个数组的所有元素类型必须完全一致，你尝试的混合类型字面量数组本身不符合基础类型规则，这是之前所有函数签名方案都无法直接满足需求的核心原因。我们可以通过声明宏做语法糖抹平类型差异，在优先保障易用性的前提下完全覆盖你要求的所有调用场景。

最佳实现方案（宏包装） #

该方案不需要你修改任何调用习惯，仅需做一层宏包装，编译器会自动完成所有类型转换：

use std::string::ToString;

// 实际执行业务逻辑的函数，可根据需求自行修改内部实现
fn perform_tasks_inner(items: &[String]) {
    // 示例逻辑：遍历打印所有内容
    for item in items {
        println!("Task item: {}", item);
    }
}

/// 对外暴露的调用入口宏
#[macro_export]
macro_rules! perform_tasks {
    ( &[ $($item:expr),* $(,)? ] ) => {
        $crate::perform_tasks_inner(&[
            $( ToString::to_string(&$item), )*
        ])
    };
    // 兼容不带&的调用写法
    ( [ $($item:expr),* $(,)? ] ) => {
        $crate::perform_tasks_inner(&[
            $( ToString::to_string(&$item), )*
        ])
    };
}

调用示例（完全匹配要求的写法） #

// String literals
perform_tasks(&["Hello", "world"]);
// Owned strings
perform_tasks(&[String::from("foo"), String::from("bar")]);
// Non-string types
perform_tasks(&[1,2,3]);
// A mix of any of them
perform_tasks(&["All", 3, String::from("types!")]);

无宏备选方案 #

如果你不想使用宏，可退而选择 trait 对象方案，仅需在调用时给每个元素添加&标记即可：

fn perform_tasks(items: &[&dyn ToString]) {
    for item in items {
        println!("Task item: {}", item.to_string());
    }
}

// 调用示例
perform_tasks(&[&"All", &3, &String::from("types!")]);

该方案的优势是没有提前转String的性能开销，劣势是需要手动加借用标记，易用性稍差。

原尝试方案失败原因说明 #

• fn perform_tasks(items: &[impl Into<String>]) / fn perform_tasks(items: &[impl ToString])：这类静态分发参数要求切片内所有元素为同一类型，天生不支持混合类型场景
• fn perform_tasks(items: &[&dyn ToString])：动态分发支持混合类型，但 Rust 不会自动为数组元素执行 trait 对象的类型转换和自动借用，因此需要手动添加标记

内容的提问来源于stack exchange，提问作者Zombie_Pigdragon