Question

假设我有两个布尔变量，我想根据它们的值做完全不同的事情。实现这一目标的最简洁方法是什么？

变式1：

if (a && b)
{
    // ...
}
else if (a && !b)
{
    // ...
}
else if (!a && b)
{
    // ...
}
else
{
    // ...
}

变体2：

if (a)
{
    if (b)
    {
        // ...
    }
    else
    {
        // ...
    }
}
else
{
    if (b)
    {
        // ...
    }
    else
    {
        // ...
    }
}

变体3：

switch (a << 1 | b)
{
case 0:
    // ...
    break;

case 1:
    // ...
    break;

case 2:
    // ...
    break;

case 3:
    // ...
    break;
}

变式4：

lut[a][b]();

void (*lut[2][2])() = {false_false, false_true, true_false, true_true};

void false_false()
{
    // ...
}

void false_true()
{
    // ...
}

void true_false()
{
    // ...
}

void true_true()
{
    // ...
}

对于普通程序员来说，变体3和4是否过于棘手/复杂？我错过了其他任何变种吗？

Answer 1

第一个变体是最清晰，最易读的，但可以调整：

if (a && b) {
    // ...
} else if (a) { // no need to test !b here - b==true would be the first case
    // ...
} else if (b) { //no need to test !a here - that would be the first case
    // ...
} else { // !a&&!b - the last remaining
    // ...
}

Answer 2

你忘记了：

if (a) a_true(b);
else a_false(b);

这可能是应用时的最佳选择，当你真正需要4种不同的行为时。

如果你有2个以上的bool，如果我有2 ^ n个不同的行为，如上所述，那么我会将其作为代码气味。然后我可以考虑做：

enum { case1, case2, ... }

int dispatch_cases(bool a, bool b, bool c, ..., bool z);

switch (dispatch_cases(a, b, ..., z))
{
case case1:
    ...
};

但没有上下文，很难说这种复杂性是否必要。

Answer 3

恕我直言，我会去variant 3。因为个人而言，当我检查平等时，我不喜欢if/else。它明确指出只有4种可能性。

一个小编辑将是：

inline int STATES(int X, int Y) { return (X<<1) | Y; }
// ...
switch (STATES(a,b))

为了使其更具花哨性，您也可以将0,1,2,3替换为enum。

enum States {
  NONE,
  ONLY_B.
  ONLY_A,
  BOTH
};

Answer 4

只有两个布尔，其中任何一个都是好的和合理的。人们可以根据自己的口味选择。

但是，如果有两个以上的布尔值，比如说四个布尔值，那么我个人会选择查找表，我会这样做：

typedef void (*functype)();

//16 functions to handle 16 cases!
void f0() {}
void f1() {}
//...so on
void f15() {}

//setup lookup table
functype lut[] = 
{
    f0,   //0000 - means all bool are false
    f1,   //0001
    f2,   //0010
    f3,   //0011
    f4,   //0100
    f5,   //0101
    f6,   //0110
    f7,   //0111
    f8,   //1000
    f9,   //1001
    f10,  //1010
    f11,  //1011
    f12,  //1100
    f13,  //1101
    f14,  //1110
    f15   //1111 - means all bool are true
};

lut[MakeInt(b1,b2,b3,b4)](); //call

MakeInt()很容易写：

int MakeInt(bool b1, bool b2, bool b3, bool b4)
{
   return b1 | (b2<<1) | (b3 <<2) | (b4<<3);
}

基于两个布尔变量的分支

4 个答案: