Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: hypenated "variable-arity"; fixed typo

The Java compiler type-checks the arguments to each variable-arity (varargs) method to ensure that the arguments are of the same type or object reference. However, the compile-time checking is ineffective when Object or generic parameter types are used [Bloch 2008]. (Note that it does not matter if there are initial parameters of specific types, the compiler will still not be able to check Object or generic variable-arity parameter types.) A requirement for providing strong compile-time type checking of variable-arity methods is to be as specific as possible when declaring the type of the method parameter.

...

This noncompliant code example declares a variable-arity method using Object. It accepts an arbitrary mix of parameters of any object type. Legitimate uses of such declarations are rare (but see below in the "Applicability" section).

...

This noncompliant code example declares a variable-arity method using a generic type parameter. It accepts a variable number of parameters that are all of the same object type. Again, legitimate uses of such declarations are rare.

...

Retrofitting old methods containing final array parameters with generically typed variable-arity parameters is not always a good idea. For example, given a method that does not accept an argument of a particular type, it could be possible to override the compile-time checking — through the use of generic variable-arity parameters — so that the method would compile cleanly rather than correctly, causing a compilerun-time error [Bloch 2008].

...

Injudicious use of variable-arity parameter types prevents strong compile-time type checking, creates ambiguity, and diminishes code readability.

Variable-arity signatures using Object and imprecise generic types are acceptable when the body of the method does not use casts or autoboxing and compiles without error. Consider the following example, which operates correctly for all object types and type-checks successfully.

...

In some circumstances, it is necessary to use a variable-arity parameter of type Object.  A good example of this is the method java.util.Formatter.format(String format, Object... args) which can format objects of any type.

...