如何让Elixir模块依赖指定Behaviour实现？

问题1：如何优化typespec，验证传入模块确实实现了目标Behaviour？ #

目前无法仅通过typespec让Dialyzer静态验证模块是否实现特定Behaviour——Elixir的类型系统并未将「实现某个Behaviour」作为一等类型，module()类型只能约束参数是模块，无法关联Behaviour实现。

但可以通过以下方式补充验证能力：

• 编译时断言：在接收模块的函数中，使用Module.assert_behaviour/2强制检查，例如：

  def start(brake_system) do
    Module.assert_behaviour(brake_system, Car.Brake)
    # 后续逻辑
  end
  

  这样如果传入未实现Behaviour的模块，编译阶段就会直接报错，无需等到Dialyzer分析。
• 自定义类型+运行时检查：定义@type brake_system() :: module()，并在函数开头添加运行时校验：

  @spec start(brake_system()) :: pid()
  def start(brake_system) do
    unless brake_system.__impl__(Car.Brake) do
      raise ArgumentError, "#{brake_system} 未实现 Car.Brake Behaviour"
    end
    # 后续逻辑
  end
  

  这种方式能在运行时快速拦截非法输入，虽然无法让Dialyzer静态识别，但能有效避免错误传播。

问题2：若typespec方式不可行，有没有更地道的方式明确这种依赖关系？ #

有几种Elixir社区惯用的方式：

• 用@impl true强制标注回调：所有Car.Brake的实现模块，必须用@impl true标记每个回调函数。如果遗漏了Behaviour定义的回调，编译时会直接抛出警告，提醒开发者补全。
• 通过__using__宏封装Behaviour依赖：在Car.Brake中定义__using__宏，要求实现模块必须use Car.Brake，宏内部可以自动添加必要的回调模板或合规检查，确保模块符合Behaviour要求。
• 文档明确约束：在Car模块的函数文档中，清晰标注参数必须是Car.Brake的实现模块，例如：

  @doc """
  启动汽车系统
  ## 参数
    - brake_system: 必须是实现了 `Car.Brake` Behaviour 的模块
  """
  @spec start(brake_system()) :: pid()
  def start(brake_system), do: ...
  

• 使用Mix任务做额外检查：自定义Mix任务，扫描项目中传入Car.start/1的模块，批量验证是否实现了目标Behaviour，适合大型项目的批量校验。

问题3：Elixir中指定「模块A依赖Behaviour B的实现」的惯用方式是什么？社区关于此需求无法实现的说法是否正确？ #

社区的说法是正确的：Elixir目前无法仅通过typespec+Dialyzer实现静态层面的「模块必须实现特定Behaviour」约束。

社区惯用的实现方式是组合多种手段，从编译、运行、文档层面强化依赖关系：

1. 定义清晰的Behaviour：用defbehaviour明确所有必要的@callback，让实现者清楚需要实现的接口。
2. 编译时断言：在依赖模块（如Car）中用Module.assert_behaviour/2做编译时检查，提前拦截非法模块。
3. 强制@impl true标注：确保实现模块的回调被正确标记，编译时自动检查遗漏的回调。
4. 宏封装依赖：通过__using__让实现模块必须引入Behaviour，减少手动实现的错误。
5. 运行时兜底检查：在关键函数入口添加运行时校验，作为最后一道防线。

内容的提问来源于stack exchange，提问作者Flame_Phoenix