JavaScript - 递归调用部分应用函数

Question

我正在用 JavaScript (Node.js) 编写文件处理器。简化的伪代码如下。对于文件中的每一行，它都会打印输出，如果该行是包含指示符，它会递归处理包含的文件。

function fileProcessor (file) {
  // read lines from file
  lines.forEach( function (line) {
    // #1 - include processor:
    if line matches "#include includefile"
      fileProcessor(includefile);
    // #2 - output processor:
    // write line to output
  });
}

下一步我想通过解耦文件处理器和行处理器来改进它的设计。我熟悉OO，它应该看起来像下面的类图。但现在我想用 FP 的方式尝试一下。

定义一个返回 fileProcessor 的函数，应用了哪些行处理器。

var fileProcessorGen = function (lineProcessors) {
  return function (file) {
    // read lines from file
    lines.forEach( function (line) {
      lineProcessors.forEach( function (processor) {
        processor.call(this, line);
      });
    });
  };
};

我的目的是实现关注点分离。在示例中只有两个线路处理器，但实际上会有更多。并且调用者会根据其目的选择一些线路处理器来使用。所以我不会将它们硬编码到文件处理器或任何行处理器中。

var fileProcessor = fileProcessorGen([includeProcessor, outputProcessor]);

现在我的问题是如何在我的包含处理器中调用 fileProcessor(它是部分应用程序)？

function includeProcessor(line) {
  if line matches "#include includefile"
    fileProcessor(includefile);  // <--- how to get fileProcessor ?
};

function outputProcessor(line) {
  // write line to output
}

也许我必须将 fileProcessor 作为参数传递给 includeProcessor，但是怎么做呢？

function includeProcessor(line, fileProcessor) {
  if line matches "#include includefile"
    fileProcessor(includefile);
};

var fileProcessorGen = function (lineProcessors) {
  return function (file) {
    // read lines from file
    lines.forEach( function (line) {
      lineProcessors.forEach( function (processor) {
        processor.call(this, line, ???);  // <-- how to pass the parameter?
      });
    });
  };
};

Answer 1

您只需为匿名函数命名，然后您就可以在函数范围内通过该标识符引用它，无论您将该函数分配给什么标识符。 (我几乎总是建议提供函数名称，甚至是函数表达式。不仅是为了能够引用它们，也是为了更容易阅读堆栈跟踪)。

function fileProcessorFactory (lineProcessors) {
  return function fileProcessor (file) {
    // read lines from file
    lines.forEach( function (line) {
      lineProcessors.forEach( function (processor) {
        processor.call(this, line, fileProcessor );
      });
    });
  };
};

var fileProcessorInstance = fileProcessorFactory( [ includeProcessor, outputProcessor ] );

但是您当然应该意识到您当前的解决方案效率极低，因为它每次调用时都会创建一组全新的函数，如果您只声明一次函数并让他们互相打电话。

function fileProcessor ( file ) {
    //split those lines
    lines.forEach( lineProcessor );
}

function lineProcessor ( line ) {
    if line matches "#include includefile"
        fileProcessor( includefile );
    else
        outputProcessor( line );
}

function outputProcessor ( line ) {
   //...
}

如果你想支持多个指令，只需在散列映射(也称为“javascript 对象”)中通过它们的名称查找它们，或者如果名称不在映射中则抛出错误。 (ES6 中还有实际的 Map 数据类型，您也可以将其用于此目的)。

var directives = {
     include : function includeDirective ( expression ) {
     },
     define : function defineDirective ( expression ) {
     },
     //...
};

你也可以在没有正则表达式的情况下完全做到这一点，因为预处理器通常只遵循 3 个 super 简单的规则(在伪代码中)

1. 如果第一个字母“#”= 是指令
2. 虽然不是空格=指令的名称
3. 虽然不是换行符=表达式

澄清函数创建问题。 javascript 的函数性质将函数分为函数声明和函数表达式。函数声明被评估一次，函数表达式在每次控件到达包含它的行时被评估，从而产生一个新函数，您也可以将其存储在变量中或不存储。如果您不存储它，它就会变成垃圾(例如，在您将它传递给返回的函数之后)。

lines.forEach( function (line) { // creates one new function
  lineProcessors.forEach( function (processor) { //creates one new function per line
    processor.call(this, line);
  });// one function per line is now garbage
}); // the outer function is now garbage