В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

4485 membersпожаловаться на группу
2021 March 15

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
С какого перепуга вообще рассматриваются  A{}.d и B{}.d  - это поля а не структуры (типы). В данном случае нам гарантируется, что если мы приведём A к B, то их поля d будут храниться в одном и том же месте.
Потому что свойство pointer-interconvertible относится к объектам (полям), а не к типам
источник
17:31пожаловаться#1

AD

Andrey Davydov in pro.cxx
Alexandr Rudalev
И компилятор верно сделал оптимизацию
Компилятор с -fno-strict-aliasing и без выдал разные результаты для test1() — 8 и 9.
источник
17:33пожаловаться#2

AR

Alexandr Rudalev in pro.cxx
Побитый Кирпич
Потому что свойство pointer-interconvertible относится к объектам (полям), а не к типам
Two objects a and b are pointer-interconvertible if... какие поля?
источник
17:33пожаловаться#3

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
Two objects a and b are pointer-interconvertible if... какие поля?
> Two objects a and b

Слово objects о чем нибудь говорит?
источник
17:33пожаловаться#4

ПК

Побитый Кирпич... in pro.cxx
objects != types
источник
17:34пожаловаться#5

AR

Alexandr Rudalev in pro.cxx
объект имеет конкретный тип. А то что A и B pointer-interconvertible по первому полю выше показано.
источник
17:38пожаловаться#6

AR

Alexandr Rudalev in pro.cxx
А то что компилятор сделал оптимизацию предполагая что in и out не пересекается, вполне очевидно.
источник
17:41пожаловаться#7

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
объект имеет конкретный тип. А то что A и B pointer-interconvertible по первому полю выше показано.
Объекты A a и a.d are pointer-interconvertible потому что второй объект является первым полем первого.

Объекты a.d и b.d не pointer-interconvertible потому что нет там правила для двух разных полей (если есть - процитируй).

=> Объекты A a и B b не pointer-interconvertible, потому что транзитивность не выполняется.
источник
17:42пожаловаться#8

AR

Alexandr Rudalev in pro.cxx
https://eel.is/c++draft/basic.compound#4.4
источник
17:43пожаловаться#9

SS

Sergey Skvortsov in pro.cxx
Alexandr Rudalev
https://eel.is/c++draft/basic.compound#4.4
Вы понимаете, что такое объект?
источник
17:43пожаловаться#10

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
https://eel.is/c++draft/basic.compound#4.4
Это ты привел транзитивность которая не выполняется
источник
17:44пожаловаться#11

AR

Alexandr Rudalev in pro.cxx
С какого перепуга? Объекты типов A и double  pointer-interconvertible?
источник
17:47пожаловаться#12

SS

Sergey Skvortsov in pro.cxx
Alexandr Rudalev
С какого перепуга? Объекты типов A и double  pointer-interconvertible?
Для произвольных объектов типов A и double нельзя сказать, являются ли они pointer-interconvertible
источник
17:48пожаловаться#13

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
С какого перепуга? Объекты типов A и double  pointer-interconvertible?
Не объекты типов A и double, а объекты A a и a.d. Конкретные два объекта
источник
17:48пожаловаться#14

AR

Alexandr Rudalev in pro.cxx
Почему?
источник
17:48пожаловаться#15

SS

Sergey Skvortsov in pro.cxx
n+1 раз за сегодня: это свойство конкретных объектов, а не их типов
источник
17:49пожаловаться#16

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
Почему?
по этому правилу https://eel.is/c++draft/basic.compound#4.3
источник
17:49пожаловаться#17

AR

Alexandr Rudalev in pro.cxx
А как тогда все используют ioctl? С кучей недоопределённых структур?
источник
17:51пожаловаться#18

ПК

Побитый Кирпич... in pro.cxx
Alexandr Rudalev
А как тогда все используют ioctl? С кучей недоопределённых структур?
А что там?
источник
17:52пожаловаться#19

AR

Alexandr Rudalev in pro.cxx
Sergey Skvortsov
n+1 раз за сегодня: это свойство конкретных объектов, а не их типов
Ну и? Эти объеты не имеют типов? И весь разговор не о приведении типов? Или не о расположении полей описанных в типах?
источник
17:53пожаловаться#20