如何重构Dart嵌套if语句避免Arrow Anti-Pattern？以闰年判断代码为例

针对你提到的箭头反模式问题，结合Dart语言特性，有以下几种可读性更高的重构方案：

1. 卫语句（提前返回）（通用方案） #

核心思路是优先排除不符合条件的分支，提前返回，彻底消除嵌套结构，和原逻辑的思考顺序完全一致，无理解门槛：

bool isLeapYear(int year) {
  assert(!year.isNegative);
  // 不能被4整除，直接排除
  if (year % 4 != 0) return false;
  // 能被4整除但不能被100整除，直接判定为闰年
  if (year % 100 != 0) return true;
  // 能被100整除的场景，仅被400整除时是闰年
  return year % 400 == 0;
}

2. 逻辑表达式合并（精简方案） #

把闰年判断的三个规则直接合并为单个布尔表达式，代码最简洁，适合规则明确的简单判断场景：

bool isLeapYear(int year) {
  assert(!year.isNegative);
  return year % 4 == 0 && (year % 100 != 0 || year % 400 == 0);
}

3. Dart 专属特性优化 #

3.1 Dart 3.0+ 模式匹配（switch表达式） #

利用Dart 3.0新增的模式匹配能力，用元组匹配对应所有分支情况，逻辑分支一目了然，后续新增规则时扩展成本极低：

bool isLeapYear(int year) {
  assert(!year.isNegative);
  return switch ((year % 4, year % 100, year % 400)) {
    ( != 0, _, _) => false,
    (0, != 0, _) => true,
    (0, 0, 0) => true,
    _ => false
  };
}

3.2 扩展方法封装 #

用Dart的扩展方法能力，把闰年判断直接封装为int类型的属性，调用时语义更友好，适合多处复用的场景：

extension LeapYearExtension on int {
  bool get isLeapYear {
    assert(!isNegative);
    return this % 4 == 0 && (this % 100 != 0 || this % 400 == 0);
  }
}

// 调用示例
// print(2024.isLeapYear); // true
// print(1900.isLeapYear); // false

方案选择建议 #

• 团队新人多、需要逻辑尽可能直白：选择卫语句写法
• 逻辑稳定无后续改动需求：选择逻辑表达式合并写法
• Dart 3.0+环境、后续可能新增判断规则：选择switch模式匹配写法
• 多位置复用闰年判断逻辑：选择扩展方法封装

内容的提问来源于stack exchange，提问作者APEALED