Одинаковый дженерик у класса и у переменной. Вложенные дженерики. Транзитивность дженериков

@teapotpro · Регистрация: 30.08.2017

Студворк — интернет-сервис помощи студентам

Всем привет.
В общем, я использую Retrifit2 и хочу написать нечто такое:
И похоже я слегка запутался с дженериками

Java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// метод в интерфейсе
public Single<Class1<MyType>> getSomthingFromServer(тут какие то аргументы);
 
// модели данных
class Class1<T>
{
    Type1<T> type1;
}
 
class Class2<T>
{
    T t;
}
 
class MyType { ... }

И итоге все хорошо, кроме того, что у меня не создается инстанс класса MyType внутри класса Class2, если так можно выразится )
То есть, он мне создает экземпляры : class1, class2, а myType == null // true
Я так понял, что он не может сделать new T(); // мои догадки

Собственно вопрос, правильно я понимаю, что между дженериками Class<T> и Type1<T> нет никакой связи, и <T> никак не пробрасывается внутрь классов, и что это разные дженерики. Или они одинаковые, но просто нельзя сделать new от типа T?
Или я окончательно запутался и лыжи уже не едут

Пожалуйста, объясните, где я ошибаюсь.

@lemegeton · 08.10.2019, 14:06

Сообщение от teapotpro

нельзя сделать new от типа T?

Нельзя. По спецификации.

@teapotpro · 08.10.2019, 19:32 **[ТС]**

В таком варианте тип T будет "пробрасываться внутрь", ну, это компилятор будет считать одним типом ?

Или до класса Class2 дело уже не дойдет ? До переменной, которая лежит внутри Class2

Java
1
2
3
4
5
6
7
8
9
10
11
class Class1<T>
{
    private Class2<T> class2;
}
 
class Class2<T>
{
    T t;
}
 
Class1<SomeType> class1 = new Class1<>();

@lemegeton · 08.10.2019, 19:39

Переменная class1.class2 для компилятора будет считаться Class2<SomeType>, если это то, что вы имеете в виду. А переменная class1.class2.t будет считиаться типа SomeType.

@teapotpro · 08.10.2019, 19:56 **[ТС]**

Сообщение от lemegeton

Переменная class1.class2 для компилятора будет считаться Class2<SomeType>, если это то, что вы имеете в виду. А переменная class1.class2.t будет считиаться типа SomeType.

Я попытался сделать так:

Java
1
2
Class1<SomeType> class1 = new Class1<SomeType>();
boolean result = class1.class2.t instanceof SomeType; // И получаю тут false

Объект класса Class2 создаю внутри конструктора Class1

ничего не могу понять, почему компилятор считает их разными типами

@vcrop · 08.10.2019, 21:18

Так поле t на какой инстанс ссылается? Или null?

@teapotpro · 09.10.2019, 09:27 **[ТС]**

Сообщение от vcrop

Так поле t на какой инстанс ссылается? Или null?

Да, я создал инстанс SomeType и привет его к типу T и все заработало.
Спасибо )

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@lemegeton 4903 / 2696 / 921 Регистрация: 29.11.2010 Сообщений: 5,783
	08.10.2019, 19:39
	Переменная class1.class2 для компилятора будет считаться Class2<SomeType>, если это то, что вы имеете в виду. А переменная class1.class2.t будет считиаться типа SomeType. 0

@vcrop 502 / 348 / 134 Регистрация: 14.06.2016 Сообщений: 669
	08.10.2019, 21:18
	Так поле t на какой инстанс ссылается? Или null? 0