Erlang类型符号编译出现未使用警告，求正确使用方法

你遇到的“类型未使用”警告，原因是定义的类型没有被任何代码引用——Erlang编译器会认为没有被关联到函数规范（-spec）或导出的类型是无用的，从而抛出警告。

解决方法 #

要消除警告并正确使用类型，需要让类型和代码产生关联，常见两种方式：

1. 给函数添加类型规范（-spec）

在模块内定义函数，用-spec标注函数的参数或返回值类型，让编译器识别到类型的用途：

-module(type_notation).
-export([get_people/0]).

-type person()  :: {person, name(), age()}.
-type people()  :: [person()].
-type name()    :: {firstname, string()}.
-type age()     :: integer().

% 用-spec将函数返回值和people()类型绑定
-spec get_people() -> people().
get_people() ->
    [{person, {firstname, "john"}, 35}, {person, {firstname, "mary"}, 26}].

2. 导出类型供其他模块使用

如果需要让其他模块复用这些类型，可以用-export_type/1指令导出类型，编译器会标记这些类型为“已使用”：

-module(type_notation).
-export_type([person/0, people/0, name/0, age/0]).

-type person()  :: {person, name(), age()}.
-type people()  :: [person()].
-type name()    :: {firstname, string()}.
-type age()     :: integer().

% 可选：搭配函数规范进一步强化类型关联
-export([get_people/0]).
-spec get_people() -> people().
get_people() ->
    [{person, {firstname, "john"}, 35}, {person, {firstname, "mary"}, 26}].

关键说明 #

• 单纯的字面量（比如你代码里的列表）不会自动关联类型，必须通过-spec显式绑定，或者导出类型让外部模块使用。
• 类型定义的顺序不影响编译，Erlang会自动解析依赖关系（比如person()依赖name()和age()，不需要调整定义顺序）。

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