У неназванных бит-полей есть четко определенная семантика?

Question

Возможно ли, что следующий код гарантированно завершится нормально и успешно?

#include <assert.h> 

struct foo_s { 
    union { 
     struct { 
      unsigned a : 10; 
      unsigned : 6; 
     }; 
     struct { 
      unsigned : 10; 
      unsigned b : 6; 
     }; 
     struct { 
      unsigned : 10; 
      unsigned c : 6; 
     }; 
    }; 
}; 

int main() { 
    struct foo_s f; 
    f.a = 0; 
    f.b = 1; 
    assert(f.a == 0); 
    return 0; 
} 

При ответе на другой question, возможность была поднята, что присвоение именованного битового поля в структуре, которая также содержит безымянного битовое поле может вызвать произвольные данные, которые будут записаны в этих битов. С.11 § 6.7.2.1 ¶ 12 гласит:

Декларация битового поля, без описателя, но только двоеточие и ширина, указует безымянного битовое поле.

Мое прочтение этого состоит в том, что неназванное битовое поле является обычным битовым полем, с той лишь разницей, что значение в этих битах невозможно получить напрямую по имени. Реализована ли возможность экстраполяции с использованием логики «как есть» и назначения произвольных данных в этих битах?

Answer 1

Да, я думаю, что реализация может записывать произвольные биты в неназванное битовое поле. Я думаю, сноска 126 просто заявляет о своем намерении, почему были введены неназванные битовая ширины больше, чем 0:

Неназванного структура члена битового поля используется для заполнения в соответствовать внешне наложенным макетам.

Таким образом, в основном неназванные битовые поля имеют одинаковую семантику, например, биты заполнения. Вы просто не можете полагаться на их содержание.

Разрешение реализации в основном игнорирует неназванное битовое поле при записи в соседнее именованное битовое поле a значительно облегчает обработку этого поля a. Текущее значение неназванного поля не нужно читать, и запись может выполняться атомарно за один раз. Так же, как для битов дополнения, которые могут содержаться в структуре.