E4108

E4108#

循环预计会产生一个值，请添加 else 分支。

当编译器根据 for 循环的上下文（例如函数的返回类型）推断出 for 循环应该产生一个非 Unit 值，但循环缺少一个 else 分支来提供该值时，就会发生此错误。

在 MoonBit 中，当 for 循环用于需要值的上下文中（例如，当函数返回非 Unit 类型时），循环必须有一个 else 分支，指定当循环正常完成时应该返回什么值。这是因为：

  1. 循环体本身不能产生值（与 loop 表达式不同）

  2. 如果没有 else 分支，就没有办法确定当循环正常完成而没有中断时应该返回什么值。

这通常发生在两种情况下：

  • 当 for 循环是返回非 Unit 类型的函数中的最后一个表达式时

  • 当 for 循环的结果被赋值给一个变量或用于一个需要非 Unit 值的表达式时

错误示例#

pub fn f(x: Int) -> Int {
  for i = 0, acc = 0; i < x; i = i + 1, acc = acc + i {
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Error: The for loop is
//                                                      not expected to yield a
//                                                      value, please add an
//                                                      `else` branch.
  }
}

pub fn g(x: Int) -> Int {
  for i in 0..=x {
  }
}

建议#

要修复此错误，您可以：

  • 添加一个 else 分支到 for 循环：

pub fn f(x: Int) -> Int {
  for i = 0, acc = 0; i < x; i = i + 1, acc = acc + i {
  } else {
    acc
  }
}

  • 如果您不需要从循环中返回值，请将函数的返回类型更改为 Unit：

pub fn g(x: Int) -> Unit {
  for i in 0..=x {
  }
}
目录