如何将Elixir类型定义转换为TypedStruct？嵌套结构处理

问题背景 #

我正在为应用引入规范化数据结构，发现TypedStruct工具十分实用。但遇到难题：不知如何将如下类型定义转换为TypedStruct：

@type order_info :: %{
  (visible :: String.t()) => boolean,
  (order_type :: String.t()) => String.t(),
  (platform :: String.t()) => String.t(),
  (platinum :: String.t()) => non_neg_integer,
  (user :: String.t()) => %{
    (ingame_name :: String.t()) => String.t(),
    (status :: String.t()) => String.t()
  }
}

核心难点在于user字段的嵌套结构，想请教：

1. 是否直接在order_info的TypedStruct中定义map并忽略user的必填参数？
2. 是否创建独立的user TypedStruct并嵌套进order_info？
3. Elixir中的标准做法是什么？

解答 #

1. 直接定义嵌套map的可行性 #

可以这么做，但不推荐。你可以在order_info的TypedStruct里把user字段类型声明为%{required(:ingame_name) => String.t(), required(:status) => String.t()}，但这种方式无法复用用户结构，后续如果要扩展用户结构、添加验证逻辑或默认值，维护成本会很高。而且TypedStruct的核心价值之一是强类型约束，忽略必填参数等于放弃了部分类型安全保障，违背了使用TypedStruct的初衷。

2. 创建独立User TypedStruct并嵌套 #

这是更合理的方案，具体步骤如下：
首先定义独立的User TypedStruct：

defmodule User do
  use TypedStruct

  typedstruct do
    field :ingame_name, String.t(), enforce: true
    field :status, String.t(), enforce: true
  end
end

然后在OrderInfo的TypedStruct中嵌套该结构：

defmodule OrderInfo do
  use TypedStruct
  alias User

  typedstruct do
    field :visible, boolean(), enforce: true
    field :order_type, String.t(), enforce: true
    field :platform, String.t(), enforce: true
    field :platinum, non_neg_integer(), enforce: true
    field :user, User.t(), enforce: true
  end
end

这种方式结构清晰，User结构可在其他业务场景复用，后续修改User结构只需改动一处，同时保留了完整的类型约束，完全契合TypedStruct的设计理念。

3. Elixir中的标准做法 #

在Elixir生态里，处理嵌套结构化数据时，优先拆分独立的TypedStruct并嵌套是标准实践，原因如下：

• 符合单一职责原则：每个Struct只负责自身的数据结构，逻辑边界清晰
• 复用性强：嵌套的Struct可以在多个上下文里重复使用
• 类型检查更严谨：每个Struct的字段约束独立维护，避免大map混写导致的类型模糊
• 扩展性好：后续给嵌套Struct添加默认值、验证逻辑（比如结合Ecto.Changeset）会更便捷

如果需要兼容旧的map结构，TypedStruct也支持直接从map转换：

# 从map转换为OrderInfo实例
order_info_map = %{
  visible: true,
  order_type: "sell",
  platform: "pc",
  platinum: 100,
  user: %{ingame_name: "Phoenix", status: "online"}
}

order_info = OrderInfo.new(order_info_map)
# 也可以单独转换User结构
user = User.new(order_info_map.user)

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