用 Javascript 实现一个简易 BrainF**k 解释器

原文地址:http://xcoder.in/2014/10/08/brainf**k/

首先祝贺自己在 CodeWars 升级到 3 Kyu,以及感谢 @Bolt_白衣苍狗 童鞋让我知道有 CodeWars 这么个好玩的东西。

虽然里面水题居多,不过在上班比较空闲的档口 #带薪刷题# 的感觉还是蛮不错的。

话唠一下

高中的时候就跟 @MatRush 发现了一个名字超级好玩的编程语言叫 BrainF**k,它比较搞脑筋,因为所有的编程操作都是集合在操作符里面,然后控制指针偏移和内存值的修改来进行一系列操作。

这与后面发现的 HVM(Hack Virtual Machine)有异曲同工之妙。其实之前也出过一个“实现一个简易 HVM 解释器”的题目,所以在 CodeWars 看到这个题目的时候还感觉蛮亲切的。

问题描述

问题很简单,就是让你实现一个函数来解释一句 BrainF**k 的语句,并且根据输入数据来输出相应的内容。

至于这题所需的 BrainF**k 的语法,大致如下:

  • >: 指针右移一位。
  • <: 指针左移一位。
  • +: 当前指针所指的内存值加一,以 255 为界,溢出为 0,即 255 + 1 = 0
  • -: 当前指针所指的内存值减一,以 0 为界,溢出为 255,即 0 - 1 = 255
  • .: 输出当前指针所指的值,即输出该值 ASCII 码所对应的字符。
  • ,: 从输入取一个字符转为 ASCII 码存入当前指针所指的内存。
  • [: 若当前指针所指的值为 0,则命令跳到该 [ 匹配的结束 ] 符号位置的下一位置的指令。
  • ]: 若当前指针所指的值不为 0,则指令向前跳到该 ] 匹配到的 [ 符号位置的下一位置的指令。

举个例子:

,+[-.,+]

上面的句子大致就是说:

  1. 获取输入到当前指针。
  2. 当前指针值加一。
  3. 如果当前指针的值为 0,那么跳到结束位置;否则下一步。
  4. 当前指针值减一。
  5. 输出当前指针的值(综上所述,就是输出输入的值)。
  6. 获取输入到当前指针。
  7. 当前指针值加一。
  8. 若当前指针值不为 0,那么跳到 [ 后面的位置——即第四步。

说白了,就是不断获取输入的值,如果输入的值是 255,那么就跳出循环,否则原样输出。

开始实现

明白了上面的题意之后就可以开始实现了,步骤大致上就是逐位遍历指令,然后一个 switch 来处理各种指令即可。

CodeWars 给了你一个函数原型,你在里面实现代码就好了:

function brainLuck(code, input){
  return output;
}

前趋工作

在开始之前,我们做一些初始化工作,比如申明几个变量什么的:

  • 输入数据当前的位置,也就是说读取几个之后,这个位置要偏移几位。
  • 当前指令的位置。
  • 当前指针的位置。
  • “伪内存块”的值,用一个数组表示,默认一个 [ 0 ]
  • 需要 return 的字符串,即输出的值。
  • 某个括号匹配的括号的指令下标的这么一个映射数组。

所以接下去我们要把架子填成这样:

function brainLuck(code, input) {
    var inputPos = 0;
    var commandPos = 0;
    var pointerPos = 0;
    var bytes = [ 0 ];
    var output = "";
    var matching = getMatchingBra(code);    ///< 人家才不是罩罩呢,我是 Brackets 的缩写
}

括号匹配函数

上面的 getMatchingBra 就是我们要实现的一个括号匹配函数了,思想就是用栈。

碰到前括号就把这个前括号的下标入栈;碰到后括号,就把栈顶元素即前括号的下标推出,这个时候括号匹配数组的这个前括号下标的值就是当前后括号的下标,而后括号下标的值就是前括号的下标了。

/**
 * 你才是 Bra //( ◕‿‿◕ )\
 */
function getMatchingBra(code) {
    var stack = [];
    var bra = [];
    for(var i = 0; i < code.length; i++) bra.push(-1);
    for(var i = 0; i < code.length; i++) {
        if(code[i] === '[') {
            stack.push(i);
        } else if(code[i] === ']') {
            bra[i] = stack.pop();
            bra[bra[i]] = i;
        }
    }
    return bra;
}

有了这个数组就可以随便跳了,如果指令第 i 位是一个括号(不管前括号还是后括号),那么它的匹配括号下标就是 matching[i] 了。

各种指令的处理

要处理指令的话实际上就是一个 while 语句不断循环指令,然后判断当前指令是什么然后做相应的事,最后指令位置加一就好了:

while(commandPos < code.length) {
    switch(code[commandPos]) {
        case '>': {}
        case '<': {}
        case '+': {}
        case '-': {}
        case '.': {}
        case ',': {}
        case '[': {}
        case ']': {}
    }
    commandPos++;
}

>

指针右移的话就把指针位置加一,如果内存数组还没当前指针位置的值的话 push 一个 0 就好了:

case '>': {
    if(undefined === bytes[++pointerPos]) bytes.push(0);
    break;
}

<

左移就是减一,如果位置小于 0,那么内存数组从前推入一个值,并让指针等于 0。

case '<': {
    if(--pointerPos < 0) {
        bytes.unshift(0);
        pointerPos = 0;
    }
    break;
}

+

没什么好说的,内存加一就好了。

case '+': {
    bytes[pointerPos] = (bytes[pointerPos] + 1) % 256;
    break;
}

-

减一。

case '-': {
    bytes[pointerPos]--;
    if(bytes[pointerPos] < 0) bytes[pointerPos] = 0;
    break;
}

.

输出的话直接往 output 字符串里面加上当前指针的值就好了,注意要 ASCII 转变之后的字符。

case '.': {
    output += String.fromCharCode(bytes[pointerPos]);
    break;
}

,

输入的话就让 input 当前位置的值变成 ASCII 存进当前指针,然后输入位置加一就好了。

case ',': {
    bytes[pointerPos] = input.charCodeAt(inputPos++);
    break;
}

[

由于之前已经做好了匹配数组,所以我们只需要判断当前指针是不是 0,然后如果是就跳到匹配括号处。

case '[': {
    commandPos = !bytes[pointerPos] ? matching[commandPos] : commandPos;
    break;
}

]

同上,只不过条件改一下而已。

case ']': {
    commandPos = bytes[pointerPos] ? matching[commandPos] : commandPos;
    break;
}

善后工作

上面的函数体完成之后,我们只需要在最后把 output 给返回就好了:

return output;

肢体组装

完成了上面七零八落的肢体之后,我们要把五马分尸的代码给凑回去,所以最后就长这个样子了:

function getMatchingBra(code) {
    var stack = [];
    var bra = [];
    for(var i = 0; i < code.length; i++) bra.push(-1);
    for(var i = 0; i < code.length; i++) {
        if(code[i] === '[') {
            stack.push(i);
        } else if(code[i] === ']') {
            bra[i] = stack.pop();
            bra[bra[i]] = i;
        }
    }
    return bra;
}

function brainLuck(code, input) {
    var inputPos = 0;
    var commandPos = 0;
    var pointerPos = 0;
    var bytes = [ 0 ];
    var output = "";
    var matching = getMatchingBra(code);
    
    while(commandPos < code.length) {
        switch(code[commandPos]) {
            case '>': {
                pointerPos++;
                if(undefined === bytes[pointerPos]) {
                    bytes.push(0);
                }
                break;
            }
            case '<': {
                pointerPos--;
                if(0 > pointerPos) {
                    bytes.unshift(0);
                    pointerPos = 0;
                }
                break;
            }
            case '+': {
                bytes[pointerPos] = (bytes[pointerPos] + 1) % 256;
                break;
            }
            case '-': {
                bytes[pointerPos]--;
                if(bytes[pointerPos] < 0) bytes[pointerPos] = 0;
                break;
            }
            case '.': {
                output += String.fromCharCode(bytes[pointerPos]);
                break;
            }
            case ',': {
                var temp = input.charCodeAt(inputPos++);
                bytes[pointerPos] = temp;
                break;
            }
            case '[': {
                if(!bytes[pointerPos]) {
                    commandPos = matching[commandPos];
                }
                break;
            }
            case ']': {
                if(bytes[pointerPos]) {
                    commandPos = matching[commandPos];
                }
                break;
            }
        }
        commandPos++;
    }
    
    return output;
}

题后语

艾玛,忘了放题目链接了:http://www.codewars.com/kata/526156943dfe7ce06200063e。以及大家如果有兴趣的话也可以去试试看写个 HVM 看看。

实际上本文实现的东西实用性几乎没有,只不过是抛砖引玉,让大家在做一些模拟题逻辑(或者说是简单模拟逻辑)的时候理清思路、按部就班,切忌自己乱了思路和逻辑。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 215,463评论 6 497
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,868评论 3 391
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 161,213评论 0 351
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,666评论 1 290
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,759评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,725评论 1 294
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,716评论 3 415
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,484评论 0 270
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,928评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,233评论 2 331
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,393评论 1 345
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,073评论 5 340
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,718评论 3 324
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,308评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,538评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,338评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,260评论 2 352

推荐阅读更多精彩内容

  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,515评论 1 51
  • 指针是C语言中广泛使用的一种数据类型。 运用指针编程是C语言最主要的风格之一。利用指针变量可以表示各种数据结构; ...
    朱森阅读 3,436评论 3 44
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,647评论 18 139
  • 8086汇编 本笔记是笔者观看小甲鱼老师(鱼C论坛)《零基础入门学习汇编语言》系列视频的笔记,在此感谢他和像他一样...
    Gibbs基阅读 37,167评论 8 114
  • 我迎着风, 走过漫长路, 不惧山水间危险重重。 只愿与你相伴, 你在高处, 我在低处, 仰望的目光已经凝固。 我是...
    可尼南柯阅读 279评论 0 0