为何有时能对HashMap进行索引，有时却报错？

问题描述 #

我有一个Graph对象，其边通过顶点列表的索引引用节点。节点本身是无关的ID类型，因此我添加了一个索引映射。在构造边时，对局部变量执行node_index_map[&src]索引操作是可行的，但创建辅助函数获取索引以构建新边时，却出现错误：

error[E0608]: cannot index into a value of type `HashMap<V, usize>`

最小复现代码：

use std::collections::HashMap;
use std::hash::Hash;

pub struct Edge<E> {
    id: E,
    src: usize,
    dst: usize,
    wt: u64
}

pub struct Graph<V, E> {
    nodes: Vec<V>,
    node_index_map: HashMap<V, usize>,
    edges: Vec<Edge<E>>,
}

pub fn build_graph<V, E>(v: V, e: E) -> Graph<V, E>
where V: Copy + Eq + Hash, E: Eq + Hash {
    let mut node_index_map = HashMap::new();
    let nodes = vec![v];
    node_index_map.insert(v, 0);
    let edges = vec![Edge { id: e, src: node_index_map[&v], dst: 0, wt: 1}];
    Graph {
        nodes,
        node_index_map,
        edges,
    }
}

impl<V, E> Graph<V, E> {
    pub fn node_index(&self, node: V) -> usize {
        self.node_index_map[&node]
    }
}

错误原因 #

问题出在Graph的impl块中的node_index方法：当前泛型约束没有保证V类型满足HashMap索引操作的要求。

在build_graph函数中，我们给V加上了Copy + Eq + Hash约束，所以node_index_map[&v]能正常工作——因为HashMap的索引操作（依赖Index trait）要求键类型必须实现Eq + Hash，而Copy保证了v可以被安全复制和借用。

但在impl<V, E> Graph<V, E>中，没有给V添加任何约束，这意味着V可能不满足Eq + Hash，编译器自然会报错，提示无法对这种未约束的HashMap<V, usize>执行索引操作。

修复方法 #

给impl块添加对应的泛型约束即可，修改后的代码如下：

impl<V, E> Graph<V, E>
where V: Eq + Hash {
    pub fn node_index(&self, node: V) -> usize {
        self.node_index_map[&node]
    }
}

如果想避免节点不存在时程序 panic，还可以改用更健壮的写法，返回Option<usize>让调用方自行处理异常情况：

impl<V, E> Graph<V, E>
where V: Eq + Hash {
    pub fn node_index(&self, node: V) -> Option<usize> {
        self.node_index_map.get(&node).copied()
    }
}

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