如何从调用当前函数的函数返回？

Question

假设，我有两个函数 f1() 和 f2()。为了达到其目的，f1() 需要返回一个真实值。 f1() 调用 f2() 并根据条件，我希望 f2() 返回一个真实值或直接从 f1()（调用函数）返回。

//f1()
function f1() {
    const a = f2();
    ...
    ...
    return ...
}

//f2()
function f2() {
    ...
    if(error) {
        // I want to execute return on f1()'s scope here
    }
    ...
    return ...
}

我的方法：

//f2()
function f2(callback: () => void) {
    ...
    if(error) {
        callback();
    }
    ...
    return ...
}

//f1()
function f1() {
    const a = f2(() => {return...});
    ...
    ...
    return ...
}

不幸的是，它只会按预期返回 f2() 中的值。

如何解决这个问题？请不要建议其他事情，例如在 if 块中从 f2() 返回 null 并根据条件在 f1() 中返回。由于我自己的原因，我希望f2() 结束对f1() 的执行。

谢谢。

Answer 1

f2 不一定知道它是从f1 调用的，对吧？有一天你可以重构让f1 调用f3，然后调用f2。那时还不清楚您是否希望f2 强制返回f3 或f1。一般来说，语言期望f2 是written not to know exactly where it is being called，或者对调用方法中发生的事情有深入的控制：f2 的返回值应该替代对f2 的调用，而无需进一步控制@987654337 @的执行。

解决这个问题的典型方法是throw 一个异常（它会在堆栈中向上到它被捕获的点，并且考虑到这似乎是一个错误情况，这将是特别合理的）或@987654339 @ 一个标记值，表示您应该早点返回。听起来像 false 或 null 这样的虚假值是不错的选择，但您已经表明这种标准方法不适合您的需求。

但是，您可以使用的另一种技术是continuation passing style，我建议您这样做，因为您似乎可以编辑f2 以进行回调（其中的延续是special form）。这允许f1 将控制权委托给f2，除了它在成功而不是失败时调用回调。这在 Promises 等异步情况下比在同步情况下更常见，但它可能允许您在同步情况下所需的灵活性，并且如果f2 变为异步，它确实允许您延迟continuation 的调用。它还允许f1 选择是否立即返回，并允许假设的重构f3 接受并传递f1 的延续或传递它自己的延续（可能在之后调用f1 的延续进一步处理）。

function f1() {
  return f2(a => {
    /* the rest of f1 that consumes a */
    return ...
  });
}

function f2(continuation: (a: TypeOfA) => typeOfF1) {
  if (error) {
    // f1 returns this immediately, and never has its continuation called.
    return ERROR_VALUE;
  }
  // calculate return value
  return continuation(a);
}