Как выбирается перегруженный метод, когда параметром является буквальное нулевое значение?

Является ли null переменной String, не указывающей ни на что?

Пустую ссылку можно преобразовать в выражение любого типа класса. Так что в случае String это нормально:

String x = null;

Перегрузка String здесь выбрана потому, что компилятор Java выбирает наиболее конкретную перегрузку согласно раздел 15.12.2.5 JLS. Особенно:

Неформальная интуиция состоит в том, что один метод более специфичен, чем другой, если любой вызов, обработанный первым методом, может быть передан другому без ошибки типа времени компиляции.

Во втором случае оба метода по-прежнему применимы, но ни String, ни StringBuffer не являются более конкретными, чем другой, поэтому ни один метод не является более конкретным, чем другой, отсюда и ошибка компилятора.

Кроме того, JLS 3.10. 7 также объявляет, что «null» является буквальным значением «нулевого типа». Следовательно, существует тип под названием «null».

Позже JLS 4.1 заявляет, что существует нулевой тип, для которого невозможно объявить переменные, но вы можете использовать его только через нулевой литерал. Позже говорится:

Пустая ссылка всегда может быть преобразована в расширяющуюся ссылку в любой ссылочный тип.

Почему компилятор решил расширить его до String, можно объяснить в ответе Джона.

Вы можете присвоить string значению null, чтобы оно было действительным и порядок для java и большинства языков программирования соответствовал ближайшему типу, а затем объекту.

Чтобы ответить на вопрос в заголовке: null не является ни String, ни Object, но ссылка на любой из них может быть присвоена null.

Я действительно удивлен, что этот код даже компилируется. Раньше я пробовал нечто подобное, и у меня возникла ошибка компилятора, в которой говорилось, что вызов был неоднозначным.

Однако в этом случае кажется, что компилятор выбирает метод, который является самым низким в пищевой цепочке. Предполагается, что вам нужна наименее общая версия метода, которая поможет вам.

Мне нужно будет посмотреть, смогу ли я откопать пример, в котором я получил ошибку компилятора в этом (по-видимому) точно таком же сценарии, хотя ...]

РЕДАКТИРОВАТЬ: Понятно. В версии, которую я сделал, у меня было два перегруженных метода, принимающих String и Integer. В этом сценарии нет «наиболее конкретного» параметра (как в Object и String), поэтому он не может выбирать между ними, в отличие от вашего кода.

Очень классный вопрос!

Поскольку тип String более конкретен, чем тип объекта. Допустим, вы добавили еще один метод, который принимает целочисленный тип.

public void method(Integer i) {
      System.out.println("Integer Version");
   }

Тогда вы получите ошибку компилятора о том, что вызов неоднозначен. Теперь у нас есть два одинаково конкретных метода с одинаковым приоритетом.

Компилятор Java предоставляет наиболее производный тип класса для присвоения null.

Вот пример, чтобы понять это:

class A{

    public void methodA(){
        System.out.println("Hello methodA");
    }
}

class B extends A{
    public void methodB(){
        System.out.println("Hello methodB");
    }
}

class C{
    public void methodC(){
        System.out.println("Hello methodC");
    }
}

public class MyTest {

     public static void fun(B Obj){
         System.out.println("B Class.");
     }
     public static void fun(A Obj){
         System.out.println("A Class.");
     }

    public static void main(String[] args) {
        fun(null);
    }
}

вывод: класс B.

с другой стороны:

public class MyTest {

     public static void fun(C Obj){
         System.out.println("B Class.");
     }
     public static void fun(A Obj){
         System.out.println("A Class.");
     }

    public static void main(String[] args) {
        fun(null);
    }
}

Результат. Метод fun (C) неоднозначен для типа MyTest.

Надеюсь, это поможет лучше разобраться в этом случае.

Источник: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2.5
Концепция: Наиболее конкретный метод
Объяснение: Если для вызова метода доступно и применимо более одного метода-члена, необходимо выбрать один, чтобы предоставить дескриптор для диспетчеризации метода времени выполнения. В языке программирования Java используется правило, согласно которому выбирается наиболее конкретный метод. Попробуйте привести значение null к определенному типу, и нужный вам метод будет вызван автоматически.