Т
Мне только один смысл от этого приходит на ум
Size: a a a
2021 May 26
Т
Они могли упорядочить данные в структуре по размеру типа в порядке убывания
Т
Тогда структуру можно выровнять в памяти по границе самого большого типа и все данные лягут так, что они будут выровнены в соответствии со своими типами
2021 May 27
EP
там в одной и той же порядок не гарантируется
DP
Чота не верится. У них же раздельная компиляция и стабильные ABI в почете.
DP
Там говорят, что у каждого типа есть какая-то репрезентация. Дефолтная не обещает ничего конкретного, но она одна, фиксированная (the rust representation). Компилируя программу по частям/модулям, модули будут опираться на одну и ту же репрезентацию одного типа. Но что поля там могут идти не в том порядке, как в исходнике, это запросто. Ничего в этом плохого нету.
EP
ну да, один модуль собрал версией Х, другой Х+1, порядок поменялся, всё отвалилось
DP
Пересобрал и поехал дальше, делов-то. :)
DP
Зато может версия Х+1 вдвое быстрее за счет более эффективного расположения
DP
По-моему, в мире С++ и D давно норма, что весь проект надо собирать одной версией компилятора.
EP
по-моему у нас много дллок без кода, но которые работают до сих пор без пересборок
DP
Там поди extern C
DP
С подобной пометкой и растовые структуры приобретают гарантии и стабильность по расположению