Elixir技术问题：匿名函数操作数组及变量访问方案咨询

阿华AIGC实验室

2026-5-20

嘿，这两个问题都是Elixir函数式编程里的典型场景，我来给你拆解清楚：

1. 在Elixir中，从匿名函数向数组中添加元素的最优方式是什么？

首先得敲黑板：Elixir是不可变数据范式的语言——你没法直接修改一个已有的数组（不管是列表还是其他集合），所有“添加”操作本质上都是返回一个全新的集合。基于这个核心前提，最优方式要看你的具体场景：

单次添加到列表末尾：用++操作符或者Enum.concat/2就够了，写法很直观：
```
original = [1, 2, 3]
updated = original ++ [4]
# 或者 Enum.concat(original, [4])
```
小提醒：++对长列表的末尾添加性能一般，因为要遍历整个列表，所以如果是频繁添加的场景，换下面的方式。
迭代中逐步构建列表：优先用前置元素+最后反转的组合，或者直接用Enum.reduce/3（这是函数式里“累加”的标准操作）。比如用匿名函数配合reduce：
```
to_add = [4, 5, 6]
final_list = Enum.reduce(to_add, [1,2,3], fn elem, acc -> [elem | acc] end) |> Enum.reverse()
# 结果是 [1,2,3,4,5,6]
```
前置操作[elem | acc]是O(1)的高效操作，最后反转一次就能得到正确顺序，比反复用++高效多了。
匿名函数捕获外部集合生成新集合：可以利用闭包特性，但同样要记住是返回新集合，不是修改原集合：
```
base = [1,2,3]
add_one = fn elem -> base ++ [elem] end
new_list = add_one.(4)
```

2. 如何让`iterate_json`访问`results`变量（无需作为参数传入）并有效获取结果？

首先得纠正一个误区：Elixir里没有“可变外部变量”让你直接修改——原来的方案失效，就是因为results是nil且不可变，你没法在函数里把它改成非空集合。正确的思路是用递归+累加器的模式（这是函数式编程里替代可变状态的标准玩法），或者用闭包结合不可变变量更新。

方案一：重构为带累加器的递归函数（最推荐）

这完全符合Elixir的编程风格，你可以写一个对外的入口函数，内部调用带累加器的递归函数，外部根本不用关心累加器的传递：

defmodule JsonHandler do
  def run(json_data) do
    # 入口函数，初始化累加器为空列表
    iterate_json(json_data, [])
  end

  # 私有递归函数，带累加器参数
  defp iterate_json(json_node, results) do
    # 这里替换成你的实际业务逻辑：判断是否要提取当前节点的值
    updated_results = if keep_node?(json_node) do
      results ++ [get_node_value(json_node)]
    else
      results
    end

    # 遍历子节点，递归调用并更新累加器
    Enum.reduce(json_node[:children] || [], updated_results, fn child, acc ->
      iterate_json(child, acc)
    end)
  end

  # 下面是你的自定义逻辑，替换成实际需求
  defp keep_node?(_node), do: true
  defp get_node_value(node), do: node[:content]
end

调用的时候直接用JsonHandler.run(your_json_data)，就能得到最终的结果集合，完全不用手动传results参数。

方案二：闭包+递归（适合简单场景）

如果不想写模块函数，也可以用匿名函数的闭包来捕获初始累加器，通过递归更新状态：

def process_json(json_data) do
  initial = []

  # 定义递归的匿名函数，捕获外部逻辑
  iterate = fn
    # 终止条件：没有节点时返回当前累加器
    nil, acc -> acc
    node, acc ->
      # 更新累加器
      new_acc = if keep_node?(node) do
        acc ++ [get_node_value(node)]
      else
        acc
      end
      # 遍历子节点，递归调用
      Enum.reduce(node[:children] || [], new_acc, &iterate.(&1, &2))
  end

  # 启动递归，传入初始数据和累加器
  iterate.(json_data, initial)
end

defp keep_node?(_node), do: true
defp get_node_value(node), do: node[:content]

这里的核心还是通过传递累加器来“更新”状态，而不是试图修改外部的nil变量——毕竟Elixir里变量一旦赋值就不能变，只能生成新的变量。