然并卵系列：来写个 Brainfuck 解释器吧

时间 2019-11-06

标签系列来写 brainfuck 解释器繁體版

原文原文链接

Lisp 是 write-only 语言？你忘记了这个图灵完备的著名“乱码”。前端

最近在 Codewars上作练习，某道题的内容是实现一个 brainFuck（简称BF语言）解释器。动手实践的过程仍是颇有趣的，中间也遇到了各类各样的问题，最终经过测试，代码也比较接近目前的 JS 高分 solution。这篇文章准备聊聊相关的一些知识和实现的细节。编程

“脑洞大开”的语言 —— BF 简介

BrainFuck（后文以简写BF指代），单是名字就很容易让人脑洞大开，有种不可描述的“哲学”韵味。因此若是你忍不住 google 一下相关图片的话，你会可能搜到相似下面的图片：数组

画面是否是已经很生动了？微信

BF 字面上的含义已经暗示了这是一种不太直观和容易阅读的语言，固然，在当下也不会是一种通用语言。她属于 Esolang（全称 Esoteric programming language，直译：深奥的编程语言）的范畴。数据结构

BF诞生于上世纪30年代，曾运用于早期的 PC（Amiga），想详细了解的童鞋能够浏览维基百科。编程语言

BF 在当下有什么应用场景呢？函数

我想，对一个吃瓜群众来讲，了解了它，对写做逼格和脑力的提高是颇有用的。BF 具备极简主义（搞设计的童鞋的不妨了解下下）和功能齐全（图灵彻底）的特色，旨在为用户带来困惑和挑战，丰富劳动人民的业余生活。测试

8 种运算符及其操做

BF 做为一种极简的计算机语言，仅有8种运算符，分别为: < > + - , . [ ]，其功能对照以下表所示：ui

指令	含义
`<`	指针减一（指针左移）
`>`	指针加一（指针右移）
`+`	指针指向的字节的值加一（当前单元的数值+1）
`-`	指针指向的字节的值减一（当前单元的数值-1）
`,`	输入内容到指针指向的单元（输入一个字符，将其ASCII码保存到当前指针所指单元）
`.`	将指针指向的存储单元的内容做为字符输出（将ASCII码输出为字符）
`[`	若是指针指向的存储单元为零，向后跳转到对应的 `]` 指令处
`]`	若是指针指向的存储单元不为零，向前跳转到对应的 `[` 指令处

BF基于一个简单的机器模型，除了八个指令，这个机器还包括：一个以字节为单位、被初始化为零的数组、一个指向该数组的指针(初始时指向数组的第一个字节)、以及用于输入输出的两个字节流。google

对 BF 比较有意思的比拟能够是这样的：

若是把机器内存当作是一个无限长的“小火车”（相似于Array或List的数据结构）,每一个车箱（存储单元）里面的货物默认都是数字 0，列车上仅有一个列车员（数据指针）；
<> 至关于列车员在车箱间进行移动，只有当列车员在某节车箱时，才能对车箱的货物进行操做；
+- 至关于列车员对当前所在车箱的货物进行增减；
, 至关于列车在装货，列车员将当前所在车箱的货物替换为货运站输入的单批次货物（一个字符的ASCII码）；
. 会将当前车箱里的货物名称（单个字符）出来；
[] 至关于列车员在知足条件的两节车箱间来回移动；

这里要注意的是，数组的每一个单元都是一个字节大小；- 命令容许溢出，它能够用 255 个 + 命令来代替。例如，当某个存储单元的值为 255 时，其执行指令 + 的结果为 0。相似的， 0 执行指令 - 的结果为 255.

与通用语言的类比

据此，BF的运算符与通用语言的类好比下（以C语言为例）：

BrainFuck	C
`<`	`--ptr;`
`>`	`++ptr;`
`+`	`++*ptr;`
`-`	`--*ptr;`
`,`	`*ptr = getchar();`
`.`	`putchar(*ptr);`
`[`	`while (*ptr) {`
`]`	`}`

BF 解释器的 JS 函数实现

代码奉上：

function brainLuck(code, input) {             // @1
  const inputChars = input.split('');         // @2

  const codes = code.split('');               // @3
  let codeIdx = 0;

  const arr = [];                             // @4
  let arrIdx = 0;
  let outputStr = '';                         // @5

  while (codeIdx < code.length) {             // @6
    const ops = codes[codeIdx];

    const handleLeftBracket = () => {         // @7
      if (~~arr[arrIdx] === 0) {
        let cnt = 1;

        while (cnt) {
          codeIdx++;
          if (codes[codeIdx] === '[') {
            cnt += 1;
          }
          if (codes[codeIdx] === ']') {
            cnt -= 1;
          }
        }
      }
    };

    const handleRightBracket = () => {        // @8
      if (~~arr[arrIdx] !== 0) {
        let cnt = 1;

        while (cnt) {
          codeIdx--;
          if (codes[codeIdx] === ']') {
            cnt += 1;
          }
          if (codes[codeIdx] === '[') {
            cnt -= 1;
          }
        }
      }
    };

    switch (ops) {                            // @9
      case '>':
        arrIdx += 1;
        break;
      case '<':
        arrIdx -= 1;
        break;
      case '+':
        arr[arrIdx] = (~~arr[arrIdx] + 1) % 256;
        break;
      case '-':
        arr[arrIdx] = (~~arr[arrIdx] || 256) - 1;
        break;
      case ',':
        const iptChar = inputChars.shift();
        arr[arrIdx] = iptChar ? iptChar.charCodeAt(0) : arr[arrIdx];
        break;
      case '.':
        outputStr += String.fromCharCode(arr[arrIdx]);
        break;
      case '[':
        handleLeftBracket();
        break;
      case ']':
        handleRightBracket();
        break;
    }

    codeIdx++;                               // @10
  }

  return outputStr;                          // @11
}

复制代码

实现思路阐述（与代码中注释的序号对应）：

(1) 咱们实现了一个函数 brainLuck 用以模拟 BF 语言的解释执行，函数 brainLuck 的用例以下：

const code = ',+[-.,+]';
const input = 'Parksben' + String.fromCharCode(255);

const output = brainLuck(code, input);
console.log(output); // -> 'Parksben'
复制代码

(2) 将输入的字符串切割为单个字符，暂存进数组 inputChars；

(3) 将 BF 程序切割为单个操做符，方便遍历每一个指令，用 codeIdx 做为下标进行遍历；

(4) 声明一个数组 arr 用以模拟机器内存，过程产生的数值存储到此数组中；

(5) 用字符串 outputStr 存储程序的输出；

(6) 遍历 BF 运算符，对不一样指令进行相应的操做；

(7) 方法 handleLeftBracket，用以匹配到与当前 [ 对应的 ]（经过操做下标 codeIdx）；

(8) 方法 handleRightBracket，用以匹配到与当前 ] 对应的 [（经过操做下标 codeIdx）；

(9) 用以处理不一样指令的 switch 语句；

(10) codeIdx 加一，以向前遍历 codes；

(11) 程序输出；