Struct rustc_ap_rustc_span::def_id::DefPathHash [−][src]
pub struct DefPathHash(pub Fingerprint);
Expand description
A DefPathHash is a fixed-size representation of a DefPath that is
stable across crate and compilation session boundaries. It consists of two
separate 64-bit hashes. The first uniquely identifies the crate this
DefPathHash originates from (see StableCrateId), and the second
uniquely identifies the corresponding DefPath within that crate. Together
they form a unique identifier within an entire crate graph.
There is a very small chance of hash collisions, which would mean that two
different DefPaths map to the same DefPathHash. Proceeding compilation
with such a hash collision would very probably lead to an ICE, and in the
worst case lead to a silent mis-compilation. The compiler therefore actively
and exhaustively checks for such hash collisions and aborts compilation if
it finds one.
DefPathHash uses 64-bit hashes for both the crate-id part and the
crate-internal part, even though it is likely that there are many more
LocalDefIds in a single crate than there are individual crates in a crate
graph. Since we use the same number of bits in both cases, the collision
probability for the crate-local part will be quite a bit higher (though
still very small).
This imbalance is not by accident: A hash collision in the
crate-local part of a DefPathHash will be detected and reported while
compiling the crate in question. Such a collision does not depend on
outside factors and can be easily fixed by the crate maintainer (e.g. by
renaming the item in question or by bumping the crate version in a harmless
way).
A collision between crate-id hashes on the other hand is harder to fix because it depends on the set of crates in the entire crate graph of a compilation session. Again, using the same crate with a different version number would fix the issue with a high probability – but that might be easier said then done if the crates in questions are dependencies of third-party crates.
That being said, given a high quality hash function, the collision
probabilities in question are very small. For example, for a big crate like
rustc_middle (with ~50000 LocalDefIds as of the time of writing) there
is a probability of roughly 1 in 14,750,000,000 of a crate-internal
collision occurring. For a big crate graph with 1000 crates in it, there is
a probability of 1 in 36,890,000,000,000 of a StableCrateId collision.
Implementations
impl DefPathHash[src]
impl DefPathHash[src]pub fn stable_crate_id(&self) -> StableCrateId[src]
pub fn stable_crate_id(&self) -> StableCrateId[src]Returns the StableCrateId identifying the crate this DefPathHash originates from.
pub fn local_hash(&self) -> u64[src]
pub fn local_hash(&self) -> u64[src]Returns the crate-local part of the DefPathHash.
Used for tests.
pub fn new(stable_crate_id: StableCrateId, local_hash: u64) -> DefPathHash[src]
pub fn new(stable_crate_id: StableCrateId, local_hash: u64) -> DefPathHash[src]Builds a new DefPathHash with the given StableCrateId and
local_hash, where local_hash must be unique within its crate.
Trait Implementations
impl Borrow<Fingerprint> for DefPathHash[src]
impl Borrow<Fingerprint> for DefPathHash[src]fn borrow(&self) -> &Fingerprint[src]
fn borrow(&self) -> &Fingerprint[src]Immutably borrows from an owned value. Read more
impl Clone for DefPathHash[src]
impl Clone for DefPathHash[src]fn clone(&self) -> DefPathHash[src]
fn clone(&self) -> DefPathHash[src]Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]Performs copy-assignment from source. Read more
impl Debug for DefPathHash[src]
impl Debug for DefPathHash[src]impl<__D: Decoder> Decodable<__D> for DefPathHash[src]
impl<__D: Decoder> Decodable<__D> for DefPathHash[src]impl<__E: Encoder> Encodable<__E> for DefPathHash[src]
impl<__E: Encoder> Encodable<__E> for DefPathHash[src]impl Hash for DefPathHash[src]
impl Hash for DefPathHash[src]impl<__CTX> HashStable<__CTX> for DefPathHash where
__CTX: HashStableContext, [src]
impl<__CTX> HashStable<__CTX> for DefPathHash where
__CTX: HashStableContext, [src]fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)[src]
impl Ord for DefPathHash[src]
impl Ord for DefPathHash[src]impl PartialEq<DefPathHash> for DefPathHash[src]
impl PartialEq<DefPathHash> for DefPathHash[src]fn eq(&self, other: &DefPathHash) -> bool[src]
fn eq(&self, other: &DefPathHash) -> bool[src]This method tests for self and other values to be equal, and is used
by ==. Read more
fn ne(&self, other: &DefPathHash) -> bool[src]
fn ne(&self, other: &DefPathHash) -> bool[src]This method tests for !=.
impl PartialOrd<DefPathHash> for DefPathHash[src]
impl PartialOrd<DefPathHash> for DefPathHash[src]fn partial_cmp(&self, other: &DefPathHash) -> Option<Ordering>[src]
fn partial_cmp(&self, other: &DefPathHash) -> Option<Ordering>[src]This method returns an ordering between self and other values if one exists. Read more
#[must_use]fn lt(&self, other: &Rhs) -> bool1.0.0[src]
#[must_use]fn lt(&self, other: &Rhs) -> bool1.0.0[src]This method tests less than (for self and other) and is used by the < operator. Read more
#[must_use]fn le(&self, other: &Rhs) -> bool1.0.0[src]
#[must_use]fn le(&self, other: &Rhs) -> bool1.0.0[src]This method tests less than or equal to (for self and other) and is used by the <=
operator. Read more
impl Copy for DefPathHash[src]
impl Eq for DefPathHash[src]
impl StructuralEq for DefPathHash[src]
impl StructuralPartialEq for DefPathHash[src]
Auto Trait Implementations
impl RefUnwindSafe for DefPathHash
impl Send for DefPathHash
impl Sync for DefPathHash
impl Unpin for DefPathHash
impl UnwindSafe for DefPathHash
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]pub fn borrow_mut(&mut self) -> &mut T[src]
pub fn borrow_mut(&mut self) -> &mut T[src]Mutably borrows from an owned value. Read more
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized, [src]
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized, [src]pub fn equivalent(&self, key: &K) -> bool[src]
pub fn equivalent(&self, key: &K) -> bool[src]Compare self to key and return true if they are equal.
impl<T> Instrument for T[src]
impl<T> Instrument for T[src]fn instrument(self, span: Span) -> Instrumented<Self>[src]
fn instrument(self, span: Span) -> Instrumented<Self>[src]Instruments this type with the provided Span, returning an
Instrumented wrapper. Read more
fn in_current_span(self) -> Instrumented<Self>[src]
fn in_current_span(self) -> Instrumented<Self>[src]impl<T> Same<T> for T
impl<T> Same<T> for Ttype Output = T
type Output = TShould always be Self
impl<T> ToOwned for T where
T: Clone, [src]
impl<T> ToOwned for T where
T: Clone, [src]type Owned = T
type Owned = TThe resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn to_owned(&self) -> T[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)[src]
pub fn clone_into(&self, target: &mut T)[src]🔬 This is a nightly-only experimental API. (toowned_clone_into)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>, pub fn vzip(self) -> V
impl<'a, T> Captures<'a> for T where
T: ?Sized, [src]
T: ?Sized,