Java：类型别名支持注释处理工具（APT）？

Question

我从未使用过类型别名，但这个概念似乎是一个非常有用的功能，可以在相同类型的对象上添加语义并防止常见的拼写错误。

假设有void foo(float volume, float weight)。可以这样调用：foo(v, m)，但foo(m, v) 不是一个明显的错字。 void process(Iterable<File> javaPath, Iterable<File> classPath) 可以是另一个用例。不幸的是，Java 中没有类型别名，一些变通方法确实是矫枉过正：

• 将单个字段聚合到一个类中（将原语装箱到对象中；对象中的对象具有额外的引用；更复杂的序列化/反序列化规则）
• 从另一个类扩展一个类（如how do i create some variable type alias in Java - 基元不可能；类可能是最终类或具有不可访问的构造函数）。

所以它们都有缺点和运行时/性能成本。

据我所知，在 Java 中，基于运行时的“类型别名”可能会替换为编译时检查，例如处理 @NotNull 和 @Nullable。是否有任何静态类型别名检查器/APT 工具支持 void foo(@Volume float volume, @Weight float weight) 之类的结构，以便检查器可以在编译时验证这种“类型安全”，并要求对传递的变量/常量和文字进行注释（在声明和调用站点分别）？

---

之所以提出这个问题，是因为我目前正在开发一个可以使用多个后端的 Java 源代码处理工具（目前，仅限 JDT）。只要我希望它与 JDT 无关，我就希望拥有类型、方法和字段的业务对象。尽管如此，我丢失了很多来自 JDT AST 的信息，我的工具目前最好的方法是使用字符串（它允许执行一些足以满足工具范围的分析）。但是像void process(String type, String field, String method) 这样的方法令人困惑，所以我创建了Type、Field 和Method，它们代表域对象并且与JDT 无关。它们很好，但我不希望它们在未来得到扩展（所有这三种类型都有单个 private final String name; 字段 + 我必须覆盖 hashCode/equals 和 toString）。这让我想到了再次对 APT 进行类型检查的想法。只要可以处理原始数据，有void process(@Type String type, @Field String field, @Method String method)之类的就足够了（我仍然可以使用单个对象）。

Answer 1

如果您的问题是当您调用 foo(v,m) 时看起来模棱两可，人们可能会误写为 foo(m,v) 而没有任何警告或明显的错误线索，您可以使用类似 fluent-builder 的模式：

（代码未测试，只是写来演示这个想法）

public class MyClass {
    public class FooStub {
        int volume;
        int weight;
        public FooStub withVolume(int v) {
            this.volume = v;
            return this;
        }
        public FooStub withWeight(int w) {
            this.weight = w;
            return this;
        }
        public int run() {   // or call it getResult() or whatever you want
            Assert.notNull(volume);
            Assert.notNull(weight);
            return foo(volume,weight);  // calling method of outer class
        }
    }

    public int foo(int volume, int weight) {   // you even hide this if you want
        return volume * weight;
    }
    public FooStub foo() {
        return new FooStub();
    }

}

通过这样做，调用者可以这样做

MyClass myObj = ....;
int result = myObj.foo().withVolume(a).withWeight(b).run();
// which is the same as result = myObject.foo(a,b);