железа не являются таковыми в c++ из-за strict aliasing, чтобы облегчить анализ компиляторами?
Никак не связанные вещи
К примеру, во второй поток отдали ссылку на int. И чтобы не анализировать, когда он изменяется во втором потоке, и соответственно не считывать из памяти каждый раз заново
Ну и причем тут strict aliasing?
Два потока, два имени, одна переменная, разве не так?
Strict aliasing rule тут не нарушается
Оно про типы?
Обсуждают сегодня