HashMap<String, Box<dyn Any>>索引访问编译失败问题求助

HashMap的[]索引操作符会尝试把对应的值从哈希表中移出来，但Box<dyn Any>是不可复制的类型，直接移动会破坏哈希表的内部结构，所以编译器会抛出"cannot move out of index..."的错误。

1. 用get()方法拿引用（推荐） #

HashMap::get()返回的是Option<&Box<dyn Any>>，拿到的是值的引用，不会触发移动，完全适配断言场景：

use std::any::Any;
use std::collections::HashMap;

// 示例宏实现
#[macro_export]
macro_rules! applicable_string_map {
    ($($key:expr => $value:expr),* $(,)?) => {
        {
            let mut map = HashMap::new();
            $(
                map.insert($key.to_owned(), Box::new($value) as Box<dyn Any>);
            )*
            map
        }
    };
}

fn main() {
    let map = applicable_string_map! {
        "a" => "hello",
        "b" => 42
    };

    // 断言"a"对应的值是"hello"
    assert!(map.get("a")
        .and_then(|boxed| boxed.downcast_ref::<&str>())
        .is_some_and(|&s| s == "hello"));

    // 更简洁的写法（适合确定键存在的场景）
    assert_eq!(map.get("a").unwrap().downcast_ref::<&str>().unwrap(), &"hello");
}

2. 要拿所有权就用remove()（谨慎使用） #

如果确实需要把Box<dyn Any>从哈希表中取出（会删除对应键值对），用remove()方法：

let boxed_val = map.remove("a").unwrap();
assert!(boxed_val.downcast::<&str>().is_ok());

关于"单句借用可行但断言不行"的解释 #

单句中临时写&map["a"]时，编译器会做临时生命周期优化，自动处理引用的存活范围；但断言宏会展开成复杂的表达式，编译器没法自动处理这种移动风险，所以必须显式用get()获取引用。

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