Effective Java¶
Bloch, J. (2008). Effective Java. Addison-Wesley.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Identity Test
- Structural equality (same fields, recursively) is a different test over the same pair, with a different equivalence regime: it is reflexive and symmetric, but transitivity can fail in the presence of floating-point NaN (where \(x \ne x\) breaks reflexivity) or under custom comparators that are not transitive, and the downstream operation it licenses — using the object as a hash-map key — silently corrupts the map if the equality used for lookup is not the equality used for hashing.
This sourceSpecifies the equals/hashCode contract and shows how non-transitive or inconsistent equality (and NaN's broken reflexivity) corrupts hash-based collections and double-counts in sets — equality as a fallible identity test whose count it constitutes.
- Structural equality (same fields, recursively) is a different test over the same pair, with a different equivalence regime: it is reflexive and symmetric, but transitivity can fail in the presence of floating-point NaN (where \(x \ne x\) breaks reflexivity) or under custom comparators that are not transitive, and the downstream operation it licenses — using the object as a hash-map key — silently corrupts the map if the equality used for lookup is not the equality used for hashing.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:abc02c88aadb · see in the full table