170 похожих чатов

Вот неважно как с т.з. производительности, просто в целом как?

18 ответов

24 просмотра
Skarn- Автор вопроса

Тогда запрещаем писать на MSVC. В MSVC стрикт алиасинга нет.

Если мы все еще в контексте доступа по указателю вне обозримого лайфтайма (в условную память процесса) - почему? Кажется, достаточными условиями является отсутствие изменений поведения WF-программ (соблюдается) и сохранение диагностик IF (соблюдается).

Skarn- Автор вопроса

Можно почитать о мотивации почему в MSVC так было сделано — мотивация не ломать кодобазы, использующие тайп-паннинг и стрикт алиасинг, в том числе их собственную.

Skarn- Автор вопроса
Kelbon
согласен, не надо на msvc писать

Ну тут согласен, я еще баг с requires не простил.

Skarn
Можно почитать о мотивации почему в MSVC так было ...

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

Skarn- Автор вопроса
Konstantin Vladimirov
Ну да, но в следующей версии они могут про это заб...

Имеют. Но эта фича используется этот риск принимается в рассчет.

Skarn
Имеют. Но эта фича используется этот риск принимае...

Ну вот. Я собственно об этом. Вы решили написать некорректный код, задокументировали это и написали. Но это не означает что это хорошая практика, то так надо делать или что поэтому стандарт не имеет значения. Это означает что вы написали некорректный код и прокатило. Бывает.

Skarn- Автор вопроса
Konstantin Vladimirov
Ну вот. Я собственно об этом. Вы решили написать н...

А я нигде и не утверждал, что стандарт не имеет значения. Просто есть юз-кейсы, где от него приходится отходить.

Sergey Anisimov
Если мы все еще в контексте доступа по указателю в...

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

Skarn
А я нигде и не утверждал, что стандарт не имеет зн...

Вы от него отходите не потому что вам пришлось а потому что у вас оптимизатор плохой. Это не "пришлось", это вы так, извините "оптимизируете".

Konstantin Vladimirov
Доступ вне обозримого лайфтайма вопрос более сложн...

Увы, заключение я не понял. Вы утверждаете, что доопределение делает имплементацию неконформной, поскольку нарушается что-то из перечисленного или что перечисление не исчерпывающее?

Skarn- Автор вопроса
Konstantin Vladimirov
Вы от него отходите не потому что вам пришлось а п...

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

Skarn
Чего оптимизировать? Я привел выше два примера, ко...

Там были проблемы в API и в том, что вы хотите менять вещи закладываясь на конкретный ассемблер. И то и другое неправильно.

Skarn- Автор вопроса
Konstantin Vladimirov
Там были проблемы в API и в том, что вы хотите мен...

В каком апи? Я привел второй пример - пишем чит.

Sergey Anisimov
Увы, заключение я не понял. Вы утверждаете, что до...

Вы неправильно читаете этот пункт. Конформная реализация может добавлять расширения если [...] но она должна изначально быть конформной.

Konstantin Vladimirov
Вы неправильно читаете этот пункт. Конформная реал...

Я согласен с Вами здесь, но не понимаю, что ее делает неконформной с Вашей т.з. Определение UdB явно указывает, что Стандарт просто-напросто не регламентирует последствий, если ссылаетесь на него. Edit: Порядок закрепляется еще и здесь. Edit: Ну и as-if, да.

Sergey Anisimov
Я согласен с Вами здесь, но не понимаю, что ее дел...

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

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта