GCC: Zabroń niejawnej konwersji bool-> int

Question

Czy jest jakaś flaga gcc, która zabrania niejawnej konwersji "bool -> int"?

chcę dostać żadnego ostrzeżenia z tym kodem:

void function(int value, bool flag) { } 

int main() 
{ 
    int a = 123; 
    bool flag = true; 

    //oops, a common mistake 
    function(flag, a); 
} 

Answer 1

jako obejście, w C++ 11, można usunąć inne możliwe przeciążenia:

template <typename T> void function(int, T) = delete; 

Answer 2

Użyj klasy otoki :

class Boolean 
{ 
    bool flag; 
public: 
    explicit Boolean(bool something){} 

    bool getValue() const {return flag;} 
    void setValue(bool a) {flag = a;} 
}; 

void function(int value,Boolean flag) { } 

int main() 
{ 
    int a = 123; 
    Boolean flag(true); 

    function(flag, a); // fails! Boolean isn't a int value :) 
} 

Answer 3

Aby odpowiedzieć na pytanie: nie, w tym przypadku nie ma flagi gcc, która mogłaby wysłać ostrzeżenie. Twój problem został omówiony kilka razy na liście mailingowej gcc. Na przykład: here:

Głównym powodem, dla którego nie jest sprawdzany przez kompilator, jest to, że w przeciwnym wypadku każde z komunikatów, takich jak if(intval), również generuje ostrzeżenie.

Answer 4

Używając pojęcia w pytaniu min macro in kernel.h można użyć GCC typeof

#include <stdbool.h> 

#define function(x, y) do {        \ 
          __typeof(x) tmpone = (x); \ 
          int tmptwo = 0;    \ 
          (void) (&tmpone == &tmptwo); \ 
          fx((x), (y));    \ 
         } while (0) 

void fx(int value, bool flag) { 
    (void)value; 
    (void)flag; 
} 

int main(void) { 
    int a = 123; 
    bool flag = true; 

    function(a, flag); 
    function(flag, a); // oops, a common mistake 
} 

Answer 5

W C, można owinąć wartość w ogólnej selekcji, który obsługuje tylko jeden typ:

#include <stdbool.h> 
#include <stdio.h> 

bool x = true; 
int y = _Generic(1, bool:2); 

int main(void) { 
    printf("%d\n", y); 
} 

ten błędy (GCC 4.9), ale skompiluje się bez reklamacji, jeśli zastąpisz 1 z true lub x.

Tak dla przykładu:

#include <stdbool.h> 

void function(int value, bool flag) { } 
#define function(V, F) function(V, _Generic(F, bool:F)) 

int main() { 
    int a = 123; 
    bool flag = true; 

    function(flag, a); // error: '_Generic' selector of type 'int' is not compatible with any association 
} 

Answer 6

clang-tidy cię ostrzec, albo jeszcze lepiej, aby ten błąd dla Ciebie.

Test na to jest readability-implicit-bool-conversion. We wcześniejszych wersjach wykładziny test nosi nazwę readability-implicit-bool-cast.