Rust：比较成本

Question

In Rust, is == not an O(1) operation?

How expensive is it to == two large, nearly identical Vec s or BTreeMap s?

How does Rust perform this operation?

Answer 1

== in Rust is not guaranteed to be O(1). For containers specifically, it may be much costlier.

Both Vec (actually slice, since it implements the underlying comparison for both vecs and slices) and BTreeMap are O(n) where n is the number of elements in the container. Both however are O(1) where the sizes of the compared containers are different.

The code for BTreeMap is here :

impl<K: PartialEq, V: PartialEq> PartialEq for BTreeMap<K, V> {
    fn eq(&self, other: &BTreeMap<K, V>) -> bool {
        self.len() == other.len() && self.iter().zip(other).all(|(a, b)| a == b)
    }
}

The code for slice is here :

impl<A, B> SlicePartialEq<B> for [A]
where
    A: PartialEq<B>,
{
    default fn equal(&self, other: &[B]) -> bool {
        if self.len() != other.len() {
            return false;
        }


        self.iter().zip(other.iter()).all(|(x, y)| x == y)
    }
}

Certain types are compared using faster memcmp() ( here ).