Question

我正在尝试创建一个包含特定输入的已知值的HashMap。此输入可以接受多种类型，只要它们实现某种特征即可。但是，在这种情况下，只给出了某种类型，Rust不喜欢它。

有没有办法将结构“转换”成特征，或以其他方式解决这个问题？

#![allow(unused)]

use std::collections::HashMap;
use std::hash::*;


trait Element: Eq + PartialEq + Hash {}

trait Reaction<T: Element> {}


#[derive(Eq, Hash, PartialEq)]
struct Ion {
    charge: u16
}

impl Element for Ion {}


#[derive(Eq, Hash, PartialEq)]
struct RedoxReaction<T: Element> { left: T }

impl<T: Element> Reaction<T> for RedoxReaction<T> {}


fn get_sep_database<T: Element>() -> HashMap<RedoxReaction<T>, f32> {
    let mut map: HashMap<RedoxReaction<T>, f32> = HashMap::new();

    let reaction = RedoxReaction {
        left: Ion {
            charge: 1
        }
    };

    // note: expected type `RedoxReaction<T>`
    //       found type `RedoxReaction<Ion>`
    map.insert(reaction, 0.000 as f32);

    return map;
}


fn main() {
    let db = get_sep_database();

    let reaction = RedoxReaction {
        left: Ion {
            charge: 1
        }
    };

    // expected this to be 0.000
    let sep = db.get(&reaction);
}

Answer 1

此问题的标准解决方案是使用特征对象而不是泛型。具体而言，RedoxReaction将被定义为：

#[derive(Eq, Hash, PartialEq)]
struct RedoxReaction { left: Box<Element> }

但是，这不起作用，因为PartialEq，Eq和Hash都不是object safe。实际上，当其中一个Elements为Ion而另一个为Photon时，询问两个Element是否相等并不是很有意义。

我建议你考虑为你的元素使用enum。您的所有元素都具有相同的类型（枚举bindNewState），对象安全性不会成为问题。

Answer 2

我最终使用Reaction的哈希作为HashMap的键，并使用以下函数解决了这个问题：

use std::collections::hash_map::DefaultHasher;
use std::hash::*;

fn reaction_to_hash<E: Element>(reaction: &Reaction<E>) -> u64 {
    let mut s = DefaultHasher::new();
    reaction.hash(&mut s);
    s.finish()
}

然后，您可以使用map.insert(reaction_to_hash(&reaction), <value>)来存储值，并使用map.get(& reaction_to_hash(&reaction))来检索值。

Rust结构不能替换HashMap中的trait

2 个答案: