ElixirLS Dialyzer报错：get_sql/1无本地返回、build_sql/1未被调用

1. Function get_sql/1 has no local return #

Dialyzer报这个错，是因为静态分析后判定get_sql/1在某些执行分支下无法返回合法值——要么触发未处理的异常、进入无限循环，要么所有代码路径都没有明确返回逻辑。

常见问题及修复方式：

• 模式匹配未覆盖全量场景：如果函数里用了模式匹配但只处理了特定参数结构，没做兜底处理，比如只匹配了%Query{type: :select}这类特定结构体，没处理其他输入。可以加兜底分支，比如def get_sql(_invalid_input), do: raise("Unsupported input structure")，同时用@spec标注函数输入输出类型，帮Dialyzer明确预期，例如：

  @spec get_sql(Query.t()) :: String.t() | no_return()
  def get_sql(%Query{} = query) do
    # 业务逻辑
  end
  def get_sql(_), do: raise("Invalid query input")
  

• 未标注异常抛出：如果函数确实会在某些场景抛出异常，要在@spec里声明no_return()，告诉Dialyzer该函数可能无正常返回。
• 存在无限递归：检查函数递归逻辑，确保有明确的终止分支，避免无限循环导致无返回。

2. Function build_sql/1 will never be called #

这个错误说明Dialyzer分析后认为build_sql/1在整个代码库中没有被任何地方调用。

常见问题及修复方式：

• 函数确实未被调用：如果是废弃函数直接删除；如果是遗漏调用，检查调用处的函数名、参数个数是否拼写错误，比如误写成build_sql/0或传参数量不匹配。
• 动态调用无法被静态分析识别：如果是通过apply/3、动态模块拼接等方式调用build_sql/1，Dialyzer的静态分析无法识别这类调用。可以给函数加注解忽略警告：

  @dialyzer {:nowarn_function, build_sql/1}
  def build_sql(query) do
    # 业务逻辑
  end
  

  或者尽量改成静态调用，让Dialyzer能识别到调用关系。
• 模块未被正确引用：如果build_sql/1所在的GraphQL.Parser模块没有被其他代码引用，Dialyzer会判定它不会被加载执行。确保在调用处通过alias GraphQL.Parser或者直接写GraphQL.Parser.build_sql(...)来引用模块。

额外排查建议 #

• 给所有核心函数添加@spec和@type注解，帮助Dialyzer更精准地分析代码类型关系。
• 运行mix dialyzer --format short查看更详细的报错上下文，定位具体出错代码行。
• 如果是ElixirLS缓存问题，尝试重启VSCode或重新生成Dialyzer的PLT文件（执行mix dialyzer --plt）。

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