如何在 Java 中通过类型系统区分“旧版”与“新版”数据列表以避免误用-java教程

通过为旧版和新版数据定义独立类（如 oldfoo 和 newfoo），利用 java 类型系统实现编译期隔离，可彻底杜绝将旧列表误传给仅接受新列表的方法。

在 Java 中，仅靠泛型 List 无法区分语义上不同的数据集合——例如“已迁移的新版 Foo”与“待升级的旧版 Foo”。即便二者字段完全相同，若业务逻辑要求严格分离（如 NewFooRunner.runFoos() 必须且只能接收新数据），则必须让类型系统“感知”这种差异。核心原则是：类型即契约，语义差异应映射为类型差异。

✅ 推荐方案：语义化类型建模（零运行时开销）

定义两个无继承关系的独立类，即使结构一致，也强制类型不兼容：

// 语义明确、互不兼容的类型
final class OldFoo {
    private final double someNum;
    public OldFoo(double someNum) { this.someNum = someNum; }
}

final class NewFoo {
    private final double someNum;
    public NewFoo(double someNum) { this.someNum = someNum; }
}

// 方法签名即文档：只接受 NewFoo
class NewFooRunner {
    public double runFoos(List foos) {
        return foos.stream()
                   .mapToDouble(f -> f.someNum)
                   .sum();
    }
}

此时以下代码将编译失败，精准拦截错误：