Предотвращение смешивания перечисляемого типа с предупреждениями другого типа для логических значений в Keil uVision

Это казалось грязным, но я решил эту проблему, изменив файл types.h, поставляемый с комплектом SDK, включив в него stdbool.h вместо определения собственного типа bool. Перекомпиляция моего проекта не вызвала предупреждений/ошибок ни в стороннем коде, который использовал bool, ни в моем собственном коде.

На всякий случай я попытался изменить его таким образом, чтобы он все еще работал, если он был скомпилирован в проекте C89:

#if __STDC_VERSION__ >= 199901L
#include <stdbool.h>
#endif

// ...

#if __STDC_VERSION__ < 199901L
typedef enum _bool 
{ 
  false = 0, 
  true = 1 
} bool;
#endif

Во-первых, такого рода определения логически некорректны в C.

C определяет false как ноль, а true как не ноль, что, конечно, включает 1, но не только это. Это может быть опасно во многих ситуациях:

Выражение if(GetValue() == true) оценивается как истинное только в том случае, если возвращаемое значение функции равно 1. Это чрезвычайно опасно и может быть источником многих трудно обнаруживаемых ошибок.

bool может иметь любое значение, поскольку за ним стоит int.

Кастинг ничего не меняет:

#include <stdio.h>
#include <string.h>

typedef enum _bool 
{ 
  false = 0, 
  true = 1 
} bool;

int main(void) {

    bool x;

    x = 50;
    printf("%d\n", x);

    x = (bool)50;
    printf("%d\n", x);
}

https://ideone.com/nNHPLg

Вы будете явно преобразовывать значения int в нули или единицы. Например:

bool x = !!something;

bool x = something ? true : false;