Побитовые операции переносимы?

Question

Предположим, мы имеем следующий код:

int j = -1 & 0xFF; 

Полученное значение в j может быть один из следующих на основе базового представления:

System   Value 
Two's complement 0xFF 
One's complement 0xFE 
Sign/Magnitude  0x01 

Но являются &, | и ^ операторов в C всегда определяется в терминах дополнения двух (таким образом, j всегда будет равно 0xFF), или они определяются в терминах базового представления системы?

Answer 1

Они определены в терминах представления фактического бита. Из C11 final draft:

результат двоичного & оператора является побитовое И из операндов (то есть, каждый бит в результате устанавливается, если и только если каждый из соответствующих битов в преобразованных операндов устанавливается).
...
Результатом оператора^является побитовое исключающее ИЛИ операндов (то есть каждый бит в результате устанавливается тогда и только тогда, когда задан только один из соответствующих битов в преобразованных операндах).
...
Результат | оператор является побитовым включением ИЛИ из операндов (то есть каждый бит в результате устанавливается тогда и только тогда, когда установлен хотя бы один из соответствующих битов в преобразованных операндах).