のtypedef、列挙型は、ブール値、ブール値は------私はlogicANDクラスを持っている

Question

を混同し、コンストラクタは2つのブールのAND演算を評価することになっている、そしてそれはこのように動作します：

その後

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

主な質問は、これを行う理由です。あなたはマクロに何をしたいのですか？言い換えれば、なぜあなたはboolを列挙型にしたいのですか？

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 
}; 

だから、それが壊れる理由は、あなたがブール値を格納しようということである： は、しかし間違って何が起こっているかを確認するために、あなたのコードがpreprossesorがあなたのマクロを交換した後にどのように見えるかを見ていますBool型の変数で& & bから戻されます。これを修正する明白な方法は、マクロをデリートすることです。あるいは、なぜあなたがそれらを必要としているのか説明する必要があります。

Answer 2

#define bool Boolの後に、メンバーvalueは型enum Boolになります。
& & bで初期化しようとしていますが、enum Bool型ではなく、基本型boolです。
そのため、コンパイルエラーが発生します。

修正： でコンストラクタを置き換え：あなたがすべてでこれをしたい理由

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