Example of implementing Access protocol (behaviour?) in Struct

Not performance I’d say… Semantic reasons. It doesn’t make sense for all structs.

Also let’s take a fictive set which implements access and returns either true or false, depending on if the value is a member.

The struct itself has only a single field, which shall not be made accessible, but instead access is just a Map.get(s.m, value, false).

I’m not aware of any examples though, but perhaps you can find something in elixir code base for maps or keywordlists.

I think you’ll find this will do the trick:

iex> get_in(my_struct, [Access.key(:x, Access.key(:y, "my_default"))])
%{y: "My Value"}

You can wrap struct keys in Access.key/2 if required without implementing the whole Access protocol.

That looks promising… however, it seems to return not the value for :y (or its default), but instead, the entire map stored at :x

Wasn’t quite sure what you were after. Probably you wanted:

iex> my_struct = %MyStruct{x: %{y: "this thing"}}
%MyStruct{x: %{y: "this thing"}}
iex> get_in(my_struct, [Access.key(:x), Access.key(:y, "my_default")])
"this thing"

Note that since :x is just a map you can do the following if you don’t need to supply a default (which you shouldn’t have to so since this is about a struct:

iex> get_in(my_struct, [Access.key(:x), :y])                          
"this thing"

That works! I think I tried a dozen things that were close to that. Thank you!

I came here looking for a simple way to implement Access behaviour by all structs, but I agree with @NobbZ, it doesn’t make sense to do it for all structs.
So I thought of a simpler solution, just ‘unstructure’ those structs where I need to use get_in to access them deeply.

I made this little function:

  def destructuring(struct) when is_struct(struct) do
    struct |> Map.from_struct() |> destructuring
  end
  def destructuring(list) when is_list(list) do
    list |> Enum.map(fn v ->
      destructuring(v)
    end)
  end
  def destructuring(map) when is_map(map) do
    map |> Map.keys() |> Enum.reduce(%{}, fn (k,acc) ->
      Map.put(acc, k, destructuring(map[k]))
    end)
  end
  def destructuring(val), do: val

so when I need it I can do:

iex> my_struct |> destructuring() |> get_in([:x, :y, :z])

Elixir 1.17 added get_in/1 (Note the arity 1) which works with structs.

get_in(my_struct.x.y) || "my_default"

I’m new to elixir, but wouldn’t this be the same as doing this?

my_struct.x.y || "my_default"

Apart from this, I wonder how I could take advantage of get_in/1 in the case that the list of keys has to be generated dynamically based on certain logic?

No, because my_struct.x.y would raise an error if my_struct or x were nil. get_in/1 provides nil-safe access, similar to Javascript’s myObject?.x?.y.

Sorry, just realized I didn’t account for the logical ||. So for this specific case, both should do the same thing.

If x is nil doing .y will raise a KeyError. get_in/1 wont raise a KeyError