ЬурейеГо, перечисление, BOOL, Bool ------ спутать

Question

У меня есть класс Логического И, конструктор должен оценить и работу двух булевых, и она работает так:

class logicAND{ 
public: 
    logicAND(bool a,bool b):value(a&&b){} 
    bool output(){return value;} 
private: 
    bool value; 
}; 
int main(){ 
    bool m=false; 
    bool n=true; 
    logicAND t1(m,n); 
    t1.output(); 
} 

Тогда , Я добавил несколько старых макросов стиля перед классом:

typedef enum { False = 0, True = 1 } Bool; 
#define bool Bool 
#define true True 
#define false False 

class logicAND{ 
public: 
    logicAND(bool a,bool b):value(a&&b){} 
    bool output(){return value;} 
private: 
    bool value; 
}; 
int main(){ 
    bool m=false; 
    bool n=true; 
    logicAND t1(m,n); 
    t1.output(); 
} 

Теперь я больше не могу работать. Похоже, основная проблема кроется в несоответствии типа конструктора.

Оценено за то, что он указал на подводные камни, причины и решения. Спасибо!

Answer 1

Главный вопрос: почему вы хотели бы это сделать. Что вы хотите, чтобы макросы делали, так сказать, почему вы хотите, чтобы bools были перечислениями? Однако, чтобы увидеть, что происходит не так, вы должны смотреть на то, что ваши коды выглядят после того, как preprossesor заменил макросы:

class logicAND 
{ 
public: 
    logicAND(Bool a,Bool b):value(a&&b){} //Expects two Bools which works. Now it trys to do a&&b, this actually is well defined for enums. However it returns a bool (!) which cannot be stored in "value" since that is a Bool. 
    Bool output(){return value;} 
private: 
    Bool value; //This now is a Bool! Not a real bool 
}; 

Так что причина, почему она ломается, является то, что вы пытаетесь сохранить в Ем возвращается с & & b в переменной типа Bool. Очевидным способом исправить это было бы делить макросы. Или вам нужно объяснить, зачем они вам нужны.

Answer 2

После #define bool Bool, участник value становится типа enum Bool.
Вы пытаетесь инициализировать его & & b, который не относится к типу enum Bool, а относится к базовому типу bool.
Вот почему вы получаете ошибку компилятора.

Fix: Заменить конструктор:

logicAND(bool a,bool b):value((Bool)(a&&b)){};