record 留在院里

模块内部使用 record，对外用 map，避免 tuple 布局泄漏。

01 · 先看完整例子

保存为 user_profile.erl

调用者只依赖 map 与结果 tuple，不依赖 record 的 tuple 位置。

Erlang

-module(user_profile).
-export([from_map/1, public/1]).

-record(user, {name, score = 0}).

%% map 是进入模块的边界形状
from_map(#{name := Name, score := Score}) ->
  {ok, #user{name = Name, score = Score}};
from_map(_) ->
  {error, invalid_user}.

%% record 不直接离开模块
public(User) ->
  #{name => User#user.name, score => User#user.score}.

先对照结果

有效 map 返回 {ok, Record}；public/1 再返回具名 map。

02 · 回头拆代码

从第一行往下读

入口模式要求两个键存在。
内部 record 提供字段访问语法。
出口函数选择真正允许公开的字段。

03 · 认清新符号

符号不是暗号

#user{}

模块内部的固定 record 表示。

#{name => ...}

边界处带字段名的 map。

from_map / to_map

把边界数据与内部表示相互转换。

04 · 代码里的概念

把名字和意思对上

模块边界

一个模块与外部调用者交换数据的位置。

表示泄漏

调用者被迫知道本应属于模块内部的数据布局。

05 · 再说清楚

这些写法为什么有用

record 在模块内部很好读，但运行时只是 tuple。把它直接交给远处模块，双方会被同一布局绑住。

边界用 map 传具名字段，内部可用 record 保持固定结构。转换函数就是明确的门。

这不是说 record 不好，而是让数据表示待在最合适的范围。

06 · 自己改一次

合上答案，动手

让 public/1 只公开名字，不公开分数。

练习起点

public(User) ->
  #{____ => User#user.____}.

目标结果： 得到只含 name 键的 map。

卡住了，再看提示

两个空都填 name。

运行过以后，再看一种答案

一种答案

%% 边界明确选择可见字段
public(User) ->
  #{name => User#user.name}.

想一想：为什么跨模块直接匹配 record tuple 位置很脆弱？

字段增删或顺序改变会影响所有知道布局的调用者；转换边界把变化收回模块内。

带走

记住三句

1
record 适合局部固定结构。
2
边界数据要让字段含义可见。
3
转换函数隔离内部布局变化。

本课结束代码也跑过一次，就把这一课收好。