在Elixir中,協(xié)議(protocol)是一種定義多態(tài)行為的方式,類似于接口。協(xié)議定義了一組函數(shù)簽名,而不是具體的實(shí)現(xiàn)。然后,數(shù)據(jù)類型可以實(shí)現(xiàn)這些協(xié)議,為每個(gè)函數(shù)簽名提供自己的實(shí)現(xiàn)。
下面是如何定義和使用協(xié)議的示例:
首先,定義一個(gè)協(xié)議:
defprotocol Math do
@doc "Add two numbers"
def add(a, b)
@doc "Subtract two numbers"
def sub(a, b)
end
然后,實(shí)現(xiàn)該協(xié)議的數(shù)據(jù)類型:
defmodule Math.Integer do
defimpl Math do
def add(a, b) do
a + b
end
def sub(a, b) do
a - b
end
end
end
接下來,我們可以使用協(xié)議來調(diào)用函數(shù):
IO.puts Math.add(1, 2) # 輸出 3
IO.puts Math.sub(5, 3) # 輸出 2
注意,我們并沒有直接調(diào)用Math.Integer.add
和Math.Integer.sub
函數(shù),而是使用協(xié)議的函數(shù)來調(diào)用它們。這允許我們編寫通用的代碼,而無需關(guān)心具體實(shí)現(xiàn)的細(xì)節(jié)。
需要注意的是,Elixir是一種動(dòng)態(tài)類型語言,因此我們不需要在數(shù)據(jù)類型上顯式聲明實(shí)現(xiàn)協(xié)議,只需實(shí)現(xiàn)協(xié)議的函數(shù)即可。