Elixir-行为

在Elixir中，行为是指一组方法的协议。它是一个抽象层，定义了与协议相关的方法和规则。它明确定义了模块之间的接口和交互方式，使得模块之间更容易地交换数据和通信。

定义行为

要定义一个行为，可以使用 @callback 注释标记定义在模块中的一组方法。这些方法并不需要具体的实现，只需要定义方法名、参数和返回类型。例如，定义一个简单的行为，用于生成唯一标识符：

defmodule MyIdGenerator do
  @callback generate_id() :: String.t()
end

这里我们定义了一个生成唯一标识符的行为，没有具体实现。我们可以通过实现这个行为来生成不同类型的唯一标识符，例如 GUID、UUID、snowflake 等等。

实现行为

一旦定义了行为，就可以实现它。实现行为需要使用 @behaviour 注释标记来告诉编译器这个模块是行为的实现。然后，必须实现在行为中定义的所有方法。

例如，我们实现一个生成 GUID 的 MyGuidGenerator 模块：

defmodule MyGuidGenerator do
  @behaviour MyIdGenerator

  @impl MyIdGenerator
  def generate_id() do
    :crypto.strong_rand_bytes(16)
    |> Base.encode16()
    |> String.downcase()
  end
end

这里我们实现了 generate_id() 方法，使用 :crypto.strong_rand_bytes/1 方法生成随机字节，将其编码为 Base16 格式，然后将其转换为小写字符串。这个实现满足了行为 MyIdGenerator 的规则，可以随时使用。

使用行为

一旦定义了行为和实现，就可以在其他模块中使用它们。使用时，可以依赖行为的模块，而无需关心内部实现。

例如，我们可以使用 MyGuidGenerator 生成唯一标识符：

defmodule MyModel do
  @id_generator Application.get_env(:my_app, :id_generator)

  def new(attrs) do
    %__MODULE__{id: @id_generator.generate_id()} |> struct(attrs)
  end
end

这里我们在构造函数中使用了 @id_generator，它是从环境变量中获取并加载行为的实现。我们通过调用 generate_id() 方法生成唯一标识符，并构造了一个新的模型对象。

总结

行为是 Elixir 程序员必须掌握的一项技能，它能够有效地解耦程序中的各个部分，使得程序更容易维护和扩展。通过定义行为，实现行为的模块可以随时切换，而无需在其他模块中进行修改。如果您是 Elixir 的新手，请务必深入学习行为的概念和用法，它将对您的编程生涯产生巨大的帮助。