需要Java变量参数列表中的至少一个元素

Question

在此代码构造中：

public MyClass(Integer... numbers) {
    do_something_with(numbers[]);
}

是否可以要求numbers至少包含一个这样的条目，以便在编译时检查？（当然，在运行时，我只能检查numbers.length。）

显然，我可以这样做：

public MyClass(Integer number, Integer... more_numbers) {
    do_something_with(number, more_numbers[]);
}

但这不会很优雅。

我这样做的原因是要确保子类不会根本不忘记调用此构造函数，默认情况下，该构造函数将调用super()列表中没有数字的。在这种情况下，我想获得熟悉的错误消息：Implicit super constructor is undefined. Must explicitly invoke another constructor。

是否可以有另一种方法来实现相同的目标，例如将此构造函数标记为非隐式的@注释？

Answer 1

我想一种难以置信的怪异方法是创建一个无参数方法并将其标记为已弃用。然后使用以下两个标志进行编译：-Xlint:deprecation -Werror。这将导致任何不赞成使用的方法的使用都是编译时错误。

编辑（最初答案后很长时间）：

较不客气的解决方案是抛弃MyClass(Integer... numbers)构造函数并替换为MyClass(Integer[] numbers)（并添加私有的无参数构造函数）。它使编译器无法隐式使用超类构造函数，但没有任何参数，并为您提供了编译时错误消息。

./some_package/Child.java:7: error: constructor Parent in class Parent cannot be applied to given types;
    public Child(Integer[] args) {
                                 ^
  required: Integer[]
  found: no arguments
  reason: actual and formal argument lists differ in length

代价是您的调用语法将变得更加冗长：

new Child(new Integer[] {1, 2, 3});

当然，您可以编写一个辅助函数来帮助解决此问题。

public static Child newInstance(Integer... numbers) {
    return new Child(numbers);
}

@SafeVarargs
public static <T> T[] array(T... items) {
    return items;
}

然后：

Child c0 = Child.newInstance(1, 2, 3);
Child c1 = new Child(array(1, 2, 3));