满屏的if-else,怎么消灭它们?

之前我曾经在知乎写过一篇回答,详细介绍了if-else的效率问题。

过多的if-else不仅导致程序运行效率低下,而且导致代码圈复杂度过高。如果大家有使用过静态代码分析工具,就会知道圈复杂度是衡量代码质量的一项重要的指标,圈复杂度越高,代码出现bug的可能性也越大。

我们可能刚开始写的代码很简洁,只有一个if-else分支,但由于需求的叠加和各种错误处理,我们有时候不得已要多加几个if-else,久而久之就发现,满屏的if-else,令你极其讨厌自己写的代码。

至于如何消灭if-else,可谓八仙过海各显神通,这里介绍几种常见的方法:

巧用表结构:一般如果某些条件可存储,可以考虑把条件存起来用于去掉if-else,例如:

long long func() { const unsigned ARRAY_SIZE = 50000; int data[ARRAY_SIZE]; const unsigned DATA_STRIDE = 256;
for (unsigned c = 0; c < ARRAY_SIZE; ++c) data[c] = std::rand() % DATA_STRIDE; long long sum = 0;
for (unsigned c = 0; c < ARRAY_SIZE; ++c) { if (data[c] >= 128) sum += data[c]; } return sum;}

可以通过表结构去掉代码中的if分支

long long func() {    const unsigned ARRAY_SIZE = 50000;    int data[ARRAY_SIZE];    const unsigned DATA_STRIDE = 256;    int lookup[DATA_STRIDE];    for (unsigned c = 0; c < DATA_STRIDE; ++c) {        lookup[c] = (c >= 128) ? c : 0;    }    for (unsigned c = 0; c < ARRAY_SIZE; ++c) data[c] = std::rand() % DATA_STRIDE;    long long sum = 0;    for (unsigned c = 0; c < ARRAY_SIZE; ++c) {        sum += lookup[data[c]];    }    return sum;}

使用switch-case替换if-else:一般情况下switch-case比if-else效率高一些,而且逻辑也更清晰,例如:

void func() { if (a == 1) { ... } else if (a == 2) { ... } else if (a == 3) { ... } else if (a == 4) { ... } else { ... }}

try-catch替换:if-else很多情况下都用于错误处理,如果我们使用try-catch处理错误,是不是就可以消灭if-else了呢,拿数值运算代码举例:

