Является ли точная компоновка D структур определена?

Question

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

Answer 1

Это действительно незаконно для компилятора D, чтобы переупорядочить элементы структуры (хотя это может для классов). Важно, чтобы компилятор не перегруппировал элементы для структур, потому что предполагается, что структуры могут использоваться для низкоуровневых материалов, требующих определенных макетов памяти. Также необходимо, чтобы структуры должны были взаимодействовать с кодом C, поэтому они должны соответствовать тому, что вы получили бы в C (по крайней мере, когда используется extern(C)). Таким образом, структуры определенно не перегруппируют своих членов. Кроме того, вы можете указать выравнивание элементов через align attribute, чтобы вы могли полностью контролировать структуру структуры.

Теперь макет по умолчанию может отличаться в зависимости от архитектуры (например, 64-разрядные указатели занимают больше места, чем 32-разрядные указатели, что повлияет на то, как элементы структуры будут упакованы), но оно должно соответствовать тому, что вы получаете C на этой архитектуре.