JavaRush/Помощь по Java задачам/Типы объектов определяются во-время выполнения?

16 уровень

03.12.2019
745просмотров
26комментариев

Типы объектов определяются во-время выполнения?

Решен

Типы объектов определяются во-время выполнения? Почему тогда нельзя скомпилировать так? (Тип объекта ведь ещё неизвестен, вроде как).

class Solution {
	public static void main(String[] args) {
		String object = new Solution(); //	ошибка компиляции (несоответствие типов)
	}
}

Комментарии (26)

популярные
новые
старые

Для того, чтобы оставить комментарий Вы должны авторизоваться

IceBerg

Уровень 41

Master

3 декабря 2019, 17:58

"Тип объекта ведь ещё неизвестен" - очень даже известен, компилятор отлично видит new Solution(), и понимает, что второго не дано. Неизвестен он будет например в такой ситуации, которая скомпилируется

public class Solution {
    public static void main(String[] args) {
        String object = (String) getObjectType(1);
    }

    public static Object getObjectType(int i) {
        if (i == 0)
            return new String();
        else
            return new Solution();
    }
}

dell

Уровень 16

3 декабря 2019, 18:10

А здесь он почему не может увидеть тоже само? То что это именно Sulution объект и то, что там есть метод.

interface Inter{
}

class Sulution implements Inter {
	void m1() {
	}

	public static void main(String[] args) {
		Inter object = new Sulution();
		object.m1(); // ошибка компиляции
	}
}

IceBerg

Уровень 41

Master

3 декабря 2019, 18:14

Ответ весьма очевиден - object это переменная типа Inter, компиляционная (если можно так сказать) информация об объекте уже утеряна, можешь вызвать разве что так

new Sulution().m1();

dell

Уровень 16

3 декабря 2019, 18:20

Если ошибка компиляции – значить уже в процессе компиляции он не может на строчку выше посмотреть (компиляционная информация утеряна). Она теряется после каждой команды? Зачем? Путь бы смотрел что на строчку выше написано.

IceBerg

Уровень 41

Master

3 декабря 2019, 18:21

При чём тут построчно? new Sulution() - тип ссылки Sulution object - тип ссылки Inter "Путь бы смотрел что на строчку выше написано." - может пусть ещё всю логику выполнит на этапе компиляции?)) Зачем ему смотреть выше, ты же сам указал расширить тип от Sulution до Inter? Нужен функционал объекта Sulution, создавай так

Solution object = new Sulution();

dell

Уровень 16

3 декабря 2019, 18:44

"Ответ весьма очевиден - object это переменная типа Inter, компиляционная (если можно так сказать) информация об объекте уже утеряна, можешь вызвать разве что так" Я бы сказал, что object – это переменная, в которой ссылка типа Inter. Компилятор всегда видит тип ссылки, а не объекта – которого ещё даже не существует. Если бы видел тип объекта – были бы все методы доступны, а не только интерфейса.

IceBerg

Уровень 41

Master

3 декабря 2019, 18:58

Ну да, потому и не скомпилируется.

Justinian Judge в Mega City One

Master

3 декабря 2019, 16:47

Ты сам придумываешь правила языка и спрашиваешь почему в джаве их нету? Откуда ты взял это утверждение?

dell

Уровень 16

3 декабря 2019, 16:47

из лекций, надо найти для тебя

Justinian Judge в Mega City One

Master

3 декабря 2019, 16:48

найди, будем читать вместе

dell

Уровень 16

3 декабря 2019, 16:59

1. "В Java у каждого объекта и у каждой переменной есть свой жёстко заданный неизменяемый тип. Тип переменной определяется ещё в процессе компиляции программы, тип объекта – при его создании." – здесь не написано про выполнение, но противопоставляется. 2. "А как вы себе представляете обращение к объекту во время компиляции, когда этого объекта даже не существует?" – здесь говорит человек внушающий доверие, чей ответ помечен как решение. Мой вывод из его предложения: если объект не существует во время компиляции – значит создаётся при выполнении. А в лекциях сказано что тип определяется когда создаётся объект.

Justinian Judge в Mega City One

Master

3 декабря 2019, 17:34

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

