dummy-link

AutoHashEquals

A Julia macro to add == and hash() to composite types.

Readme

Build Status Coverage Status

AutoHashEquals AutoHashEquals

AutoHashEquals

A macro to add == and hash() to composite types (ie struct and mutable struct blocks).

For example:

@auto_hash_equals mutable struct Foo
    a::Int
    b
end

becomes

mutable struct Foo
    a::Int
    b
end
Base.hash(a::Foo, h::UInt) = hash(a.b, hash(a.a, hash(:Foo, h)))
Base.(:(==))(a::Foo, b::Foo) = isequal(a.b, b.b) && isequal(a.a, b.a) && true

Where

  • we use isequal() because we want to match Inf values, etc.

  • we include the type in the hash so that different types with the same contents don't collide

  • the type and true make it simple to generate code for empty records

  • the Base module is explicitly used so that you don't need to import it

Background

Julia has two composite types: value types, defined with struct, and record types, defined with mutable struct.

Value types are intended for compact, immutable objects. They are stored on the stack, passed by value, and the default hash and equality are based on the literal bits in memory.

Record types are allocated on the heap, are passed by reference, and the default hash and equality are based on the pointer value (the data address).

When you embed a record type in a value type, then the pointer to the record type becomes part of the value type, and so is included in equality and hash.

Given the above, it is often necessary to define hash and equality for composite types. Particularly when record types are used (directly, or in a value type), and when records with the same contents are semantically equal.

A common way to do this is to define the hash as a combination of the hashes of all the fields. Similarly, equality is often defined as equality of all fields.

This macro automates this common approach.

Warnings

If you use this macro for a mutable types, then the hash depends on the contents of that type, so changing the contents changes the hash. Such types should not be stored in a hash table (Dict) and then mutated, because the objects will be "lost" (as the hash table assumes that hash is constant).

More generally, this macro is only useful for mutable types when they are used as immutable records.

Credits

Thanks to Michael Hatherly, Yichao Yu, and Carlo Lucibello.

First Commit

06/08/2015

Last Touched

about 2 months ago

Commits

45 commits

Requires: