Java EnumSet.complementOf 怎样取出尚未选择的枚举值

如果业务手里已经有一组“已选择”的枚举值，想得到同一枚举类型中还没有选择的值，不必手工遍历 values() 再维护一个临时列表。Java 的 EnumSet.complementOf 可以直接返回指定 EnumSet 在该枚举全集中的补集。

官方文档：https://docs.oracle.com/en/java/javase/25/docs/api/java.base/java/util/EnumSet.html

先把“未选值”限定在同一个枚举类型内

假设权限枚举只有四个常量，当前用户已经选择了 READ 和 WRITE。这里的“未选”不是从所有 Java 对象里排除两个对象，而是从 Permission 这个枚举的全集中排除它们，结果应为 EXECUTE 和 DELETE。

EnumSet 专门服务于枚举类型；官方文档也明确说明，一个枚举集合中的元素必须来自同一个枚举类型。这个限定正是 complementOf 能够安全计算补集的前提。

用 complementOf 直接得到尚未选择的枚举值

最小写法是先创建已选集合，再调用 EnumSet.complementOf。方法会复制出一个新的集合，随后修改结果不会反向修改 selected。

import java.util.EnumSet;

enum Permission {
    READ, WRITE, EXECUTE, DELETE
}

public final class ComplementDemo {
    public static void main(String[] args) {
        // 记录当前已经授予的权限，集合元素只能来自 Permission。
        EnumSet selected = EnumSet.of(Permission.READ, Permission.WRITE);

        // 在 Permission 的全部枚举常量中取出尚未选择的部分。
        EnumSet remaining = EnumSet.complementOf(selected);

        System.out.println("已选：" + selected);
        System.out.println("未选：" + remaining);
    }
}

这段代码的结果是“已选：[READ, WRITE]”和“未选：[EXECUTE, DELETE]”。枚举集合会按枚举常量声明顺序遍历，因此输出顺序不需要另行排序。

空集、全集和 null 分别代表什么

排查结果不符合预期时，优先确认输入集合到底是空集、全集还是空引用。三者的含义完全不同：

import java.util.EnumSet;

enum Mode { READ, WRITE, ADMIN }

public final class BoundaryDemo {
    public static void main(String[] args) {
        // noneOf 仍然携带 Mode 的类型信息，所以空集也可以求补集。
        EnumSet none = EnumSet.noneOf(Mode.class);
        EnumSet allFromNone = EnumSet.complementOf(none);

        // allOf 表示已经包含全部常量，补集自然为空。
        EnumSet all = EnumSet.allOf(Mode.class);
        EnumSet noneFromAll = EnumSet.complementOf(all);

        System.out.println("空集的补集：" + allFromNone);
        System.out.println("全集的补集：" + noneFromAll);
    }
}

不能用一个没有类型信息的普通空 HashSet 来表达同样的语义。若手里只有一个非空 Collection，可以先用 EnumSet.copyOf 转为枚举集合；但空的普通集合无法仅凭自身推断枚举类型，必须额外提供 Mode.class 并使用 noneOf。

把补集结果交给业务筛选，不要维护第二份字符串列表

补集比较适合表示“已启用功能之外仍可选择的功能”“当前角色未授予的权限”或“已处理状态之外的待处理状态”。业务层可以继续使用类型安全的 EnumSet，而不是把枚举名转换成字符串后再做差集。

import java.util.EnumSet;

enum Feature { SEARCH, EXPORT, AUDIT, IMPORT }

public final class FeatureSelector {
    static EnumSet availableFeatures(EnumSet enabled) {
        // 复制补集结果，调用方后续修改不会影响传入的 enabled。
        EnumSet available = EnumSet.complementOf(enabled);
        // 示例规则：审计功能必须由业务单独授权，先从可选集合中移除。
        available.remove(Feature.AUDIT);
        return available;
    }

    public static void main(String[] args) {
        // 当前账号已启用搜索和导出，剩余功能由业务规则继续筛选。
        EnumSet enabled = EnumSet.of(Feature.SEARCH, Feature.EXPORT);
        System.out.println(availableFeatures(enabled));
    }
}

这里的关键是区分两层含义：complementOf 只负责“枚举全集减去已选集合”，而 availableFeatures 再叠加业务规则。这样当枚举新增常量时，补集会自动包含它，业务仍然可以显式排除需要额外授权的值。

并发场景要把快照和共享集合分开

EnumSet 的读写性能很好，但它不是同步容器。如果一个线程在更新 selected，另一个线程同时对它求补集或遍历，不能把“元素是枚举类型”误认为“访问天然安全”。常见做法是先在锁内复制快照，再把快照交给计算逻辑。

import java.util.EnumSet;

enum State { NEW, READY, RUNNING, DONE }

final class StateStore {
    private final Object lock = new Object();
    private EnumSet selected = EnumSet.of(State.NEW);

    EnumSet remainingSnapshot() {
        synchronized (lock) {
            // 在同一把锁内复制，避免计算时读到正在修改的共享集合。
            EnumSet snapshot = EnumSet.copyOf(selected);
            // 补集基于快照计算，返回值脱离共享状态后可由调用方自由使用。
            return EnumSet.complementOf(snapshot);
        }
    }
}

如果业务已经使用不可变快照或单线程所有权，也可以不加锁；如果只是想包装同步访问，则应让所有读写都遵守同一套同步策略。不要只给一次 complementOf 调用加锁，却让其他线程绕过锁直接修改原集合。

常见问题

complementOf 会修改传入的 EnumSet 吗？

不会。它返回一个新的 EnumSet。传入集合仍保留原来的元素，结果集合可以独立增删。

为什么空的普通 Set 不能直接求补集？

因为普通空集合没有携带枚举类型的 Class 信息，Java 无法知道全集究竟是哪一个枚举。应使用 EnumSet.noneOf(YourEnum.class) 明确类型。

两个不同枚举类型可以一起求补集吗？

不可以。EnumSet 的元素必须来自同一个枚举类型；补集也只能在这个类型的全集里计算。

EnumSet 需要手动排序吗？

通常不需要。它按枚举常量的声明顺序遍历；如果业务展示需要其他顺序，应在展示层另行排序，而不是依赖补集改变集合语义。

实际使用时可以记住一句话：先用 EnumSet 明确枚举全集，再用 complementOf 得到“同类型中未选的值”，最后把权限、过滤和并发策略放在业务层处理。这样既避免手写差集，也不会把空集合和空引用混为一谈。