3

Когда пытаюсь использовать в качестве аргумента метода String.valueOf(), возвращаемое значение из обобщенного метода <T> T testMet1(int a), то получаю ошибку:

Exception in thread "main" java.lang.ClassCastException: class java.lang.Integer cannot be cast to class [C (java.lang.Integer and [C are in module java.base of loader 'bootstrap') at test.main(test.java:4)`

Исходный код:

    class test {
       public static void main(String[] args) {
          test2 tstOb = new test2();
          String tstStr = String.valueOf(tstOb.testMet1(1));
       }
    }

    class test2 {
       @SuppressWarnings("unchecked")
       <T> T testMet1(int a) {
          Integer tstInt = 5;
          return (T) tstInt;
       }
    }

То что возвращает метод <T> T testMet1(int a) можно понять выполнив следующий код:

    class test {
       public static void main(String[] args) {
          test2 tstOb = new test2();
          Class tstCl = tstOb.testMet1(1).getClass();
          System.out.print(tstCl);
       }
    }

    class test2 {
       @SuppressWarnings("unchecked")
       <T> T testMet1(int a) {
          Integer tstInt = 5;
          return (T) tstInt;
       }
    }

Результат выполнения будет следующий:

class java.lang.Integer

Следовательно метод String.valueOf(tstOb.testMet1(1)) получает объект типа Integer в качестве аргумента и должен вести себя так, как если бы в него напрямую передали данный объект, но такого не происходит.

8
  • Тут проблема не в Integer и не в valueOf(), а в том, что класс T при таком использовании неизвестен. И любой каст к нему будет давать ошибку.
    – Byb
    4 июн в 7:36
  • Во время выполнения, T определяется как Integer, это можно увидеть по тому что в самом сообщении об ошибке указан класс Integer. Также если создать ссылочную переменную типа Class и присвоить ей значение tstOb.testMet1(1).getClass(), то хранить эта переменная будет данные о классе Integer. Также если прямо в методе выполнить ручную распаковку (int) tstOb.testMet1(1) то будет работать.
    – dmmm7
    4 июн в 7:47
  • Да, насчёт ошибки кастинга Integer и T - это я, кажется, не прав. Но тем не менее, в том месте, где мы этот метод вызываем, мы всё равно не знаем, что такое T - собственно, это вы и видите, когда передаёте результат в метод valueOf(). Вы правильно заметили, что можно самому привести к (int) и ошибок не будет. Тогда и в valueOf() тоже можно передавать, приводя к (int), и тогда ошибки тоже не возникнет.
    – Byb
    4 июн в 7:59
  • Про ручную распаковку я и имел ввиду, что ее можно произвести при передаче аргумента. Но вопрос в том, почему автораспаковка не выполняется. На этапе компиляции, конечно мы не знаем что такое T, но факт в том что на этапе выполнения это известно. Также если поменять параметр в обобщенном методе <T> T testMet1(int a) на <T> T testMet1(T a), то тоже все будет работать. Хотя и в этом случае очевидно что на этапе компиляции T неизвестен.
    – dmmm7
    4 июн в 8:05
  • 1
    Если верить ошибке и переходу по колёсику мышки в Intellij Idea в метод valueOf(), то он вообще пытается привести результат к массиву символов char[], выдавая в итоге ошибку.
    – Byb
    4 июн в 8:09

2 ответа 2

3

Обобщённый метод всегда возвращает объект и никогда примитив. Из всех перегрузок String.valueOf только две работают с объектами:

public static String valueOf(Object obj)
public static String valueOf(char[] data)

Компилятор должен выбрать из них один. По правилам он выбирает наиболее конкретный тип - это char[]. Вы получаете ошибку приведения Integer к char[].

Поправить можно указав нужный тип (Object) явно:

String.valueOf((Object)tstOb.testMet1(1))

P.S. Автораспаковка работает когда известен конкретный целевой тип. В случае String.valueOf конкретный целевой тип не известен (много перегрузок) - автораспаковки не будет.

10
  • 1
    Добавил фразу про автораспаковку. Она не работает, так как в вызывающем коде нет явного упоминания int. 4 июн в 8:16
  • 1
    Вызов valueOf(Integer i) отображается в valueOf(Object o), который вызывает o.toString() (объект сам знает как сделать из себя строку). Ошибки не будет. 4 июн в 8:32
  • 3
    Вы путаете динамическое и статическое связывание. Ваш пример - это статическое определение нужного метода в процессе компиляции. Ваш комментарий - динамическое связывание, или полиморфизм
    – Serodv
    4 июн в 8:59
  • 2
    То есть компилятор на этапе компиляции статически выбирает вариацию public static String valueOf(char[] data) из-за того что нету явного указания на целевой тип, а потом по факту пытается в этот метод засунуть Integer ?
    – dmmm7
    4 июн в 9:06
  • 4
    да. компилятор трактует этот так - есть некий метод testMet1, который возвращает что-то, что является наследником класса Object. и есть 2 метода, которые работают с типом/подтипом класса Object. выбор методов идёт от наследника к предку, ну собственно char[] и подходит по всем параметрам, так так подкапотно является наследником Object.
    – Serodv
    4 июн в 9:11
1

В данном случае обобщённый тип <T> используется для метода экземпляра класса test2, но сам этот тип остаётся неизвестным для компилятора.

Можно либо указать, что класс test2 является обобщённым и создать сырой экземпляр, как в начальном коде:

class test2<T> {
    // ...
}


test2 tstOb = new test2();
String tstStr = String.valueOf(tstOb.testMet1(1));

Также можно указать любой тип (кроме char[]) при вызове метода в необобщённом классе:

String tstStr = String.valueOf(tstOb.<Integer>testMet1(1));

// ...
class test2 {
    @SuppressWarnings("unchecked")
    <T> T testMet1(int a) {
        Integer tstInt = 5;
        return (T) tstInt;
    }
}

По сути этот тип требуется только для компилятора, а кастинг как таковой выполняться не будет, и будет вызван общий метод String.valueOf(Object o), а не для массива char[].

3
  • Способы как можно исправить ситуацию я знаю. Мне интересна причина того почему код ведет себя подобным образом.
    – dmmm7
    4 июн в 8:57
  • 1
    "... можно указать любой тип" - кажется, это не совсем верно, так как если в качестве типа передать char[], то вернёмся к той же ошибке. Подойдёт любой тип, кроме этого.
    – Byb
    4 июн в 15:52
  • Да @Byb, верно, исправил. 4 июн в 16:03

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.