erlangelixir

How to compare two structures via pointer equality in Elixir / Erlang


(Example given in Elixir.)

Suppose I have the following code,

x = {1, 2}
a1 = {"a", {1, 2}}
a2 = {"a", {1, 2}}
a3 = {"a", x}

which as far as I know creates three tuples {1, 2} at different memory locations.

Using the operators == or === for comparing any of the a variables always returns true. This is expectable, as these two operators only differ when comparing numeric types (i.e., 1 == 1.0 is different to 1 === 1.0).

So, I then tried comparing the structures via pattern matching, using the following module (strictly created to test my case),

defmodule Test do
  def same?({x, y}, {x, y}), do: true
  def same?(_, _), do: false
end

but calling Test.same?(a1, a3) also returns true.

How can I compare two structures using pointer equality, so that I can determine if they are the same structure in memory?

Thanks


Solution

  • There is no "official" way to do this, and I would say that if you think you actually need to do this, you're doing something wrong and should ask another question about how to achieve the goal you want to achieve. So this answer is offered in the spirit of playfulness and exploration, in the hope that it spreads some interesting knowledge about the Erlang/Elixir VM.

    ETA: Actually, José Valim's answer using :erts_debug.same/2 is much simpler than mine! I didn't know about that function when I wrote this answer.


    There is a function, erts_debug:size/1, that tells you how many memory "words" an Erlang/Elixir term occupies. This table tells you how many words various terms use. In particular, a tuple uses 1 word, plus 1 word for each element, plus the storage space for any elements that are "non-immediate". We're using small integers as elements, and they are "immediates" and thus "free". So this checks out:

    > :erts_debug.size({1,2})
    3
    

    Now let's make a tuple containing two of those tuples:

    > :erts_debug.size({{1,2}, {1,2}})
    9
    

    That makes sense: the two inner tuples are 3 words each, and the outer tuple is 1+2 words, for a total of 9 words.

    But what if we put the inner tuple in a variable?

    > x = {1, 2}
    {1, 2}
    > :erts_debug.size({x, x})
    6
    

    Look, we saved 3 words! That's because the contents of x only counts once; the outer tuple points to the same inner tuple twice.

    So let's write a little function that does this for us:

    defmodule Test do
      def same?(a, b) do
        a_size = :erts_debug.size(a)
        b_size = :erts_debug.size(b)
        # Three words for the outer tuple; everything else is shared
        a_size == b_size and :erts_debug.size({a,b}) == a_size + 3
      end
    end
    

    System working? Seems to be:

    > Test.same? x, {1,2}
    false
    > Test.same? x, x
    true
    

    Goal accomplished!


    However, say we're trying to call this function from another function in a compiled module, not from the iex shell:

      def try_it() do
        x = {1, 2}
        a1 = {"a", {1, 2}}
        a2 = {"a", {1, 2}}
        a3 = {"a", x}
    
        IO.puts "a1 and a2 same? #{same?(a1,a2)}"
        IO.puts "a1 and a3 same? #{same?(a1,a3)}"
        IO.puts "a3 and a2 same? #{same?(a3,a2)}"
      end
    

    That prints:

    > Test.try_it
    a1 and a2 same? true
    a1 and a3 same? true
    a3 and a2 same? true
    

    That's because the compiler is smart enough to see that those literals are equal, and coalesces them to one term while compiling.


    Note that this sharing of terms is lost when terms are sent to another process, or stored in / retrieved from an ETS table. See the Process Messages section of the Erlang Efficiency Guide for details.