Задачка с башорга

[romy4]

Написано, перевожу, неопределенное поведение ранжируется от игнорирования ситуации до програмного выполнения _задокументированного_ для среды (а соответственно для данной ситуации). Значит, если и есть генеринг кода полета на луну, то он должен быть задокументирован для данной ситуации. т.е. ничего неопределенного для _компилятора_, а соответственно для программиста быть не должно.

 

[AnToXa]

romy4
не знаю что ты читал(тем более что привел нечто на русском языке), но вот полный __английский__ текст (болд - мой):

1.3.12 undefined behavior [defns.undefined]
behavior, such as might arise upon use of an erroneous program construct or erroneous data, for which this
International Standard imposes no requirements. Undefined behavior may also be expected when this
International Standard omits the description of any explicit definition of behavior. [Note: permissible undefined
behavior ranges from ignoring the situation completely with unpredictable results, to behaving during
translation or program execution in a documented manner characteristic of the environment (with or without
the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a
diagnostic message). Many erroneous program constructs do not engender undefined behavior; they are required to be diagnosed. ]

т.е. unpredictable results (т.е. непредсказуемые последствия вполне возможны), а то что они могут быть документированы и не так страшны как форматирование hdd - это приятный бонус, слава богу, что так чаще всего и бывает.

-~{}~ 15.05.07 17:12:

то он должен быть задокументирован для данной ситуации.

даже если это дело и было бы документировано в каждой ситуации, то это никак не помогает писать портабельные программы, мы же об этом говорим? понятно, что, зная особенности конкретной реализации, можно все грабли обойти, например автоматически восстанавливать содержимое винта из бэкапа после каждой компиляции

 

[StUV]

хм, мне казалось, что тут народ знания новые приобретает, разве нет?

имхо, знания уже никто не приобретает
ты суть вопроса знаешь/понимаешь, а остальные не хотят признать неправоту

дискуссия как таковая закончилась, а в споре истина не рождается =)

 

[AnToXa]

StUV
пожалуй и правда пора прекращать вот человек со стороны пришел и в корень зрит, молодец

 

[romy4]

AnToXa
именно ваш документ и читал. только перевод вольный, а не переводчиком.

to behaving during
translation or program execution in a documented manner characteristic of the environment

ключевое словосочетание _in a documented manner _. т.е. если хотим чтобы форматился винт, как описано в доке, то пишем ++и + ++и

 

[AnToXa]

romy4
осталось прочитать целиком абзац и вы все увидите, я выше цитировал и выделил самые "ужас ужас" моменты.

 

[romy4]

AnToXa
я прекрасно вижу выделеное, но вы выделили не всё

 

[ys]

Черт, пытался сегодня скачать ansi_c.pdf - фигвам, то: "слишком много соединений", то качается байт в минуту.
Одно хорошо - народ начал изучать стандарты.

 

[leadaxe]

простите, если чуть откачу тему назад:

<?
$i=5;
$i= $i++ + $i++; 
echo $i;
?>

ответ 11, как получается по шагам пожалуйста.

 

[StUV]

leadaxe
почитай про "в чем разница между ++$i и $i++"