Java类语言中编写移除列表首个指定元素的纯函数及特殊场景处理

先明确纯函数的核心要求：绝不修改输入参数、相同输入始终返回相同结果、无任何隐藏副作用，这是我们所有方案的前提。

针对你提出的问题，我们先拆解核心需求：移除列表中首次出现的目标元素，返回新的不可变列表；当元素不存在时，需要给出清晰且符合纯函数特性的处理方式。下面逐一分析现有方案的问题，并给出最优解：

现有方案的问题复盘 #

• 抛出异常：纯函数应避免可控场景下的异常抛出——异常会打破函数的返回语义（要么返回值，要么抛出异常），而且调用者可能忽略异常处理，导致运行时意外，直接违反纯函数的可靠性要求。
• 修改输入返回布尔：直接触碰纯函数的红线——修改输入参数属于明显的副作用，完全不符合纯函数定义，直接pass。
• 返回原输入列表：虽然满足纯函数特性，但语义极其模糊。调用者无法直观判断是否成功移除了元素，必须额外做对比（比如列表大小、元素内容），增加了使用成本和出错概率。

最优方案：返回Optional<List<String>> #

这个方案完美兼顾了纯函数特性、语义清晰性和易用性，也是Java生态中处理“操作可能成功/失败”场景的标准做法：

1. 强制调用者处理两种分支（元素存在并移除 / 元素不存在），避免隐式错误；
2. 严格遵守纯函数：不修改输入，始终返回新的不可变列表（或empty）；
3. 基于Java标准库，无需自定义额外类型。

代码实现示例 #

import java.util.ArrayList;
import java.util.List;
import java.util.Optional;

public class PureListUtils {
    public static Optional<List<String>> removeFirstOccurrence(final List<String> inputList, final String target) {
        // 第一步：复制原列表，绝对不修改输入
        List<String> listCopy = new ArrayList<>(inputList);
        
        int targetIndex = listCopy.indexOf(target);
        if (targetIndex != -1) {
            listCopy.remove(targetIndex);
            // 返回不可变列表，避免调用者后续修改导致的副作用
            return Optional.of(List.copyOf(listCopy));
        } else {
            // 元素不存在时返回empty，明确告知调用者操作未执行
            return Optional.empty();
        }
    }
}

调用示例 #

// 元素存在的场景
List<String> original = List.of("a", "b", "c");
Optional<List<String>> result1 = PureListUtils.removeFirstOccurrence(original, "b");
result1.ifPresent(newList -> System.out.println("新列表：" + newList)); // 输出 [a, c]

// 元素不存在的场景
Optional<List<String>> result2 = PureListUtils.removeFirstOccurrence(original, "d");
result2.ifPresentOrElse(
    newList -> System.out.println("新列表：" + newList),
    () -> System.out.println("目标元素不存在") // 输出此分支
);

备选方案：自定义结果对象 #

如果你需要更明确的语义（比如同时拿到新列表和操作是否成功的标记），可以自定义一个不可变的结果类，但这种方案需要额外代码，不如Optional简洁：

public class RemovalResult {
    private final List<String> newList;
    private final boolean wasRemoved;

    public RemovalResult(List<String> newList, boolean wasRemoved) {
        this.newList = List.copyOf(newList);
        this.wasRemoved = wasRemoved;
    }

    // getter方法
    public List<String> getNewList() { return newList; }
    public boolean wasRemoved() { return wasRemoved; }
}

// 对应的纯函数实现
public static RemovalResult removeFirstOccurrence(final List<String> inputList, final String target) {
    List<String> listCopy = new ArrayList<>(inputList);
    int targetIndex = listCopy.indexOf(target);
    if (targetIndex != -1) {
        listCopy.remove(targetIndex);
        return new RemovalResult(listCopy, true);
    } else {
        return new RemovalResult(inputList, false);
    }
}

关键注意点 #

无论选择哪种方案，必须始终返回不可变列表：用List.copyOf()（Java 9+）或Guava的ImmutableList.copyOf()包装返回结果，避免调用者修改返回列表导致的潜在副作用，彻底保证纯函数的不可变性。

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