objective-c

[crazy-mike]

Очень экзотические случаи, по моему опыту. Только если что-то неоткомпилировалось.

совсем не экзотические - оно как бы компилируется , но после "оптимизационных процедур компилятора" вообще не остаётся ни одной исполняемой инструкции. Например , если значение локальной переменной после первого присваивания внутри процедуры вообще не изменяется до самого выхода из процедуры , то код для оператора присваивания ( mov ...) не генерируется вообще. Особенно если "память" для переменных заполняется "директивами" ( db и т.п. ).
Просто "семантика инструкции присваивания" ведь состоит в вызове процедуры копирования значения. В описанном случае "семантика инструкции присваивания" не соответствует генерируемому коду.

[реднек]

совсем не экзотические - оно как бы компилируется , но после "оптимизационных процедур компилятора" вообще не остаётся ни одной исполняемой инструкции. Например , если значение локальной переменной после первого присваивания внутри процедуры вообще не изменяется до самого выхода из процедуры , то код для оператора присваивания ( mov ...) не генерируется вообще. Особенно если "память" для переменных заполняется "директивами" ( db и т.п. ).
Просто "семантика инструкции присваивания" ведь состоит в вызове процедуры копирования значения. В описанном случае "семантика инструкции присваивания" не соответствует генерируемому коду.

Все правильно, функция имеет возвращаемое значение и side-effects. Если оптимизация не влияет не на то не на другое, то почему бы ее не применить. Семантика функции не изменится с точки зрения языка.

[crazy-mike]

Все правильно, функция имеет возвращаемое значение и side-effects. Если оптимизация не влияет не на то не на другое, то почему бы ее не применить. Семантика функции не изменится с точки зрения языка.

Ага. Не изменится. Вот только "выполнение с точки зрения статического языка" в таких случаях совсем не соответствует "выполнению кода". Вообще никак. И break на инструкции присваивания , для которой вообще не генерировался "исполняемый код" , является чем-то "совсем странным" (т.е. желательно генерировать хотя бы команду nop ). У "динамических языков" такого "глюка" практически не бывает.

[реднек]

Ага. Не изменится. Вот только "выполнение с точки зрения статического языка" в таких случаях совсем не соответствует "выполнению кода". Вообще никак. И break на инструкции присваивания , для которой вообще не генерировался "исполняемый код" , является чем-то "совсем странным" (т.е. желательно генерировать хотя бы команду nop ). У "динамических языков" такого "глюка" практически не бывает.

А где ты видил чтобы отлаживали соптимизированый код?

[Alex_3112]

совсем не экзотические - оно как бы компилируется , но после "оптимизационных процедур компилятора" вообще не остаётся ни одной исполняемой инструкции. Например , если значение локальной переменной после первого присваивания внутри процедуры вообще не изменяется до самого выхода из процедуры , то код для оператора присваивания ( mov ...) не генерируется вообще. Особенно если "память" для переменных заполняется "директивами" ( db и т.п. ).
Просто "семантика инструкции присваивания" ведь состоит в вызове процедуры копирования значения. В описанном случае "семантика инструкции присваивания" не соответствует генерируемому коду.

Нет, я не спорю, что такие случаи бывают, просто в Java мне с этим очень и очень редко приходится сталкиваться.

[Alex_3112]

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

Эх, хорошо. когда все вот так вот, четко и аккуратно! Но я пытаюсь только сказать, что в динамическом языке возможности развести путаницу очень широкие.

И еще веселее, когда javascript, в котором происходит ошибка, minified (а у нас в продакшне именно так). "Ошибка в строке 1" - а весь файл состоит из одной строки

[crazy-mike]

А где ты видил чтобы отлаживали соптимизированый код?

Нигде. Но мы когда-то тестировали по договору оптимизирующий компилятор с языка C для какого-то идиотского микропроцессора.
Там тесты нужно было именно через оптимизирующий компилятор пропускать.

[crazy-mike]

Нет, я не спорю, что такие случаи бывают, просто в Java мне с этим очень и очень редко приходится сталкиваться.

Но называть Java - "статический язык со строгой типизацией"?????? Там ведь это больше от "стиля программирования" зависит.

[реднек]

Эх, хорошо. когда все вот так вот, четко и аккуратно! Но я пытаюсь только сказать, что в динамическом языке возможности развести путаницу очень широкие.

И еще веселее, когда javascript, в котором происходит ошибка, minified (а у нас в продакшне именно так). "Ошибка в строке 1" - а весь файл состоит из одной строки

У всех в продакшене minified javascript, есть такая штука как source-mapping, чтобы можно было оттрайсить в оригинальном неминифицированом исходнике: http://www.thecssninja.com/demo/source_mapping/

[реднек]

Нигде. Но мы когда-то тестировали по договору оптимизирующий компилятор с языка C для какого-то идиотского микропроцессора.
Там тесты нужно было именно через оптимизирующий компилятор пропускать.

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