Dlaczego gcc nie ostrzega, gdy wartość enum lub int jest przekazywana jako argument funkcji, który jest bool?

Question

Mam następujący kod:

typedef enum 
{ 
    FOO, 
    BAR, 
    BAZ 
} foo_t; 

static void afunc(bool is_it_on) 
{ 
    /* do the job */ 
} 

int main(void) 
{ 
    afunc(BAZ); 
    return 0; 
} 

Kompilacja ten kod nie generuje żadnego ostrzeżenia, nawet z -Wall -Wextra opcji podanych do kompilatora. Próbowałem nawet z opcją -Wconversion, która nie przyniosła skutku, ponieważ bool i enum wydawały się być tego samego rozmiaru dla g ++. (rozmiar enum typu nie jest zdefiniowany w specyfikacji o ile mi wiadomo)

Przeszedłem przez podręcznik GCC i nic nie znalazłem.

Pytania:

• Czy istnieje sposób zmusić kompilator generuje ostrzeżenie w takich przypadkach?
• A może to, że ten niejawny casting jest zgodny ze specyfikacją C++?

Compiler, że używam: gcc 4.1.2

---

editted

Wniosek:

Jedynym realnym rozwiązaniem wydaje się zdefiniowanie nowego typu do reprezentowania 0 lub 1 i użyj go zamiast bool.

Kod będzie jak po, i g ++ narzeka typu konwersji:

typedef enum 
{ 
    FOO1, 
    FOO2 
} foo_t; 

typedef enum 
{ 
    MY_FALSE, 
    MY_TRUE 
} my_bool_t; 

void foo(my_bool_t a) 
{ 
} 

int main(void) 
{ 
    /* 
     * gcc generates an error. 
     * error: cannot convert ‘foo_t’ to ‘my_bool_t’ 
     * for argument ‘1’ to ‘void foo(my_bool_t)’ 
     */ 
    foo(FOO1); 
    return 0; 
} 

Answer 1

Tak, te konwersje niejawne są całkowicie legalne.

C++ 11 Wstępny n3290, §4.12 logiczne konwersje:

prvalue arytmetyczne, unscoped wyliczenia wskaźnika lub kursora do typu grupy można przekształcić w prvalue typu bool. Wartość zerowa, zerowa wartość wskaźnika lub wartość wskaźnika elementu zerowego jest konwertowana na wartość false; każda inna wartość jest konwertowana na wartość true. Wartość progowa typu std :: nullptr_t może zostać przekonwertowana na wartość typu bool ; wynikowa wartość jest fałszywa.

Ostrzeżenia dotyczące tych konwersji (dla typów arytmetycznych) prawdopodobnie doprowadziłyby do ogromnej liczby ostrzeżeń w całym miejscu, nie sądzę, że byłoby to wykonalne.

w C++ 11, można użyć scoped wyliczenia uniemożliwienia tej niejawna konwersja:

To nie skompilować z powodu braku konwersji z Foo do bool:

enum class Foo { ONE }; 

void tryit(bool b) { } 

int main() 
{ 
    tryit(Foo::ONE); 
}