Colon после объявления участника класса?

Question

Недавно я столкнулся с каким-то очень странным синтаксисом:

struct Test { 
    size_t a : 2; 
    size_t b : 3; 
    size_t c : 4; 
}; 

Как ни странно, это компилируется с GCC 4.9.2 со всеми флагами предупреждения включено.

void test_test() { 
    Test test; 
    std::cout << test.a << " " << test.b << " " << test.c << std::endl; 
} 

Заявляя тест не дает никаких ошибок и выходов 0 0 0 (я считаю, 0 просто совпадением, так как структура является Plain Old Data, ни один из его членов не являются по умолчанию инициализируется 0), изменяя заявление на определение через Test test(); дает ошибку

tester.cpp:14:20: error: request for member 'a' in 'test', which is of non-class 
type 'Test()' 

Включение C++ 11 удаляет сообщения об ошибках, но значения по-прежнему остаются загадочно 0. Что этот синтаксис достичь?

Answer 1

Этот синтаксис является битовым полем.

struct Test { 
    size_t a : 2; // Occupies two bits 
    size_t b : 3; // Occupies three bits 
    size_t c : 4; // Occupies four bits 
};