subtyping

0зной

1ответ

Java Collection :: toArray с подклассами

Есть ли способ использовать метод Collection::toArray(T[]), когда вы знаете только подтип коллекции? Возьмем такой пример: void initList(Collection<? extends AorB> data) { JList<? extends AorB> a

1зной

3ответ

Может ли метод с использованием супер взять подтип объекта и добавить его в список?

Таким образом, функция ниже должна быть функцией, которая принимает объект Car и добавляет его к объекту Col<>. void insertCar(List<? super Car> c, Car x) { c.add(x) } Вопрос спрашивает, может

1зной

1ответ

Подтипирование без наследования и наследования без подтипирования?

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

1зной

2ответ

Определение внешнего ключа в Postgres подмножеством целевой таблицы

Пример: у меня есть: Table A: int id int table_b_id Table B: int id text type Я хочу добавить проверку ограничения на колонке table_b_id, что будет проверять, что он указывает только на строки

16зной

5ответ

Почему forall a. a не считается подтипом Int, хотя я могу использовать выражение типа forall a. ожидается какой-нибудь один из типов Int?

Рассмотрим следующую пару определений функций, которые проходят проверки типов: a :: forall a. a a = undefined b :: Int b = a И.Э. выражение типа forall a. a может использоваться там, где ожидае

-1зной

1ответ

Отливка ограничена подстановочные к неограниченной подстановки в пределах общего типа ошибка (Х <У <? extends T>> к X <Y<?>>

Рассмотрим этот пример: private <T> void m(Class<? extends T> k, Set<Class<? extends T>> sk) { Class<?> ku = k; Set<Class<?>> sku = sk; // <-- Type mismatch: cannot convert from /

1зной

1ответ

Спецификации Java SE | S | symbol

Я читаю спецификацию Java для подтипирования и литья. Я знаю, что S <: T означает S - подтип T. Однако я не понимаю, что такое | S | <: | T | означает? К примеру, в этом контексте: Один аргумент типа