Void 是 Java 泛型中表示“无返回值”的专用占位符，用于解决 void 不能作类型参数的限制，非基本类型包装类，不可实例化，唯一合法值为 null，专为类型安全与抽象统一设计。
Java 中设计 Void 并不是为了“包装基本类型”，它根本就不是传统意义上的包装类——它不对应任何基本类型，也不参与自动装箱/拆箱，更不能实例化。它的存在，是为了解决泛型系统中的一个结构性限制。
Void 是泛型里的“无返回值”占位符
Java 泛型不允许使用 void 关键字作为类型参数，比如 Future<void></void> 是非法语法。但很多场景需要表达“这个操作不返回有意义的值，但仍需被统一建模”——例如异步任务、回调函数、函数式接口等。
-
Future<Void>：表示一个异步计算完成但没有结果，future.get()只阻塞等待完成，返回null -
Callable<Void>：虽然不合常规（通常用Runnable），但在某些泛型工具链中可保持接口统一 -
CompletableFuture<Void>或自定义泛型容器：当业务逻辑抽象要求所有操作都返回某种T，而某分支确实无产出时，Void就是语义最干净的选项
它和包装类有本质区别
Void 不是 void 的包装类，就像 Integer 是 int 的包装类那样。它没有构造方法、不封装值、不提供解析或转换工具方法，甚至不能 new 出实例。它的唯一合法值只有 null，且其静态字段 Void.TYPE 仅用于反射中标识 void 方法的返回类型。
-
Integer：可创建对象、可比较、可转换、可为null或含具体数值 -
Void：不可 new、不可赋非null值、无业务数据承载能力，纯属类型系统补丁
为什么不用 null 或其他类型替代？
用 Object 或自定义空类（如 Nothing）看似可行，但会破坏语义明确性：
立即学习“Java免费学习笔记（深入）”；
-
Object太宽泛，失去“明确无返回”的契约提示 - 自定义类引入不必要依赖，且无法被 JDK 标准 API（如
ExecutorService.submit(Runnable)返回Future<Void>）原生支持 -
Void是 JDK 内置的、公认的、反射友好的“无类型”标记，编译器和运行时都理解它的特殊地位
简言之，Void 是 Java 类型系统在泛型约束下，对“无返回值”这一语义所做的最小、最严谨、最标准化的建模，不是为了功能扩展，而是为了类型安全与抽象统一。
