Как компилятор определяет недостижимый код? / Java

ReSQL.ru

Мобильная версия Контакт Правила FAQ Помощь

Гость

Войти | Регистрация | Профиль | Очистить

Новые сообщения | Избранное

Форумы | Пользователи | Статистика | Мод. лог | Поиск

Цитировать

Написать

Автор*:

Ввести пароль для входа

Тема*:

Сообщение

Данное сообщение тематическое

Сообщение содержит картинки или видео 18+

Автор:

ВНИМАНИЕ! На данном подфоруме действуют строгие правила. Удостоверьтесь, что ваше сообщение соответствует им!

Форум или тема закрыты для гостей. Необходима авторизация!

Загрузить последнюю сохраненную версию

Вложение:

Вставить как галерею

Максимальный размер вложений: 4,0 МБ, аудио/видео: 8,0 МБ. Картинки большего размера ужимаются, если возможно.

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

Отправляя сообщение, я выражаю свое согласие с правилами форума и принимаю пользовательское соглашение.

Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр

Форумы / Java [игнор отключен] [закрыт для гостей] / Как компилятор определяет недостижимый код?

12 сообщений из 12, страница 1 из 1

Как компилятор определяет недостижимый код?

#38557295

redwhite90

Гость

В некоторых случаях компилятор может определить, что код недостижим, а в некоторых - нет.
вопрос такой: когда он может это понять, а когда нет?

...

Рейтинг:

0 / 0

11.02.2014, 15:44

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38557311

Blazkowicz

Участник

Сообщения: 25 080

Рейтинг: 0 / 0

Вот здесь
http://ru.wikipedia.org/wiki/Недостижимый_код
можно найти полезную ссылку
http://ru.wikipedia.org/wiki/CFG
которая, вроде, доходчиво объясняет.

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

...

Рейтинг:

0 / 0

11.02.2014, 15:53

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38557324

Blazkowicz

Участник

Сообщения: 25 080

Рейтинг: 0 / 0

Особо интересующие могут почитать исходный код com\sun\tools\javac\comp\Flow.java

...

Рейтинг:

0 / 0

11.02.2014, 15:57

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38557359

redwhite90

Гость

Blazkowicz,

я точно знаю, что если например

Код: java

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

if(...){
   ...
  return ;
}
else{
  ....
  return;
}

int a=1;//недостижим

Код: java

1.
2.

return;
int a=1;//недостижим

Код: java

1.
2.

catch(Exception e){...}
catch(IOException e{...}//этот блок catch недостижим

какие-ниюудь простые случае подскажете ещё ?

...

Рейтинг:

0 / 0

11.02.2014, 16:28

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38557365

Blazkowicz

Участник

Сообщения: 25 080

Рейтинг: 0 / 0

redwhite90какие-ниюудь простые случае подскажете ещё ?

Код: java

1.
2.

throw new RuntimeException();
System.out.println("unreachable");

...

Рейтинг:

0 / 0

11.02.2014, 16:30

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38557369

redwhite90

Гость

Blazkowicz,

наверное throw в этом контексте аналогично return

...

Рейтинг:

0 / 0

11.02.2014, 16:33

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558163

redwhite90

Гость

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

Код: java

1.
2.
3.
4.
5.
6.
7.

                label1:
		for(int i =0;i<10;i++){
			for(int j=0;j<20;j++){
				continue label1;
			}
			System.out.println("unreachable code");
		}

К слову недостижимость в данном случае не обусловлена какими-то внешними факторами, но компилятор ее не определяет.

...

Рейтинг:

0 / 0

12.02.2014, 10:54

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558172

Blazkowicz

Участник

Сообщения: 25 080

Рейтинг: 0 / 0

redwhite90,

Верно. Циклы компилятор вычислить не может, пока не развернет. Но с тем же успехом можно и while(true) замкнуть.

...

Рейтинг:

0 / 0

12.02.2014, 11:07

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558180

redwhite90

Гость

Blazkowicz,

ещё и

Код: java

1.
2.

if(true){}
System.out.println("*");//тут нет недостижимого кода

...

Рейтинг:

0 / 0

12.02.2014, 11:15

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558186

Blazkowicz

Участник

Сообщения: 25 080

Рейтинг: 0 / 0

redwhite90Blazkowicz,

ещё и

Код: java

1.
2.

if(true){}
System.out.println("*");//тут нет недостижимого кода

ОК. Я ошибся. Внешние факторы тут не причем. Валидация происходит исключительно по графу.

...

Рейтинг:

0 / 0

12.02.2014, 11:23

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558360

redwhite90

Гость

Blazkowiczredwhite90Blazkowicz,

ещё и

Код: java

1.
2.

if(true){}
System.out.println("*");//тут нет недостижимого кода

ОК. Я ошибся. Внешние факторы тут не причем. Валидация происходит исключительно по графу.

да и я ошибся, но мы видимо друг друга поняли

Код: java

1.
2.

if(true){return;}
System.out.println("*");//тут нет недостижимого кода

...

Рейтинг:

0 / 0

12.02.2014, 12:56

| Ответить | Цитировать | Написать

Как компилятор определяет недостижимый код?

#38558903

maxkar

Участник

Сообщения: 179

Рейтинг: 0 / 0

redwhite90вопрос такой: когда он может это понять, а когда нет?
Все строго спецификации. JSL Chap. 14.21 Unreacheable Statements

...

Рейтинг:

0 / 0

12.02.2014, 18:15

| Ответить | Цитировать | Написать

12 сообщений из 12, страница 1 из 1

Форумы / Java [игнор отключен] [закрыт для гостей] / Как компилятор определяет недостижимый код?

Читали тему (0):

Читали форум (0):

Пользователи онлайн (0):

start [/forum/topic.php?fid=59&msg=38557359&tid=2127652]:	0ms
get settings:	9ms
get forum list:	20ms
check forum access:	3ms
check topic access:	3ms
track hit:	62ms
get topic data:	13ms
get forum data:	3ms
get page messages:	68ms
get tp. blocked users:	2ms
others:	230ms

total:	413ms

	Необходимые cookie
	Cookie для сбора статистики
	Cookie для маркетинга и рекламы