Есть ли машины, где sizeof (char)!= 1 или, по крайней мере, бит CHAR> 8?

это всегда один в C99, раздел 6.5.3.4:

при нанесении операнда введите char, unsigned char или signed char, (или его квалифицированная версия) результат 1.

Edit: не часть вашего вопроса, но для интереса от Harbison and Steele, 3rd ed. (pre c99) p. 148:

блок памяти принимается за объем памяти, занимаемой одним характер, размер объекта тип char поэтому 1.

Edit: в ответ на ваш обновленный вопрос уместен следующий вопрос и ответ от Harbison и Steele (ibid, Ex. 4 СН. 6):

допустимо ли иметь C реализация в каком типе char can представлять значения в диапазоне от -2,147,483,648 до 2,147,483,647? Если это так, то что будет sizeof(char) при такой реализации? Что бы самые малые и самые большие ряды тип int?

ответ (Там же, стр. 382):

разрешено (если расточительно) для реализации использовать 32 бита представлять тип char. Независимо от осуществление, значение sizeof(char) всегда равен 1.

хотя это специально не касается случая, когда, скажем, байты составляют 8 бит и char 4 из этих байтов (фактически невозможно с определением c99, см. ниже), тот факт, что sizeof(char) = 1 всегда очистить от C99 standard и Harbison и Steele.

Edit: на самом деле (это в ответ на ваш вопрос upd 2), Что касается c99 sizeof(char) is в байтах, из раздела 6.5.3.4 снова:

оператор sizeof дает размер (в байтах) его операнда

так в сочетании с цитатой выше, байты 8 бит и char как 4 из этих байтов невозможно: для c99 байт такой же, как a char.

в ответ на ваше упоминание о возможности 7 бит char: это невозможно в c99. В соответствии с разделом 5.2.4.2.1 стандарт минимум в 8:

их значения, определенные реализацией, должны быть равны или более [мой акцент] по величине, как показано, с тем же знаком.

- количество бит для наименьшего объекта, который не является битовым полем (байтом)

 **CHAR_BIT 8**

- минимальный значение для объекта типа со знаком char

**SCHAR_MIN -127//−(27−1)** 

- максимальное значение для объекта типа со знаком char

**SCHAR_MAX +127//27−1** 

- максимальное значение для объекта типа unsigned char

**UCHAR_MAX 255//28−1** 

- минимальное значение для объекта типа char

**CHAR_MIN**    see below 

- максимальное значение для объекта типа char

**CHAR_MAX**    see below

[...]

если значение объекта типа char рассматривается как целое число со знаком, когда используется в выражение, значение CHAR_MIN должен быть таким же, как у SCHAR_MIN и значение CHAR_MAX будет таким же, как у SCHAR_MAX. В противном случае, значение CHAR_MIN должно быть 0 и значение CHAR_MAX должен быть таким же, как у UCHAR_MAX. Значение UCHAR_MAX должно быть равно 2^CHAR_BIT-1.