Erlang中为何需指定-module？模块名必须与文件名一致

先看两个实际编译场景：

1. 文件名与模块名一致时：
   创建文件jopa.erl，写入代码：

-module(jopa).

在Erlang shell执行编译命令：

c(jopa).

编译无报错，成功生成jopa.beam。

2. 文件名与模块名不一致时：
   同样是jopa.erl文件，写入代码：

-module(lol).

执行相同的编译命令，会触发错误：

2> c(jopa).
./jopa.beam: Module name 'lol' does not match file name 'jopa'
error

既然Erlang编译时强制要求模块名与文件名一致，那为什么还要在代码里显式写-module()声明？

-module()的核心作用 #

• 定义代码的逻辑归属：Erlang是模块化编程语言，所有函数、记录、宏都必须属于某个模块。-module()就是明确当前文件中所有代码的逻辑归属单元——调用函数时你用的是模块名:函数名()的形式，没有这个声明，VM根本不知道这些函数该归到哪个命名空间下，根本无法正常调用。
• 运行时的模块标识：编译生成的.beam字节码文件中，存储的核心标识就是-module()指定的名字。Erlang VM加载模块、解析函数调用时，认的是这个内部标识，而非文件名。编译时强制文件名与模块名一致，本质是为了让VM能通过文件名快速定位到对应的.beam文件，避免出现“找半天找不到对应模块”的混乱。
• 支持模块元数据与特性：-module()声明还可以附加属性，比如指定模块实现的行为（-module(jopa, [behaviour(gen_server)]).）、版本信息等。这些元数据是Erlang生态中工具（比如行为检查器、文档生成工具edoc）工作的基础，没有模块声明就无法附加这些属性。
• 代码规范与可读性保障：模块名是代码逻辑的直观体现，显式声明能让开发者一眼看懂当前文件的功能定位，也让代码检查、静态分析等工具能准确识别模块边界，这在大型Erlang项目中尤为重要。

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