Operation may be undefined

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
std::shared_ptr<unsigned char> hmacSha1(getHMACSha1(counter, std::to_string(1)));
 
    uint32_t offset{static_cast<uint32_t>(hmacSha1.get()[19] & 0xf)};
 
    uint32_t truncatedHash = (hmacSha1.get()[offset++] & 0x7f) << 24 
                            | (hmacSha1.get()[offset++] & 0xff) << 16 
                            | (hmacSha1.get()[offset++] & 0xff) << 8 
                            | (hmacSha1.get()[offset++] & 0xff);

Откуда warning operation on ‘offset’ may be undefined ?

@TheCalligrapher · 19.01.2021, 01:59

Сообщение от eva2326

Логически вытекает из фразы:

Нет, не вытекает. Смешно даже спорить!

В реальной программе порядок выполнения операций может полностью отличаться от порядка выполнения операций на абстрактной машине. Поэтому ни о каком совпадении состояний реальной программы и программы абстрактной машины не может быть и речи никогда и нигде, ни в одной точке. Состояние реальной программы в общем случае никогда не совпадает с состоянием программы абстрактной машины.

Уже одного этого достаточно, чтобы понят бессмысленность алёниного "определения".

Добавлено через 38 секунд

Сообщение от eva2326

Это справделиво в отношении всей программы, а не только в отношении точек наблюдаемого поведения.

Это какой-то бред. (Но скорее всего унылый троллинг.)

@eva2326 · 19.01.2021, 02:35

Сообщение от TheCalligrapher

В реальной программе порядок выполнения операций может полностью отличаться от порядка выполнения операций на абстрактной машине.

Не нужно нести чушь.
Он может отличаться только в пределах точки следования.

В реальной программе A и B, разделенные точкой следования, могут исполняться только и только в определенной последовательности, которая полностью совпадает с состоянием абстрактной машины.

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

Сообщение от TheCalligrapher

Уже одного этого достаточно, чтобы понят бессмысленность алёниного "определения".

Алёнино определение совпадает со стандартным.
Вы так и не ответили:

Сообщение от eva2326

Может быть тогда, вы ещё и определение стандарта тоже считаете полнейшей чушью?
Или у вас двойные стандарты?

Сообщение от TheCalligrapher

Это какой-то бред. (Но скорее всего унылый троллинг.)

Бред - это утверждать, что якобы стандарт ничего не оставляет за кадром, а самому тупо отмахнуться от фразы, в отношении которой он никак не оговаривает, что подразумевает под A или B

Текст Алены - это логика.
Из того факта, что в точке следования все побочные эффекты кода, который уже выполнен, уже случились, а побочные эффекты для кода, который еще не был выполнен, еще не случились, прямо следует, что в этой точке состояние реальной программы соответствует состоянию абстрактной машины.

Иначе быть просто не может.
Попробуйте привести хотя бы один пример, который опровергнет данный тезис.
У вас ничего не получится, это физически невозможно.

@TheCalligrapher · 19.01.2021, 02:36

Сообщение от eva2326

Не нужно нести чушь.
Он может отличаться только в пределах точки следования.

В реальной программе A и B, разделенные точкой следования, могут исполняться только и только в определенной последовательности, которая полностью совпадает с состоянием абстрактной машины.

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

Лишь молча разведем руками. Дальнейшие комментарии излишни...

@eva2326 · 19.01.2021, 02:46

Сообщение от TheCalligrapher

Дальнейшие комментарии излишни...

Видимо, вы не поняли.
Мне уже не интересны ваши комментарии.
Я уже поняла, что вы просто несёте чушь с умным видом.
Но вот по сути ничего ответить не можете.

Поэтому, я предложила вам:

Сообщение от eva2326

Попробуйте привести хотя бы один пример, который опровергнет данный тезис.
У вас ничего не получится, это физически невозможно.

Это - риторическое предложение.

Сообщение от TheCalligrapher

Лишь молча разведем руками.

Вас там несколько? Или у вас там раздвоение личности?

@jugu · 19.01.2021, 10:14

Сообщение от TheCalligrapher

Эти понятия тем и отличаются от понятия "точки следования", что не подразумевают и не требуют наличия никакой "точки".

Хотя формально понятия "точка следования" в стандарте теперь нет, между частично упорядоченными вычислениями А и В всё равно остается некий логический разделитель. А уж как его называть - вопрос другой.

@TheCalligrapher · 22.01.2021, 11:44

Сообщение от jugu

Хотя формально понятия "точка следования" в стандарте теперь нет, между частично упорядоченными вычислениями А и В всё равно остается некий логический разделитель. А уж как его называть - вопрос другой.

Ответ на это замечание вы можете найти в стандарте С, который, как известно, тоже перешел на новую модель упорядочения, основанную на соотношении "упорядочено до" ("sequenced before"), но при это номинально сохранил понятие "точки следования". Классическая "точка следования", по определению стандарта С - это точка между подвыражениями A и B, для которых одновременно выполняется два соотношения:

1. Вычисление значения (value computation) A упорядочено до вычисления значения B.
2. Все побочные эффекты (side effects) A упорядочены до побочных эффектов B.

В этом и заключается одно из главных отличий новой модели упорядочения: упорядочение value computation и упорядочение side effects в новой новой модели делается отдельно и независимо друг от друга. Классическая же "точка следования" такой гибкости не предоставляет: она упорядочивает и то и другое одновременно.

Новые блоги и статьи Все статьи Все блоги /
Новая последнея моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Nekobox - outbounds[0].transport: unknown transport type: raw damix 01.10.2026 Фикс ошибки Правым кликом по серверу -> отладочная информация -> edit Заменить "net": "raw", на "net": "tcp", Нажать кнопку reload.	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .
Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .