Способ представления знаковых целых в C++

В стандарте языка указано, что для для представления целочисленных типов (integral types) допускается использовать один из трёх способов:

• 2's complement,
• 1's complement,
• signed magnitude.

В связи с чем возникает несколько вопросов:

1. В настоящее время где-нибудь вообще используется представление целых чисел, отличное от 2's complement?

2. Допускает ли стандарт, чтобы в рамках одной и той же реализации использовались различные представления для целочисленных типов? Например, чтобы char был 2's complement, а int был 1's complement?

3. Как различные представления целых согласуются с битовыми операциями? Например, пусть есть такой код:

   unsigned char a = 1;    
   a = ~a;

И пусть в некоторой реализации используется восьмибитный char и шестнадцатибитный int, и для представления целых знаковых чисел применяется 1's complement, т.е. отрицательные значения мы храним в обратном коде. У меня сложилось впечатление, что для вычисления значения переменной a могут быть проделаны следующие преобразования:

1. Переменная a подвергнется целочисленному расширению до int, ибо операнд битового отрицания, согласно стандарту, может быть расширен. Т.е. набор битов 00000001 преобразуется в 00000000 00000001.
2. Произойдёт инвертирование битов, т.е. расширенное значение примет вид 11111111 11111110.
3. Данная последовательность бит будет интерпретироваться как знаковое целое, ибо, согласно стандарту, результат битового отрицания имеет тип расширенного операнда. Данная последовательность бит в обратном коде означает целое число -1.
4. Целое число -1 будет приведено к беззнаковому целому unsigned char по модулю 256. Т.е. переменная a примет значение 255, которое кодируется следующей последовательностью бит: 11111111. Что несколько странно, ибо используя битовое отрицание к последовательности бит 00000001, я ожидаю получить 11111110, а не 11111111.

Допускается ли стандартом такая работа битового отрицания, или приведённый выше пример в корне не верен?