В: Как биты внутри?

Question

Вопрос на самом деле прост (спросить), std::bitset<32> - это то же самое, что и uint32_t для памяти? Или это больше похоже на std::array<bool, 32>?

я обычно делаю что-то вроде:

uint32_t index : 20; 
uint32_t magic : 12; 

Так что же, как этот код?

std::bitset<20> index; 
std::bitset<12> magic; 

Answer 1

uint32_t index : 20; 
uint32_t magic : 12; 

Так что же, как этот код?

std::bitset<20> index; 
std::bitset<12> magic; 

Абсолютно не, и это очень важно, что вы понимаете разницу.

Во-первых, внутреннее представление std :: bitset <> не работает.

С учетом этого мы рассмотрим разницу между двумя фрагментами кода выше.

В C++ a bitfield не является дискретным объектом. Это имеет важные последствия для многопоточного кода.

Это связано с тем, что C++ 11 и более гарантирует, что незащищенный доступ из двух потоков к двум дискретным объектам безопасен, но доступ одного и того же неконстантного объекта к двум более новым потокам - это гонка данных, если она не защищена мьютексом ,

В приведенном выше bitset кода, было бы правильнее сказать:

thread1: index = 10;

thread2: auto x = magic;

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

В поле bitfield это не было бы безопасно. Обновление индекса - это гонка с чтением магии, и это неопределенное поведение.

Answer 2

Немного поля нужно на структуру

struct { 
    uint32_t index : 20; 
    uint32_t magic : 12; 
} 

так что это не то же самое, что

std::bitset<20> index; 
std::bitset<12> magic; 

"Multiple adjacent bit fields are usually packed together (although this behavior is implementation-defined): ".

У вас есть два std :: bitset, поэтому они не могут использовать одну и ту же память, поэтому это не одно и то же.