Нетривиальные задачи по программированию

а что если просто поделить одно на другое?правда со знаком надо что-то решить..это не шутка случаем ?

В случае с unsigned результат i - 10 будет UINT_MAX - 10.
В случае с unsigned short результат i - 10 равен UINT_MAX - 10 по C99 в случае, если не любой unsigned short влезет в int (sizeof(short)==sizeof(int); i приводится к unsigned согласно 6.3.1.1, затем 10 приводится к unsigned согласно 6.3.1.8), и -10 в противном случае (в любом случае по C90, а также по C99, если большой int).

про C99 - надо будет стандарт почитать и поэкспериментировать. Я только на "обычном" Си проверял. Однако могу сказать сразу: не "UINT_MAX - 10", а "UINT_MAX - 9". При этом в битовом представлении значение этой константы совпадает с битовым представлением константы (int)-10. Я в точности не смог понять объяснение, видимо ты торопился и проглатывал слова, но если оно базируется на том, что UINT_MAX-9 и (int)-10 - разные константы, то это не так

Ну да, имел в виду UINT_MAX - 9. А вариант с C99 хочется на практике проверить, но надо чем-то скомпилировать с поддержкой C99, но чтобы размер int был равен short. Я не очень представляю, чем так можно.

Проверил для C99 - утверждение "i приводится к unsigned" НЕ верно. В любом случае, даже если оно и было бы верно, то твои пояснения неправильные (о чём я в 84-м посте упомянул)

Разные результаты будут, например, в 64-битном режиме, когда sizoef(int)==4 - т.е. по сути дела в "нормальной" настроке под 64-битный режим. Первый вариант (unsigned) будет ломаться, второй (unsigned short) будет нормально проходить

Сообщение от Evg но если оно базируется на том, что UINT_MAX-9 и (int)-10 - разные константы, то это не так

А это не разные константы - вроде одна unsigned, другая int? Я думал, p[-10] - это однозначно *(p-10), а p[UINT_MAX-9] это undefined behavior из-за переполнения.

Сообщение от Evg Проверил для C99 - утверждение "i приводится к unsigned" НЕ верно

Тогда что я упустил?
По 6.3.1.8 the integer promotions are performed on both operands. При этом по 6.3.1.1
If an int can represent all values of the original type (что в данном случае не так), the value is converted to an int;
otherwise, it is converted to an unsigned int. These are called the integer
promotions.

Сообщение от Somebody А это не разные константы - вроде одна unsigned, другая int?

Мыслишь в верном направлении. Но не до конца.

Сообщение от Somebody Я думал, p[-10] - это однозначно *(p-10), а p[UINT_MAX-9] это undefined behavior из-за переполнения.

Тоже верно. Но скомпиляй это - и у тебя отработает одинаково. На всех "нормальных" архитектурах арифметика работает в двоичном дополнительном коде, а потому там, где по стандарту написано "неопределено", в реальной жизни у всех всё определено и вполне конкретно. Хотя с этой позиции у меня получается, что задача по сути имеет некорректный исходник, этот момент я как-то упустил

Сообщение от Somebody If an int can represent all values of the original type (что в данном случае не так), the value is converted to an int;

Всё, понял, что речь шла о случае, когда sizeof (int) == sizeof (short). В этом месте кастательно промоушена справедливо. Далее получаем твоё предыдущее утверждение, что в обоих случаях получаем разные константы (int)(-10) и (unsigned)(-10) и во втором случае формально непоределённая по стандарту ситуация. Этот ответ принимается. Но он больше теоретический, исходя из того, что в реальной жизни (unsigned)(-10) - это вполне определённое значением, и этим свойством все пользуются направо и налево.

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

(a+b+(a-b)*(((a-b)or 1)mod 2)) div 2

формула получается из обычной (a+b+abs(a-b))/2, если расписать abs(x) = x*((x or 1)mod 2), т.е. сначала делаем число нечетным, потом берем остаток от деления на 2, который будет равен 1, если число положительное и -1, если отрицательное

abs(x) = x*((x or 1)mod 2