寻求Java中范畴论终端对象（1）的规范非空实现方案

很高兴你从范畴论的角度梳理Java的类型系统！你说得非常准确：Void类型确实是**初始对象（0）**的绝佳对应——因为它没有任何合法实例，从Void到任意对象的“态射”只能通过返回null来模拟（这显然不符合你无null的要求）。

要实现真正的终端对象（1）（即仅能取单一值、且无null的对象），我们可以参考函数式语言（比如Scala、Haskell）里的Unit类型，在Java中自定义一个不可实例化的单例类：

public final class Unit {
    // 全局唯一的实例
    public static final Unit INSTANCE = new Unit();

    // 私有构造函数，彻底禁止外部创建新实例
    private Unit() {}

    // 可选：重写toString让输出更直观
    @Override
    public String toString() {
        return "Unit";
    }

    // 确保相等性符合单例特性
    @Override
    public boolean equals(Object o) {
        // 只有同一个实例才相等
        return this == o;
    }

    @Override
    public int hashCode() {
        // 使用对象的标识哈希值，保证唯一性
        return System.identityHashCode(this);
    }
}

为什么这是符合范畴论的终端对象？ #

根据范畴论定义，终端对象需要满足：对于范畴中的任意对象A，都恰好存在一个从A到终端对象的态射。在Java的语境下：

• 任意类型（对象A）都可以定义一个方法，返回Unit.INSTANCE——这就是唯一的合法态射
• 由于Unit的构造函数是私有的，你无法创建任何其他Unit实例，所以所有指向它的“映射”都只能指向同一个值，完全符合终端对象“单一值”的核心特性

和Void的核心区别 #

• Void：没有实例，只能通过null模拟返回，对应初始对象（从Void到任意对象恰好一个态射，即返回null）
• Unit：有且仅有一个实例，任意类型都能映射到它，对应终端对象（从任意对象到Unit恰好一个态射，即返回Unit.INSTANCE）

无Null的使用场景 #

这个Unit类型可以完美替代需要返回“无意义结果但不想用null”的场景：

• 比如在函数式编程风格的代码中，用Supplier<Unit>替代Runnable，让类型系统更一致
• 当方法逻辑完成后不需要返回实际数据，但又需要一个合法的非null返回值时，返回Unit.INSTANCE

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