Типы символов в C: разные или эквивалентные?

В C поведение типов символов (char) иногда может отличаться от поведения целые числа со знаком и без знака, что приводит к путанице. В частности, следующий код демонстрирует это различие:

#include 

typedef   signed char       int8;
typedef unsigned char      uint8;

struct TrueType {};
struct FalseType {};

template 
struct isX
{
   typedef typename T::ikIsX ikIsX;
};

template             struct isX  { typedef FalseType ikIsX; };
template             struct isX  { typedef FalseType ikIsX; };
template             struct isX  { typedef FalseType ikIsX; };

template  bool getIsTrue();
template            bool getIsTrue() { return true; }
template            bool getIsTrue() { return false; }

int main(int, char **t )
{
   cout ::ikIsX  >() ::ikIsX  >() ::ikIsX  >() 
Этот код компилируется, но выдает разные результаты для char, чем для int8 и uint8. Это связано с тем, что C рассматривает char, знаковый char и беззнаковый char как три разных типа.
Напротив, int и uint32 являются эквивалентными типами:
template             struct isX  { typedef FalseType ikIsX; };
template             struct isX  { typedef FalseType ikIsX; };
Это различие связано с тем фактом, что char исторически использовался как для представления символов, так и для хранения числовых значений. В результате C поддерживает обратную совместимость, рассматривая обычный тип char как отдельный тип, отличный от int.
Чтобы определить, какое из двух представлений использует char, определяется определяемый реализацией typedef char_traits::signed предоставил. Если это правда, char ведет себя как знаковый тип; в противном случае он ведет себя как беззнаковый тип.