typedef, enum, bool, Bool ------confused

typedef, enum, bool, Bool ------confused

本文关键字：------confused Bool enum typedef bool      更新时间：2023-10-16

我有一个逻辑与类，构造函数应该计算两个布尔值的 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();
}

现在我不能再让它工作了。似乎主要问题在于构造函数类型不匹配。

感谢指出陷阱，原因和解决方案。谢谢！

主要问题是你为什么要这样做。你希望宏做什么，可以这么说，为什么你想让布尔值成为枚举？但是，要查看出了什么问题，您必须查看预处理器替换宏后的代码是什么样子的：

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

所以它中断的原因是你试图将从a&b返回的布尔存储在Bool类型的变量中。解决此问题的明显方法是删除宏。或者你需要解释为什么你需要它们。

#define bool Bool之后，成员value变为枚举布尔类型。
您正在尝试使用 &&&b 初始化它，它不是枚举布尔类型，而是基本布尔类型。
这就是您收到编译器错误的原因。

修复：将构造函数替换为：

logicAND(bool a,bool b):value((Bool)(a&&b)){};
相关文章：