Перетяжка в структуре поплавков

Question

Рассмотрим этот код:

struct Foo { 
    float a, b; 
}; 

void bar(float array[2]) { 
    ... // read array[0] and array[1] 
} 

int main() { 
    Foo foo; 
    bar(&foo.a); 
} 

Является ли этот код безопасным? Скажем, bar доступ к foo.a и foo.b всегда? Мне кажется небезопасным, так как заполнение может происходить, но я не знаю, можем ли мы считать, что заполнение равно 0, так как a и b - float.

Answer 1

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

Если я не ошибаюсь, нет официальной гарантии того, что такой код будет работать, так что если вы хотите быть абсолютно безопасным и вам нужно такой код, то вы можете добавить static_assert:

static_assert(offsetof(Foo, b) - offsetof(Foo, a) == sizeof(float));