静态与动态模块名调用的性能差异对比

我编写了如下静态分支实现的代码：

my_var = get_my_var()
res =
  case my_var do
    :var1 ->
      MyApp.M1.Var1.method1(arg1, arg2, arg3)

    :var2 ->
      MyApp.M1.Var2.method1(arg1, arg2, arg3)

    :var3 ->
      MyApp.M1.Var3.method1(arg1, arg2, arg3)

    _ ->
      Logger.error("unknown")
  end

从性能角度来看，这种方式是否优于以下两种动态模块调用的实现方式？

my_var = get_my_var()

# 1
my_mod = Module.safe_concat(MyApp.M1, my_var)
res = my_mod.method1(arg1, arg2, arg3)

# 2
my_mod = String.to_atom("Elixir.MyApp.M1.#{my_var}")
res = my_mod.method1(arg1, arg2, arg3)

换句话说，通过动态生成的模块名调用模块方法是否会带来显著的性能影响？

回答 #

静态Case分支的实现性能明显更优，核心原因如下：

• 静态分支在编译阶段就能确定所有目标模块和函数，BEAM虚拟机可以直接生成指向目标函数的调用指令，无需运行时额外查找，甚至可能对函数调用做内联优化，彻底消除分支判断的开销。
• 动态模块调用则需要在运行时完成两个额外步骤：生成模块原子、在虚拟机的模块表中查找对应的模块实体。即使模块已经加载并被缓存，这两步的开销依然存在，在高频调用场景下会累积成可测量的性能差距。

另外还要注意两种动态实现的安全性差异：

• Module.safe_concat只接受原子作为拼接参数，不会创建新的原子，避免了不可控输入导致的内存泄露风险（原子一旦创建无法回收）。
• String.to_atom会将任意字符串转换为原子，如果my_var来自不可信输入，可能会创建大量无用原子，最终耗尽虚拟机的原子存储空间，引发崩溃。

总结来说，静态Case分支不仅性能更好，还能明确限定允许调用的模块范围，代码可读性也更强；动态调用虽然写法简洁，但存在性能开销和潜在的安全风险，仅适合模块名完全可控、调用频率较低的场景。

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