Was ist das Gleichheitszeichen innerhalb eines Funktionsparameters in Elixir?

Question

ich ein Foo Modul wie folgt definiert sind:

defmodule Foo do 
    def hello(x = %{name: name}) do 
    IO.inspect [x, name] 
    end 
end 

Wenn ich die Foo.hello(%{name: "Alice"}) laufen, ich folgendes Ergebnis:

[%{name: "Alice"}, "Alice"] 

Dann erfuhr ich, dass ich ohne Änderung des Foo Modul neu schreiben kann seine Funktionalität wie folgt:

defmodule Foo do 
    def hello(%{name: name} = x) do 
    IO.inspect [x, name] 
    end 
end 

Warum ist das möglich? Was ist das Gleichheitszeichen innerhalb eines Funktionsparameters? Ist es ein normaler Match-Operator?

In meinem Verständnis entspricht der Operator = den Wert auf der rechten Seite gegen das Muster auf der linken Seite.

[Bearbeiten]

Nach Justins Antwort lesen, habe ich geschrieben, eine Antwort von mir. Aber ich brauche immer noch Hilfe.

Ich möchte wissen, ob der = Operator sich innerhalb der Funktion Kopf und warum anders verhält.

Und ich möchte eine offizielle Dokumentation finden, wenn verfügbar.

Answer 1

Es ist in der Tat immer noch der Match-Operator.

Der Grund, warum Sie dies ist der gleiche Grund tun können Sie dieses

iex(1)> 1 = x 

** (CompileError) iex:3: undefined function x/0 
iex(2)> x = 1 
1 
iex(3)> 1 = x 
1 

In Ihrer Funktion Kopf bieten kann, hat x Wert, sobald Sie die Funktion verwenden und ein Argument hineingeben (gleiche Grund können Sie die Funktion als def hello(x) do ... end definieren). Dies bedeutet, dass Sie es auf der rechten Seite des Spielbetreibers verwenden dürfen.

Answer 2

Nachdem ich eine Weile gegoogelt hatte, fand ich eine Erklärung auf http://learnyousomeerlang.com/syntax-in-functions.

Dieser Artikel bezieht sich eine Erlang fuction:

valid_time({Date = {Y,M,D}, Time = {H,Min,S}}) -> 
    io:format("The Date tuple (~p) says today is: ~p/~p/~p,~n",[Date,Y,M,D]), 
    io:format("The time tuple (~p) indicates: ~p:~p:~p.~n", [Time,H,Min,S]); 

Dann heißt es:

Beachten Sie, dass es möglich ist, die = Operator im Funktionskopf zu verwenden, so dass wir beide passen der Inhalt innerhalb eines Tupels ({Y,M,D}) und das Tupel als Ganzes (Date).

Es geht um Erlang, aber es scheint der Mechanismus das gleiche auf Elixir ist.

Für Experiment, schrieb ich das Foo Modul wie folgt:

defmodule Foo do 
    def hello(%{name: x} = %{name: y}) do 
    IO.inspect [x, y] 
    end 
end 

Dann lief ich die Foo.hello(%{name: "Alice"}), und bekam dies:

["Alice", "Alice"] 

Das Muster auf dem Argument Abgleich mit zwei Mustern erfolgt auf beide Seiten des = Betreibers.