Sé que en C y C++, al convertir bools a ints, (int)true == 1 y (int)false == 0 . Me pregunto si lanzar en la dirección inversa...
En el siguiente código, todas las siguientes afirmaciones se cumplieron para mí en archivos .c compilados con Visual Studio 2013 y Keil µVision 5. Aviso (bool)2 == true .
¿Qué dicen los estándares de C y C++ acerca de convertir enteros distintos de cero y de uno en booleanos? ¿Se especifica este comportamiento? Por favor incluya citas.
#include <stdbool.h> #include <assert.h> void TestBoolCast(void) { int i0 = 0, i1 = 1, i2 = 2; assert((bool)i0 == false); assert((bool)i1 == true); assert((bool)i2 == true); assert(!!i0 == false); assert(!!i1 == true); assert(!!i2 == true); }No es un duplicado de ¿Puedo asumir (bool) verdadero == (int) 1 para cualquier compilador de C++? :
0 valores de tipos básicos (1)(2) se asignan a false .
Otros valores se asignan a true .
Esta convención se estableció en C original, a través de sus declaraciones de control de flujo; C no tenía un tipo booleano en ese momento.
Es un error común suponer que, como valores de retorno de función, false indica falla. Pero en particular de main es false lo que indica éxito. He visto que esto se hace mal muchas veces, incluso en el código de inicio de Windows para el lenguaje D (cuando hay personas como Walter Bright y Andrei Alexandrescu que se equivocan, entonces es muy fácil equivocarse), de ahí este aviso ten cuidado
No hay necesidad de convertir a bool para tipos integrados porque esa conversión es implícita. Sin embargo, Visual C++ (el compilador C++ de Microsoft) tiene una tendencia a emitir una advertencia de rendimiento (!) para esto, una pura advertencia tonta. Un cast no es suficiente para callarlo, pero una conversión a través de doble negación, es decir, return !!x , funciona muy bien. Uno puede leer !! como un operador de "convertir a bool ", tanto como --> puede leerse como "va a". Para aquellos que están profundamente interesados en la legibilidad de la notación del operador. ;-)
1) C++14 §4.12/1 “Un valor cero, un valor de puntero nulo o un valor de puntero de miembro nulo se convierte en false ; cualquier otro valor se convierte en true . Para la inicialización directa (8.5), un prvalue de tipo std::nullptr_t se puede convertir en un prvalue de tipo bool ; el valor resultante es false .”
2) C99 y C11 §6.3.1.2/1 “Cuando cualquier valor escalar se convierte a _Bool , el resultado es 0 si el valor se compara con 0; de lo contrario, el resultado es 1.”
A continuación se cita el estándar C11 (borrador final).
6.3.1.2: Cuando cualquier valor escalar se convierte a _Bool, el resultado es 0 si el valor se compara con 0; de lo contrario, el resultado es 1.
bool (asignado por stdbool.h al nombre interno _Bool para C) en sí mismo es un tipo entero sin signo :
... El tipo _Bool y los tipos de enteros sin signo que corresponden a los tipos de enteros con signo estándar son los tipos de enteros sin signo estándar.
Según 6.2.5p2 :
Un objeto declarado como tipo _Bool es lo suficientemente grande para almacenar los valores 0 y 1.
AFAIK, estas definiciones son semánticamente idénticas a C ++, con la pequeña diferencia de los nombres incorporados (!). bool para C++ y _Bool para C.
Tenga en cuenta que C no usa el término rvalues como lo hace C++. Sin embargo, en C los punteros son escalares , por lo que asignar un puntero a un _Bool se comporta como en C++.
Existe algún tipo de forma 'marxista' de la vieja escuela para emitir int -> bool sin las advertencias C4800 del compilador cl de Microsoft: usar la negación de la negación.
int i = 0; bool bi = !!i; int j = 1; bool bj = !!j;