一、Erlang进程字典是什么
如果你用过Erlang，肯定对进程字典不陌生。简单来说，进程字典（Process Dictionary）是每个Erlang进程自带的一个键值存储空间，可以临时存放一些数据。它的访问速度极快，因为数据就存在当前进程的内存里，不需要跨进程通信。
举个例子：
%% 存储一个值到进程字典
put(user_name, "老王").
%% 从进程字典读取值
UserName = get(user_name).
%% 删除某个键
erase(user_name).
看起来很方便对吧？但别急着高兴，这东西用不好可是会带来大麻烦的。
二、为什么说滥用进程字典很危险
进程字典虽然用起来爽，但它有几个致命缺点：
- 破坏函数纯度：Erlang推崇函数式编程，但进程字典让函数的行为依赖于外部状态，导致同样的输入可能产生不同的输出。
- 难以调试：数据藏在进程字典里，别人看代码时根本不知道这里存了什么，出了问题排查起来像捉迷藏。
- 影响代码复用：依赖进程字典的函数很难被其他模块复用，因为调用方必须事先知道要往字典里塞什么数据。
来看个反面教材：
%% 糟糕的例子：用进程字典传递用户权限
check_permission() ->
%% 假设前面某个地方偷偷存了权限级别
case get(user_role) of
admin -> {ok, "允许访问"};
_ -> {error, "权限不足"}
end.
%% 调用时完全看不出依赖关系
test() ->
put(user_role, guest), % 鬼知道这里要设置这个！
check_permission(). % 输出：{error, "权限不足"}
这种代码就像在房间里埋地雷，后面接手的人一脚踩上去就炸了。
三、正确的使用姿势
那到底什么时候该用进程字典呢？记住这个原则：仅用于临时性、非关键数据。典型场景包括：
- 缓存频繁读取的配置（但要有回退方案）
- 调试时临时存储跟踪信息
- 性能优化时的最后手段
来看个相对健康的例子：
%% 好的实践：缓存配置但提供默认值
get_system_timeout() ->
case get(system_timeout) of
undefined ->
%% 从应用环境获取默认值
{ok, Timeout} = application:get_env(my_app, default_timeout),
Timeout;
Cached ->
Cached
end.
%% 明确说明需要初始化缓存
init_cache() ->
{ok, Timeout} = application:get_env(my_app, default_timeout),
put(system_timeout, Timeout).
四、更优雅的替代方案
其实大部分场景下，这些替代方案都比进程字典更靠谱：
- 进程状态：用gen_server维护状态
- ETS表：需要共享数据时使用
- 参数传递：老老实实通过函数参数传递
比如用gen_server改造之前的权限检查：
%% 使用gen_server显式管理状态
-module(auth_server).
-behaviour(gen_server).
%% API
start_link() -> gen_server:start_link({local, ?MODULE}, ?MODULE, [], []).
check_access(Pid) -> gen_server:call(Pid, check_access).
%% 回调函数
init([]) -> {ok, #{role => guest}}. % 初始状态
handle_call(check_access, _From, #{role := Role}) ->
Reply = case Role of
admin -> {ok, "允许访问"};
_ -> {error, "权限不足"}
end,
{reply, Reply, State}.
现在任何调用都要经过清晰定义的接口，状态变化一目了然。
五、血的教训：我们踩过的坑
去年我们系统出过一个奇葩故障：某个核心服务偶尔会返回错误数据。排查了三天才发现，有个程序员偷偷用进程字典缓存了数据库连接配置，结果配置更新后老数据还残留在字典里。最后用下面这个方法才找到问题：
%% 调试时检查特定进程的字典
debug() ->
%% 获取目标进程ID（比如用pg2或进程注册名）
Pid = whereis(target_process),
%% 打印该进程所有字典内容
io:format("~p~n", [process_info(Pid, dictionary)]).
从此我们团队规定：所有使用进程字典的代码必须经过架构师review，并且要在注释里写明生命周期和清理逻辑。
六、写给新手的特别提醒
如果你刚接触Erlang，尤其要注意：
- 不要用进程字典传递业务数据，这相当于用全局变量写Java
- 避免在库代码中使用，你的库可能被用在任意上下文
- 记得清理，特别是长期运行的进程，字典会内存泄漏
有个简单的测试方法：想象把你的函数放到另一个进程执行，如果这样会出错，就说明存在隐藏的进程字典依赖。
七、总结
进程字典就像瑞士军刀里的牙签：偶尔救急能用，但千万别拿来当主武器。Erlang提供了那么多优雅的并发原语（gen_server、ETS、消息传递），大多数情况下真的不需要碰进程字典。记住：显式优于隐式，这是写出可维护Erlang代码的关键。
下次当你手指不由自主要敲put/get时，先问问自己：这个数据值得让未来的我凌晨三点哭着调试吗？如果答案是否定的，那就换个更靠谱的实现方式吧。
评论