Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Java [игнор отключен] [закрыт для гостей] / Как компилятор определяет недостижимый код? / 12 сообщений из 12, страница 1 из 1
11.02.2014, 15:44
    #38557295
redwhite90
redwhite90
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
В некоторых случаях компилятор может определить, что код недостижим, а в некоторых - нет.
вопрос такой: когда он может это понять, а когда нет?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
11.02.2014, 15:53
    #38557311
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
Вот здесь
http://ru.wikipedia.org/wiki/Недостижимый_код
можно найти полезную ссылку
http://ru.wikipedia.org/wiki/CFG
которая, вроде, доходчиво объясняет.

На сколько я понимаю Java компилятор во время компиляции строит такой граф и по нему определяет недостижимый код.
Компилятор не может определить недостежимый код, если его "недостижимость" обусловлена какими-то факторами внешними к компилируемому методу класса. Определение такого подобного кода уже более трудоёмкая задача и напрямую с процессом компиляуци не связана.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
11.02.2014, 15:57
    #38557324
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
Особо интересующие могут почитать исходный код com\sun\tools\javac\comp\Flow.java
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
11.02.2014, 16:28
    #38557359
redwhite90
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:30
    #38557365
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
redwhite90какие-ниюудь простые случае подскажете ещё ?
Код: java
1.
2.
throw new RuntimeException();
System.out.println("unreachable");
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
11.02.2014, 16:33
    #38557369
redwhite90
redwhite90
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
Blazkowicz,

наверное throw в этом контексте аналогично return
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.02.2014, 10:54
    #38558163
redwhite90
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, 11:07
    #38558172
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
redwhite90,

Верно. Циклы компилятор вычислить не может, пока не развернет. Но с тем же успехом можно и while(true) замкнуть.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.02.2014, 11:15
    #38558180
redwhite90
redwhite90
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
Blazkowicz,

ещё и
Код: java
1.
2.
if(true){}
System.out.println("*");//тут нет недостижимого кода
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.02.2014, 11:23
    #38558186
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
redwhite90Blazkowicz,

ещё и
Код: java
1.
2.
if(true){}
System.out.println("*");//тут нет недостижимого кода


ОК. Я ошибся. Внешние факторы тут не причем. Валидация происходит исключительно по графу.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.02.2014, 12:56
    #38558360
redwhite90
redwhite90
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
Blazkowiczredwhite90Blazkowicz,

ещё и
Код: java
1.
2.
if(true){}
System.out.println("*");//тут нет недостижимого кода


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

да и я ошибся, но мы видимо друг друга поняли
Код: java
1.
2.
if(true){return;}
System.out.println("*");//тут нет недостижимого кода
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.02.2014, 18:15
    #38558903
maxkar
maxkar
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Как компилятор определяет недостижимый код?
redwhite90вопрос такой: когда он может это понять, а когда нет?
Все строго спецификации. JSL Chap. 14.21 Unreacheable Statements
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / Java [игнор отключен] [закрыт для гостей] / Как компилятор определяет недостижимый код? / 12 сообщений из 12, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 545ms
Закрыть
start [/forum/topic.php?fid=59&tablet=1&tid=2127652]:
 0ms
get settings:
 8ms
get forum list:
 15ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 206ms
get topic data:
 8ms
get forum data:
 2ms
get page messages:
 34ms
get tp. blocked users:
 1ms
others: 265ms
total:  545ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]