Java 3 dots parameter (varargs) behavior when passed no arguments or null

后端 未结 1 1280
盖世英雄少女心
盖世英雄少女心 2021-02-01 12:39

I tried this and get weird behavior from JAVA, can someone explain this for me?

boolean testNull(String... string) {
    if(string == null) {
        return true         


        
相关标签:
1条回答
  • 2021-02-01 12:49

    The question is if I call testNull() directly with parameter null, I will get true back, but if call callTestNull() with null, which calls testNull(), it tells me the parameter is not null, but empty array.

    Yes. If you call it with an argument with a compile-time type of String, the compiler knows that can't be a String[], so it wraps it within a string array. So this:

    String x = null;
    testNull(x);
    

    is equivalent to:

    String x = null;
    testNull(new String[] { x });
    

    At this point, the (misleadingly-named) string parameter will have a non-null value - instead, it will refer to an array of size 1 whose sole element is a null reference.

    However, when you use the null literal directly in the method call, that's directly convertible to String[], so no wrapping is performed.

    From JLS section 15.12.4.2:

    If the method being invoked is a variable arity method m, it necessarily has n > 0 formal parameters. The final formal parameter of m necessarily has type T[] for some T, and m is necessarily being invoked with k ≥ 0 actual argument expressions.

    If m is being invoked with k ≠ n actual argument expressions, or, if m is being invoked with k = n actual argument expressions and the type of the k'th argument expression is not assignment compatible with T[], then the argument list (e1, ..., en-1, en, ..., ek) is evaluated as if it were written as (e1, ..., en-1, new |T[]| { en, ..., ek }), where |T[]| denotes the erasure (§4.6) of T[].

    (Emphasis mine.)

    The bit I've emphasized is why the wrapping only happens when the compile-time type of the argument is String, not the null type.

    0 讨论(0)
提交回复
热议问题