class Number {public:  friend Number operator+ (const Number& x, const Number& y);  friend Number operator- (const Number& x, const Number& y);  friend Number operator* (const Number& x, const Number& y);  friend Number operator/ (const Number& x, const Number& y);  // ...};

最简单的可以这样调用:

void f(Number x, Number y) { // ... Number sum = x + y; Number diff = x - y; Number prod = x * y; Number quot = x / y; // ...}

但是如果需要处理错误,例如除0或者数值溢出等,函数得到的就是错误的结果,调用者需要做处理。

先看使用错误码的方式:

class Number {public:  enum ReturnCode {    Success,    Overflow,    Underflow,    DivideByZero  };  Number add(const Number& y, ReturnCode& rc) const;  Number sub(const Number& y, ReturnCode& rc) const;  Number mul(const Number& y, ReturnCode& rc) const;  Number div(const Number& y, ReturnCode& rc) const;  // ...};int f(Number x, Number y){  // ...  Number::ReturnCode rc;  Number sum = x.add(y, rc);  if (rc == Number::Overflow) {    // ...code that handles overflow...    return -1;  } else if (rc == Number::Underflow) {    // ...code that handles underflow...    return -1;  } else if (rc == Number::DivideByZero) {    // ...code that handles divide-by-zero...    return -1;  }  Number diff = x.sub(y, rc);  if (rc == Number::Overflow) {    // ...code that handles overflow...    return -1;  } else if (rc == Number::Underflow) {    // ...code that handles underflow...    return -1;  } else if (rc == Number::DivideByZero) {    // ...code that handles divide-by-zero...    return -1;  }  Number prod = x.mul(y, rc);  if (rc == Number::Overflow) {    // ...code that handles overflow...    return -1;  } else if (rc == Number::Underflow) {    // ...code that handles underflow...    return -1;  } else if (rc == Number::DivideByZero) {    // ...code that handles divide-by-zero...    return -1;  }  Number quot = x.div(y, rc);  if (rc == Number::Overflow) {    // ...code that handles overflow...    return -1;  } else if (rc == Number::Underflow) {    // ...code that handles underflow...    return -1;  } else if (rc == Number::DivideByZero) {    // ...code that handles divide-by-zero...    return -1;  }  // ...}

再看使用异常处理的方式:

void f(Number x, Number y){ try { // ... Number sum = x + y; Number diff = x - y; Number prod = x * y; Number quot = x / y; // ... } catch (Number::Overflow& exception) { // ...code that handles overflow... } catch (Number::Underflow& exception) { // ...code that handles underflow... } catch (Number::DivideByZero& exception) { // ...code that handles divide-by-zero... }

如果有更多的运算,或者有更多的错误码,异常处理的优势会更明显。

提前return:对于某些错误处理可以考虑提前return,直接看代码:

void func(A *a) {    if (a) {        ...    } else {        log_error(...);        return;    }}

适当情况下通过反转if条件就可以删除掉else分支。

合并分支表达式:有些情况下可以通过合并表达式来消除if-else,例如:

void func() { if (a < 20) return; if (b > 30) return; if (c < 18) return;}

可以改为

void func() {    if (a < 20 || b > 30 || c < 18) return;}

策略模式:熟悉设计模式的同学可能都知道,一般代码中if-else过多,那就可以考虑使用策略模式啦,例如:

enum class CalOperation { add, sub};
int NoStragegy(CalOperation ope) { if (ope == CalOperation::add) { std::cout << 'this is add operation' << std::endl; } else if (ope == CalOperation::sub) { std::cout << 'this is sub operation' << std::endl; } // 如何将来需要增加乘法或者除法或者其它运算,还需要增加if-else return 0;}

这种if-else可以通过策略模式进行消除:

#ifndef __CALCULATION__#define __CALCULATION__#include <iostream>class Calculation {   public:    Calculation() {}    virtual ~Calculation() {}    virtual void operation() { std::cout << 'base operation' << std::endl; }};#endif#ifndef __ADD__#define __ADD__#include 'calculation.h'class Add : public Calculation {    void operation() override { std::cout << 'this is add operation' << std::endl; }};#endif#ifndef __SUB__#define __SUB__#include 'calculation.h'class Sub : public Calculation {    void operation() override { std::cout << 'this is sub operation' << std::endl; }};#endifint Stragegy() {    Calculation *cal = new Add();    cal->operation();    delete cal;    Calculation *cal2 = new Sub(); // 这里将来都可以用工厂模式改掉,不会违反开放封闭原则    cal2->operation();    delete cal2;    return 0;}

将来如果有乘法除法和其它运算规则,只需要再加一个继承基类的子类即可。方便扩展,且遵循设计原则。

职责链模式:职责链模式尽管不能消灭if-else,但它可以用于改良if-else,使其更灵活,例如:

#include <iostream>
using std::cout;
void func(int num) {    if (num >= 0 && num <= 10) {        cout << '0-10 \n';    } else if (num > 10 && num <= 20) {        cout << '10-20 \n';    } else if (num > 20 && num <= 30) {        cout << '20-30 \n';    } else if (num > 30 && num <= 40) {        cout << '30-40 \n';    } else if (num > 40 && num <= 50) {        cout << '40-50 \n';    } else if (num > 50 && num <= 60) {        cout << '50-60 \n';    } else {        cout << 'not handle \n';    }}
int main() {    func(25);    func(43);    return 0;}

可以考虑改为下面的形式:

#include <iostream>using std::cout;struct Handle {    virtual void process(int num) {}};struct Handle1 : public Handle {    Handle1(Handle *processor) : processor_(processor) {}    void process(int num) override {        if (num >= 0 && num <= 10) {            cout << '0-10 \n';        } else {            processor_->process(num);        }    }    Handle *processor_;};struct Handle2 : public Handle {    Handle2(Handle *processor) : processor_(processor) {}    void process(int num) override {        if (num >= 10 && num <= 20) {            cout << '10-20 \n';        } else {            processor_->process(num);        }    }    Handle *processor_;};struct Handle3 : public Handle {    Handle3(Handle *processor) : processor_(processor) {}    void process(int num) override {        if (num >= 20 && num <= 30) {            cout << '20-30 \n';        } else {            cout << 'not handle \n';        }    }    Handle *processor_;};int main() {    Handle *handle3 = new Handle3(nullptr);    Handle *handle2 = new Handle2(handle3);    Handle *handle1 = new Handle2(handle2);    handle1->process(24);    handle1->process(54);    return 0;}

三目运算符:某些简单情况下可以使用三目运算符消灭if-else,例如:

int func(int num) { if (num > 20) return 1; else return 0;}

可以改为:

int func(int num) {    return num > 20 ? 1 : 0;}

这样是不是代码也更清晰了一些。

else-if消除:有时候有些人写的代码确实就是这样,例如:

int func(int num) { int ret = 0; if (num == 1) { ret = 3; } else if (num == 2) { ret = 5; } else { ret = 6; } return ret;}

是不是可以考虑改为:

int func(int num) {    if (num == 1) return 3;    if (num == 2) return 5;    return 6;}

你还有什么消灭if-else的好方法,大家可以在留言区评论!

来源:程序喵大人
(0)

相关推荐