Тип переменной определяется ещё в процессе компиляции программы

Вот тебе и ошибка компиляции. У тебя тип переменной String, а объект ты какой присваиваешь? Solution. Который не является подтипом. Джава строготипизированный язык, какого там типа объекты рантайм это другое. Но на этапе компиляции, мы не можем в переменную одного типа присваивать переменную другого типа (который не является подтипом). Мы не можем String v = new Cat(); написать, и дело еще не в создании объекта, а в том, что это разные типы с точки зрения объявления переменной и того объекта, чертежа объекта, который декларируется, пусть он будет реально создастся позже. Это и есть строгая типизация, когда еще ничего нет (объектов) но явно понятно, что что-то не то.

dell

Уровень 16

3 декабря 2019, 18:48

В том то и дело, что на основе именно чертежа (класса, который уж есть), определяется тип ссылки. А сам объект и его реальный, неизменяемый тип – действительно определяются при выполнении. Если тип объекта был бы известен, то можно было бы по переменной интерфейса вызывать не только методы этого интерфейса – докозательство.

dell

Уровень 16

3 декабря 2019, 18:57

То есть ответ на мой вопрос: нельзя скомпилировать, потому что по классу уже определён тип ссылки (как литерала) – и он не подходит. Тип ссылки и объекта – разные вещи.

Wladyslaw Java Developer

Master

3 декабря 2019, 16:46

Так а почему в рантайме если джава - язык со статистикой типизацией. Вот

dell

Уровень 16

3 декабря 2019, 16:47

ой да читал я, видел же что не разобрался, сложно ответить?

Wladyslaw Java Developer

Master

3 декабря 2019, 16:59

Ладно ладно, не кипятись. Отвечаю - в джаве типы проверяются во время компиляции. В твоём примере ему уже все известно. Тип ссылочной переменной - строка, а ты туда какой-то Solution пытаешься впихнуть. Вот тебе компилятор и ругается

dell

Уровень 16

3 декабря 2019, 17:10

хорошо. Почему того компилятору до выполнения не известно, к какой именно версии переопределённого метода произойдёт обращение? (Доказательство в картинке).

Если тип объект уже известен при компиляции – понятно же что к версии этого типа.

Wladyslaw Java Developer

Master

3 декабря 2019, 17:13

А это тебе уже про раннее и позднее связывание читать нужно Да хоть вот тут Или тут И вот тут неплохо, вроде как Хотя тут не совсем. Тут дело в том что у тебя ссылочная переменная типа Solution0 - ее метод кидает исключение. А во втором случае изменился тип ссылочной переменной. Именно ссылочная переменная определяет апи к объекту. Но, про связывание тоже почитать можешь.😉

dell

Уровень 16

3 декабря 2019, 17:21

А зачем по ссылочной переменной определять – если неправильно определяет?

dell

Уровень 16

3 декабря 2019, 17:24

Мог бы определить: instance-метод вызывается или остальной член. (Это возможно?). Если первое – то через тип ссылки, если второе – тип переменной.

Wladyslaw Java Developer

Master

3 декабря 2019, 17:29

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

dell

Уровень 16

3 декабря 2019, 17:37

Почему любого? Раньше я думал, что тип объекта при компиляции не известен, но известен тип переменной. Значит список доступных методов можно сформировать по типу переменной (в списке окажутся только методы интерфейса). Но если оказывается ему и тип объекты известен – почему компилятор так же не может по этому типу сформировать список реально доступных методов (если они реально доступны - то ошибки не будет). По типу переменной может, а по типу объекта в чём проблема?

Wladyslaw Java Developer

Master

3 декабря 2019, 17:48

Потому что там может быть подтип, у которого свой набор методов. А чтобы проверить что там по ссылке - объект самого типа или его подтипа - нужен рантайм. Вроде как-то так.

Pavel Kurashov

Уровень 17

Expert

3 декабря 2019, 16:41

Потому что Solution не является под-классом String, через расширение или сужение типа нельзя получить одно из другого. Но вот так можно сделать: Object string = new Solution();

dell

Уровень 16

3 декабря 2019, 16:41

спасибо кэп, ты понял о чём вопрос?